Visual C++的使用及面向对象软件工程实例分析 【工业技术】

本书内容分为两部分：第一部分是Visual C++的使用，第二部分是基于Visual C++的面向对象软件工程实例分析。在Visual C++的使用部分，全面系统地讲述了运用Visual C++进行程序设计的方法，内容涉及基础知识、常用控...

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

非线性微分代数系统的控制理论与应用 【工业技术】

本书针对非线性微分代数系统，介绍了非线性微分代数系统的稳定性，在无源分析和耗散性理论的基础上，给出了非线性微分代数系统的无源性的定义和研究的新理论和新的结果。主要内容包括：系统的介绍了非线性微分代数...

技术创新 国家系统的改革与重组 the reform and rebuild of national system 【经济】

本书从技术创新的概念及一般规律入手，在对当代技术创新的特点及其影响技术创新的诸要素进行深入研究的基础上，对不同国家的国家创新系统的体制模式和演变过程进行了比较研究，提出了重建中国国家技术创新系统得...

21世纪全国应用型人才培养规划教材·嵌入式技术系列 嵌入式基础实践教程 基于NE-STR750开发学习板 【其他书籍】

本书是关于嵌入式的理论和实践相结合的基础性教材，注重激发学生学习兴趣，引导大家如何学习嵌入式。全书分三个部分：第一部分引入篇，引领大家遨游在嵌入式的海洋里，开阔眼界。第二部分基础理论与实践篇，第一章介.....

工程项目可行性论证的理论、方法与应用 【经济】

本书是国家自然科学基金“九五”重大课题的研究成果。工程项目可行性论证是项目投资成败的关键性重大战略性决策问题，是工程项目投资同社会耦联起来进行优化的重要手段，对其进行研究以建立符合我国特点的工程...

结构动力学：理论及其在地震工程中的应用 【天文地球】

本书是经典著作《结构动力学：理论及其在地震工程中的应用》（第2版）的翻译版。由哈尔滨工业大学谢礼立院士及多位教授翻译而成。本书著者Anil K. Chopra教授是当今结构动力学和地震工程学的一位大师，本书在第一...

学科战略规划的方法与实践：管理科学与工程“十一五”发展战略规划研究 【社会科学】

学科战略规划是一项多因素决定的战略性、前瞻性、导向性和基础性很强的工作，从查阅的文献资料来看，目前国内外许多大学、机构等都在关注学科发展的战略问题，但都还处于摸索阶段，迫切需要科学、有效、可操作性强...

系统工程与航天系统工程管理 【航空航天】

本书讲述了系统工程在我国航天事业中的应用及作用，是我国航天事业创建50年系统工程管理工作的总结。

导弹武器系统工程 【其他书籍】