崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
张福高，张霞霞主编2017 年出版198 页ISBN：9787564742294
《现代教育技术》在吸取国内外教育技术理论研究成果、总结我国教育技术实践经验、结合信息技术新发展的基础上，结合教师教育的特点，对现代教育技术的基本概念、基本理论、技术和方法、伦理道德等内容作了系统...
国务院第二次全国农业普查领导小组办公室编2007 年出版299 页ISBN：9787503752742
本书介绍软件的系统设计和实现技术以及安装与配置等内容。
万晓峰，乐嘉龙编2007 年出版131 页ISBN：7508352793
本图集是一本介绍高新科技开发区科技产业厂房建筑的实用工具书，系统介绍了科技产业厂房建筑的设计与环境设计，全书以图为主、以文为辅，图文并茂，实例中包括平面图、立面图、剖面图、鸟瞰图等。...
牛自敏主编2007 年出版334 页ISBN：9787811240160
本书内容包括数制转换，基本逻辑电路，组合逻辑电路，时序逻辑电路，555定时器，数字信号与模拟信号的转换，半导体存储器与可编程控制器等共7章。每章内容都配有例题、练习题和实验，且在本教材最后部分精心编写了大......
王鲁杨主编；上海电力学院电子教研室，上海电力学院电子实验室编写2008 年出版132 页ISBN：9787508376394
本书为普通高等教育“十一五”规划教材。全书分为四个部分，第一部分为模拟电子技术实验，第二部分为数字电子技术实验，第三部分为设计性、综合性实验，第四部分为附录，附录包括几种常用电子仪器的使用说明、常用电...
