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章分...
Lecture Notes in Artificial Intelligence 4088 Agent Computing and Multi-Agent Systems 9th Pacific Ri
PRIMA 20062006 年出版827 页ISBN：3540367071
Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN：3540261818
Lecture Notes in Computer Science 4186 Advances in Computer Systems Architecture 11th Asia-Pacific C
ACSAC 20062006 年出版605 页ISBN：3540400567
Lecture Notes in Computer Science 3740 Advances in Computer Systems Architecture 10th Asia-Pacific C
ACSAC 20052005 年出版833 页ISBN：3540296433
