Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN:9783540752202
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
TESS OF THE D'URBERVILLES AN AUTHORITATIVE TEXT BACKGROUNDS AND SOURCES CRITICISM THIRD EDITION Tho
SCOTT ELLEDGE2222 年出版492 页ISBN:0393959031
This Third Edition of Tess of the d'Urbert,illes intro-duces a new text:that of the Clarendon edition(1983), edited by Juliet Grindle and Simon Gatrell.The text is fully annotated and includes, fo...
TRACKING OBJECTS IN 3D USING STEREO VISION:A REAL-TIME APPROACH BASED ON COLOR SEGMENTATION FOR USE
KAI HUGO HUSTOFT ENDRESEN2010 年出版95 页ISBN:9783843353328
modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi
bran selic2014 年出版287 页ISBN:0124166199
机械系统控制软件 实时系统面向对象设计 Object Oriented Design in a Real-Time World
(美) D. M. Auslander,J. R. Ridgely,J. D. Ringgenberg著2004 年出版339 页ISBN:7302082332
机械系统的性能日益成为其控制软件的功能,因此,在系统设计和实现的每一个阶段,都必须考虑控制软件的计算能力及其所受到的限制。本书全面阐述了如何为今天日益复杂的机械设备构建实时控制软件。本书介绍了实时...
RIGHS OF THIRD PARTIES.THIRD PARTY BENEFICIARIES AND ASSIGNMENT CHAPTER 13
J.C.B.MOHR1992 年出版102 页ISBN: