Coq用于浮点单元的通用环型加法器的可扩展验证
2021-03-28 17:08:01 548KB 研究论文
1
模仿美团外卖点餐功能,主要在于处理cell重用问题
2020-01-03 11:39:32 173KB 菜单
1
使用Java和Mysql,MVC开发.虽然 界面是日文, 但是基本都是汉字。
2019-12-21 21:47:11 1.02MB 管理系统 数据库
1
冰点还原精灵8.3标准版单机版,支持windows10(win10)、windows8/windows8.1(win8)、windows7(win7),内含注册码,机房一直都在使用。冰点还原精灵是一款强大的系统备份、还原、修复软件,可以瞬间将系统还原到初始状态,保护系统不被更改,很好的抵御病毒的入侵或人为的破坏。
1
用两个listview实现安卓的简单的点餐页面,有热门推荐,有购物车。
2019-12-21 19:52:00 13.24MB 点餐
1