Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
实验心理学教程 勘破心理世界的侦探 an introduction to conducting research in psychology
（美）Randolph A.Smith，（美）Stephen F.Davis著；郭秀艳，孙里宁译2006 年出版362 页ISBN：7501951314
《实验心理学教程——勘破心理世界的侦探》（第三版）既是一部介绍心理学研究方法的教程，也是一本引人入胜的课外读物。全书文字简明、资料翔实、叙事生动、论述透彻，特别是贯以具体的实例和传神的比喻，将心理学的...
诺丁汉100 研究主导型设计室文化 research-led studio culture
王琦，（英）达伦·迪恩（Darren Deane）编著2014 年出版223 页ISBN：9787112162406
本书是一本全面介绍英国建筑教育体系的专业书籍，也将是系统介绍英国著名大学建筑学科学生作品的图集。其特有的以学生作品为主轴,教授点评为复线的教育视角，会引起广大建筑院校师生的兴趣与关注。本书由诺丁...
时空参考系 = Space-Time Reference Systems
（德）索菲尔著2015 年出版260 页ISBN：9787030455383
本书是关于天文-大地时空参考系这一问题的概论，其核心内容是1995年以来在德累斯顿技术大学定期开设的一系列课程的基础上，吸取了欧洲每年组织的时空参考系的工作组或国际会议成果撰写而成的。书中对一些经典...
机器人学导论 分析、系统及应用 analysis， systems， applications
（美） Saeed B. Niku著；孙富春等 译2004 年出版293 页ISBN：7505393340
本书系统地介绍了机器人的基本组成和工作原理。全书共分9章。其中第1章介绍必要的基础知识，如机器人的发展历史、机器人的组成与特点、机器人语言及机器人应用等。第2章和第3章分析机器人的运动学。第4章分...
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
