Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN：354034893X
Lecture Notes in Computer Science 4262 Formal Approaches to Software Testing and Runtime Verificatio
2006 年出版255 页ISBN：9783540496991
Lecture Notes in Computer Science 4131 Artificial Neural Networks-ICANN 2006 16th International Conf
2006 年出版1008 页ISBN：3540386254
Lecture Notes in Computer Science 4132 Artificial Neural Networks-ICANN 2006 16th International Conf
2006 年出版1028 页ISBN：3540388710
Lecture Notes in Computer Science 4652 Service-Oriented Computing ICSOC 2006 4th International Confe
2007 年出版203 页ISBN：9783540754916
Lecture Notes in Computer Science 3958 Public Key Cryptography-PKC 2006 9th International Conference
2006 年出版543 页ISBN：3540338519
Lecture Notes in Computer Science 4677 Foundations of Security Analysis and Design IV FOSAD 2006/200
2007 年出版326 页ISBN：9783540748090
Lecture Notes in Computer Science 4296 Information Security and Cryptology-ICISC 2006 9th Internatio
2006 年出版358 页ISBN：9783540491125
Lecture Notes in Computer Science 2931 Formal Approaches to Software Testing Third International Wor
FATES 20032004 年出版267 页ISBN：3540208941
