大约有6,000项符合查询结果项。（搜索耗时：0.0144秒）
为您推荐： 汽轮机设备及辅助系统课程设计 汽轮机设备及辅助系统设计计算 汽轮机辅助系统 热电厂汽轮机热力系统设计计算和热经济性分析 汽轮机设备及系统 冲压及塑料注射模具课程设计指导
-
汽轮机原理课程设计基础
王运民2013 年出版147 页ISBN：9787512345423本书分为六章，以300MW和600MW汽轮机组为基础，重点介绍了汽轮机本体的结构、热力设计方法、变工况热力核算、主要零件强度核算等，具体内容包括大功率汽轮机本体结构、等截面级的热力设计、扭叶片级的热力设计、...
-
Proteus辅助的单片机原理实践基础设计课程设计和毕业设计
赵广元编著2013 年出版208 页ISBN：9787512412095本书以Proteus仿真软件为工具辅助单片机设计，分为基础实验、课程设计、综合设计实例3部分。（1）基础实验部分：以近年来作者开设开放实验的相关讲义为基础，参照相关单片机原理优秀规划教材的主要知识点设置，主要对...
-
管理信息系统课程设计指导与习题教程
孙铁铮，姜建华主编；彭大威，邱春艳副主编2013 年出版153 页ISBN：9787121213144本书是配合《管理信息系统》教材编写的课程设计指导与习题教程。课程设计指导部分汇集了多个模拟实际业务的系统分析设计案例，理论与实践相结合，促使学生通过调研查找资料和课程设计加深对理论、方法和技术的...
-
数据库系统及应用实验与课程设计指导 SQL Server 2008
刘金岭主编2013 年出版235 页ISBN：9787302335948本书共分三部分，第一部分是基础部分，以8086/8088为背景，以DOS和PC兼容杨为软硬件平台，介绍汇编语言的有关概念。第二部分是提高部分，以80386为背景，介绍保护方式下的有关概念。第三部分是上机实验指导。...
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
电力系统计算机辅助分析
潘学萍主编2013 年出版131 页ISBN：9787517004721本书是在传统电力系统分析课程的基础上，结合计算机技术的特点和要求，介绍了电力系统的潮流、短路和稳定问题的数值计算方法。本书共7章，主要内容有：电力系统三大计算所需要的原始数据、电力网络的数学模型、电...
-
-
-
-
