Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN：9783540733676
Lecture Notes in Computer Science 3793 High Performance Embedded Architectures and Compilers First I
HiPEAC 20052005 年出版317 页ISBN：3540303170
Lecture Notes in Computer Science 3121 Algorithmic Aspects of Wireless Sensor Networks First Interna
ALGOSENSORS 20042004 年出版201 页ISBN：3540224769
Lecture Notes in Computer Science 2951 Theory of Cryptography First Theory of Cryptography Conferenc
TCC 20042004 年出版523 页ISBN：3540210008
Lecture Notes in Computer Science 3405 Combinatorial and Algorithmic Aspects of Networking First Wor
CAAN 20042005 年出版205 页ISBN：3540278737
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
Lecture Notes in Computer Science 2388 Pattern Recognition with Support Vector Machines First Intern
SVM 20022002 年出版420 页ISBN：354044016X
Lecture Notes in Computer Science 4122 Multimodal Technologies for Perception of Humans First Intern
Activities and Relationships2007 年出版360 页ISBN：
Lecture Notes in Computer Science 3748 Model Driven Architecture-Foundations and Applications First
ECMDA-FA 20052005 年出版349 页ISBN：3540300260
Lecture Notes in Computer Science 4178 Graph Transformations Third International Conference
ICGT 20062006 年出版473 页ISBN：3540388702
