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

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

机械设计手册 单行本 疲劳强度设计 【工业技术】

本书主要介绍了机械设计领域的疲劳强度设计内容等。

校本教学研究设计 教师教学研究设计指南 【文化科学教育体育】

西方艺术设计流派和设计思想 【艺术】

本书阐释了西方艺术设计流派的兴起和衰落，研究其设计思想的内核和发展脉络。

室内空间设计丛书 景观设计 【工业技术】

本书介绍了餐厅、酒吧、咖啡厅，图文并茂地将当今世界上最优秀的空间设计作品呈现给读者。

设计程序 工业设计流程与方法 【工业技术】

本书共分六章，分别为理解工业设计，关于新产品研发，工业设计元素，工业设计流程，工业设计管理，工业设计方法。

高等学校计算机科学与技术教材 数据库系统及应用基础：基于SQL SERVER 2000 【其他书籍】

本书由数据库系统原理、SQL Server 2000基础及基本操作和课程设计三部分组成，重点阐述了数据库系统的基本概念、基本原理和基本技术，概念清晰、深入浅出、前后呼应、适应性和可读性强。本书取材着重于被广泛...

计算机绘图 AutoCAD 2004上机指导 【工业技术】

本书是赵国增所编教育部推荐的数控技术应用专业领域技能型紧缺人才培养培训系列教材之一《计算机绘图AutoCAD2004》的配套用书，是学生上机实际操作训练的指导书和课外练习的习题册。内容取材于多年教学中收...

高等学校计算机语言应用教程 VISUAL BASIC.NET应用教程 .NET 2.0 【工业技术】

本书介绍Visual Basic .NET应用程序设计技术。内容包括：Visual Basic .NET 2005集成环境，常用Windows窗体控件，工程界面设计，VB.NET程序设计基础，文本编辑器、图形、图像处理，数据库应用、动画多媒体技术、ASP.NE...

中等职业学校教学用书 IT类专业项目课程系列教材 计算机技术专业 软件英语基础教程 【语言文字】

本书作者Bill Crampton来自美国，是一位软件行业的业内人士，在中国从事多年的技术、语言和商务培训工作。作者针对中国软件行业中遇到的文化和语言问题及软件人员之间的英语交流问题，并结合软件业的发展现状编...