Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN:
COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN:012428650X
料敌从宽 兰德战略评估系统的演变 development in RAND strategy assessment system
李健,王伟编2015 年出版195 页ISBN:9787516506318
本书详细介绍了美军战略评估问题以及美军净评估及其支持系统的研发、应用,内容包括美国净评估办公室及净评估特征、兰德战略评估系统的起源与设计、兰德战略评估系统的发展历程、兰德战略评估系统的具体应用...
Lecture Notes in Control and Information Sciences 167 M.Rao Integrated System for Intelligent Contro
1992 年出版133 页ISBN:3540549137
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN: