Lecture Notes in Computer Science 3063 Reliable Software Technologies-Ada-Europe 2004 9th Ada-Europe
2004 年出版333 页ISBN：3540220119
Lecture Notes in Computer Science 4498 Reliable Software Technologies-Ada-Europe 2007 12th Ada-Europ
2007 年出版245 页ISBN：9783540732297
Lecture Notes in Computer Science 3555 Reliable Software Technologies-Ada-Europe 2005 10th Ada-Europ
2005 年出版273 页ISBN：3540262865
Lecture Notes in Computer Science 469 Semantics of Systems of Concurrent Processes
1990 年出版456 页ISBN：3540534792
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
Lecture Notes in Computer Science 3362 Construction and Analysis of Safe
Secure2005 年出版0 页ISBN：
Lecture Notes in Computer Science 3956 Construction and Analysis of Safe
Secure2006 年出版0 页ISBN：
Lecture Notes in Computer Science 2207 Active Networks IFIP-TC6 Third International Working Conferen
IWAN 20012001 年出版163 页ISBN：3540426787
