Performance and reliability analysis of computer systems an example-based approach using the SHARPE
Robin A.Sahner ; Kishor S. Trivedi ; Antonio Puliafito1996 年出版404 页ISBN:0792396502
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN:9783540729198
时空参考系 = 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 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