Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN：9783540733676
Lecture Notes in Computer Science 103 Directions in Human Factors for Interactive Systems
1981 年出版189 页ISBN：3540105743
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 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
Lecture Notes in Computer Science 4541 Pervasive Computing for Quality of Life Enhancement 5th Inter
ICOST 20072007 年出版248 页ISBN：9783540730347
Lecture Notes in Computer Science 3602 Languages and Compilers for High Performance Computing 17th I
LCPC 20042005 年出版486 页ISBN：354028009X
Lecture Notes in Computer Science 469 Semantics of Systems of Concurrent Processes
1990 年出版456 页ISBN：3540534792
Lecture Notes in Computer Science 3256 Graph Transformations Second International Conference
ICGT 20042004 年出版451 页ISBN：3540232079
Lecture Notes in Computer Science 2995 Trust Management Second International Conference
iTrust 20042004 年出版377 页ISBN：3540213120
