薄壳闸门的设计与计算相关电子书下载

刘其城著2002 年出版184 页ISBN：7810248820

杨宗凯等编著2004 年出版288 页ISBN：7121003783

本书共分7章，详细地介绍了数字专用集成电路的开发流程。具体包括VerilogHDL硬件描述语言、ASIC前端设计、ASIC前端验证、逻辑综合、可测性技术和后端验证。本书的另一大特色就是将超大规模数字集成电路常用...

（英）丹尼斯·菲茨帕特里克（Dennis Fitzpartrick）著2016 年出版287 页ISBN：7111542889

郭凤芝主编2009 年出版131 页ISBN：9787506456999

本书介绍了电脑横机的使用方法和产品设计。内容包括电脑横机主要机构的构造和工作原理，电脑横机的花型准备系统和使用方法、电脑横机的上机操作和维护、电脑横机花纹组织和成形产品的设计与编织。本书可供毛...

（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971

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

刘炳文，杨明福，陈定中编2012 年出版433 页ISBN：9787040339055

本书根据教育部考试中心最新颁布的考试大纲编写，是教育部考试中心组织编写的全国计算机等级考试系列教程之一。本书内容精练、实用性强、叙述通俗、简易可读，每章之后都附有一定数量的习题，是参加二级JAVA语言...

林雨生编著2009 年出版169 页ISBN：9787508368054

本书以JGJ3－2002 《高层建筑混凝土结构技术规程》、GB50010－2002《混凝土结构设计规范》、GB50011－2001《建筑抗震设计规范》和GB 50009－2001《建筑结构荷载规范》等系列规范和技术标准为依据，按照设计程序编写，...

迟毅林主编（昆明理工大学机电学院）2000 年出版163 页ISBN：7562422214

《计算机辅助设计技术基础》是根据西部工科机械类教材编写计划编写，充分考虑了与前续各门课程的联系，旨在阐明计算机辅助设计的基本理论和方法。本着学以致用的原则，介绍了CAD系统的发展，硬件、软件构成，常用数...

NCRE研究组编2012 年出版222 页ISBN：9787040354034

本书依据教育部考试中心颁布的《全国计算机等级考试大纲》编写而成，内容包括二级 Visual Basic语言程序设计考试全真试题、模拟试题，以及考点解析、例题精解与实战练习。适合于参加计算机等级考试考试复习、...

NCRE研究组编2012 年出版215 页ISBN：9787040354041

本书依据教育部考试中心颁布的《全国计算机等级考试大纲》编写而成，内容包括二级Access数据库程序设计考试全真试题、模拟试题，以及考点解析、例题精解与实战练习。适合于参加计算机等级考试考试复习、辅导之...