崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
中国标准出版社第四编辑室编2008 年出版587 页ISBN：9787506648011
为便于广大读者查阅和使用微电路国家标准，我社编辑出版《微电路国家标准汇编》，汇编收入截至2007年底前发布实施的国家标准，分两卷出版。本汇编为《微电路国家标准汇编 基础及测试方法卷》，共收集有关国家标准...
刘白雁，丁崇生著2004 年出版165 页ISBN：7560519296
本教材对古典和现代控制理论作了详细的论述，并对各种控制策略和自适应控制进行了详细的分析，阐述了模型跟随自适应控制基本原理和新方法，并应用于具体的工程实例中，主要供自动控制和机械控制等专业的高年级学生...
（美）Doug Rosenberg，（美）Kendall Scott著；徐海等译2003 年出版156 页ISBN：7302068461
本书通过使用在实践中已经证明是行之有效的方法，以一个证券交易与结算系统为例，帮助开发人员以最有效的方式实现从用例到代码的过渡。书中主要包括统一对象建模方法、域建模、用例建模等。...
政府绩效评价概念、方法与结果运用=GOVERNMENT PERFORMANCE EVALUATION CONCEPTS
METHODS AND APPLICATIONS OF EVALUTION RESULTS2016 年出版0 页ISBN：
