NEW ADVANCES IN COMPUTER AIDED DESIGN & COMPUTER GRAPHICS VOL.1
ZESHENG TANG2222 年出版427 页ISBN：0800032756
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 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
Lecture Notes in Computer Science 4743 Frontiers of High Performance Computing and Networking-ISPA 2
2007 年出版536 页ISBN：9783540747666
Lecture Notes in Computer Science 4331 Frontiers of High Performance Computing and Networking-ISPA 2
2006 年出版1141 页ISBN：9783540498605
Lecture Notes in Computer Science 3251 Grid and Cooperative Computing-GCC 2004 Third International C
2004 年出版1025 页ISBN：3540235647
Lecture Notes in Computer Science 4575 Pairing-Based Cryptography-Pairing 2007 First International C
2007 年出版407 页ISBN：9783540734888
Lecture Notes in Computer Science 3826 Service-Oriented Computing-ICSOC 2005 Third International Con
2005 年出版599 页ISBN：3540308172
