崔梦天,赵翠新,王玉红著2016 年出版149 页ISBN:9787030493002
本书从软件实际开发过程出发,将形式化技术应用于每个开发阶段,系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法,其中包括UML模型图到B方法形式规约的比较全面的转换方法,实现形式规约的精化...
杨光主编2016 年出版116 页ISBN:9787111542537
由于自动化现场的电磁环境比较复杂,很多现场出现的问题都与接地有关,因此本书主要从接地的角度介绍了自动化系统如何预防电磁兼容(EMC)问题的方法和措施。其中重点介绍了西门子PLC、IO信号、现场总线、触摸屏和...
马放等著2017 年出版307 页ISBN:9787030523389
絮凝剂作为一种良好的水处理材料,广泛应用于城镇用水及工业废水处理、发酵工程、制药工程、化工冶金以及矿选工程等领域,特别是城镇用水及工业废水处理中,絮凝(混凝)过程是应用最普遍的关键环节之一。因此,研制...
周辉著2017 年出版162 页ISBN:9787568908863
该教辅所涵盖对象是全国卷范围的艺术考生。该教辅充分考虑到艺术生学习的实际情况,紧扣高考新课标考试大纲和全国卷的考试要求,摈弃一些偏、怪、难的题型及知识点,全方位、无死角、系统地梳理政治课程基础知识...
大学生专业学习指南 分册14 化学 应用化学 化学工程与工艺 制药工程
刘湘溶主编;肖小明本册主编2006 年出版365 页ISBN:7810816012
本书为《大学生专业学习指南》丛书中的一本。内容为化学专业。
全国二级建造师执业资格考试 房屋建筑工程管理与实务 应试指南
贾宏俊主编2005 年出版176 页ISBN:7114054521
本书是全国二级建造师执业资格考试房屋建筑工程管理与实务的应试参考书,具有很强的应试指导作用。
张石革,孙定人主编2003 年出版435 页ISBN:7218040845
本书分为上下两篇,上篇对常见的可应用非处方药治疗的儿童疾病作了详尽的介绍;下篇介绍儿童疾病的常见药物,其中主要收载了1999年7月由国家药品监督管理局(SDA)颁布《国家非处方药目录》(第一批)和2001年6月颁布的....
张德霖主编;2003年全国企业法律顾问执业资格考试用书编委会编审2003 年出版248 页ISBN:7505835572
本书介绍了与企业管理、市场营销、经营战略、计划与决策、质量管理、财务管理、企业研究与开发等有关的法律的概念、任务及相关的内容。
柏拉图《理想国》剑桥指南=THE CAMBRIDGE COMPANION TO OLATO'S REPUBLIC
(美)G.R.F.弗拉里编2013 年出版0 页ISBN: