闵九康，王羲元主编2015 年出版121 页ISBN：9787511620057
全书共十章，主要论述了如下内容：生物冰核作用及其应用；生物冰核的生产和喷散技术；生物造雪、生物降雨和生物驱散雾霾；生物氢（H2）——永不枯竭的无碳能源；生物氢的生产和应用；生物氢生产技术的进步和展望；柠......
夏诠真著2018 年出版192 页ISBN：9787550722163
汉语百宝箱软件既是桌面数据库（使用Access来收集、整理、回馈信息），又同时是客户/服务类数据库。其检索和分析功能远胜于“甲骨文系统Oracle”等重量级关系数据库，一般用户也能独立使用，可凭云计算技术，以手机、...
姜弘道等编1992 年出版351 页ISBN：7563004912
本书精选水工结构工程与岩土工程两学科内的计算程序24个
（美）ScottE.Donaldson，StanleyG.Siegel著2010 年出版297 页ISBN：9787111294238
本书以案例学习的方式讲述了软件开发全过程中涉及的一系列问题和持续一致地实施成功软件开发的系统化方法，并从以下几个方面探讨了软件开发与管理的技术：项目规划过程、软件系统开发过程、变更控制过程、产品...
古天龙著2005 年出版265 页ISBN：704016079X
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...
普通高等教育“十三五”规划教材 基于Android平台的移动开发技术 软件工程专业
徐硕博，黄卫东，贾雁主编；陈庆涛，刘江平，陈佳泉副主编；张广渊，吴昌平主审2018 年出版242 页ISBN：9787517071150
本书全面介绍了Android手机开发涉及到的各个方面。全书理论联系实际，通过实例讲解知识，介绍操作技能，采用层层递进的方式组织教学，叙述详尽，概念清晰，使得读者在学习完本书后，不仅可掌握Android开发的应用技术，还.....
