Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4122 Multimodal Technologies for Perception of Humans First Intern
Activities and Relationships2007 年出版360 页ISBN:
Computer Simulation Applications DISCRETE-EVENT SIMULATION FOR SYNTHESIS AND ANALYSIS OF COMPLEX SYS
1971 年出版422 页ISBN:0471716251
Lecture Notes in Computer Science 3402 High Performance Computing for Computational Science-VECPAR 2
2005 年出版732 页ISBN:3540254242
Lecture Notes in Computer Science 4395 High Performance Computing for Computational Science-VECPAR 2
2007 年出版721 页ISBN:9783540713500
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN: