（美）John C. Mitchell著；许满武等译2006 年出版563 页ISBN：7121032244
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规...
二代龙震工作室编著2006 年出版528 页ISBN：7121024721
本书是一本兼顾理论与实务，且内容完整的Pro/E专业权威图书，随书附赠的光盘内容为本书所有范例源文件，使读者在学习与工作中更加得心应手。在本书中，读者将清楚地认识Pro/ENGINEER Wildfire 3.0的操作界面，同时练...
新教材同步导学优化设计课课练 人教版新课标 小学五年级 语文 上
田耕主编2006 年出版82 页ISBN：7530840940
本书是与课程标准实验教科书（人教版）小学五年级语文（上）相配套的教辅书。
汤晓山主编；罗军，韦婷婷编著2007 年出版286 页ISBN：7302142882
本书介绍计算机工业产品设计知识，常用软件的使用方法。
李兰友，江中，李玮，孙学梅编著2006 年出版420 页ISBN：7810828746
本书全面介绍Web应用程序设计的基本知识、基本方法、设计技巧。全书分10章。第1～3章介绍网页设计基础、HTML4.0主页的设计方法及如何使用JavaScript及Java Applet进行交互、动态主页设计；第5章简介ASP及其应...
李云，张倩，綦伟青编著2005 年出版359 页ISBN：7508425464
教育部考试中心决定对全国计算机等级考试的考试科目设置、考核内容、考核形式实施调整。部分科目从2004年上半年开始按新大纲组织考试，至2005年上半年完成新大纲的调整工作。本套丛书既是按照新的考试大纲所...
新教材同步导学优化设计课课练 人教版新课标 小学五年级 数学 上
刘翔主编2006 年出版98 页ISBN：7530840959
本书是与课程标准实验教科书（人教版）小学五年级数学（上）相配套的教辅书。
赵卫东主编2012 年出版163 页ISBN：9787560847894
本书是全国信息技术职业能力培训网络指定教材，为使用Inventor 2012进行工业产品设计的进阶培训教材。全书包含7章内容，其中第1章至第6章按功能模块介绍使用Autodesk Inventor 2012进行工业产品设计的基本方法...
李裕华，马慧敏编著2014 年出版392 页ISBN：9787560566405
本教材以FPGA为中心，详细阐明所有重要外围元器件的连接线路，及原理，还包括线路板的PCB设计技巧。其中元件全部介绍SMT(表面贴装型)的。元件和它的连接包括：大容量的DRAM, NAND-FLASH, NOR-FLASH, 24位TFT彩色液...
梅锦山，侯传河，司富安主编2014 年出版565 页ISBN：9787517021407
《水工设计手册》（第2版）共11卷。本卷为第2卷——规划、水文、地质，共分为7章，其内容分别为流域规划，工程等级划分、枢纽布置和设计阶段，工程地质与水文地质，水文分析与计算，水力计算，泥沙，技术经济论证。 ......
