Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
Digital and analog communication systems = 数字与模拟通信系统 (Sixth Edition)
Leon W. Couch2003 年出版762 页ISBN：7030111451
本书适用于工科学生或研究生的初、高级通信系统的基础课程。教材均衡的覆盖了数字通信系统和模拟通信系统，并着重于数字通信系统的设计。它提供给学生经典的数字分析方法，而且还提供了利用计算机进行分析、设...
The design and implementation of the 4.4 BSD operating system = 4.4BSD 操作系统设计与实现 (英文版)
Marshall Kirk McKusick ; Keith Bostic ; Michael J. Karels ; John S. Quarterman2002 年出版580 页ISBN：7115103488
时空参考系 = Space-Time Reference Systems
（德）索菲尔著2015 年出版260 页ISBN：9787030455383
本书是关于天文-大地时空参考系这一问题的概论，其核心内容是1995年以来在德累斯顿技术大学定期开设的一系列课程的基础上，吸取了欧洲每年组织的时空参考系的工作组或国际会议成果撰写而成的。书中对一些经典...
THE SYSTEMATIC DESIGN OF INSTRUCTION SEVENTH EDITION
WALTER DICK LOU CAREY JAMES O.CAREY2009 年出版396 页ISBN：7040295083
本书被美国教育资源库系统ERIC誉为美国教育技术界四十多年来的两大经典专著之一（另外一本为海涅克的《教学媒体与技术》），是为教育部高等教育司推荐的引进教材，引进当今世界上最为流行的教学方法，如多媒体教学、...
机器人学导论 分析、系统及应用 analysis， systems， applications
（美） Saeed B. Niku著；孙富春等 译2004 年出版293 页ISBN：7505393340
本书系统地介绍了机器人的基本组成和工作原理。全书共分9章。其中第1章介绍必要的基础知识，如机器人的发展历史、机器人的组成与特点、机器人语言及机器人应用等。第2章和第3章分析机器人的运动学。第4章分...
