Lecture Notes in Computer Science 2931 Formal Approaches to Software Testing Third International Wor
FATES 20032004 年出版267 页ISBN：3540208941
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 3352 Security in Communication Networks 4th International Conferen
SCN 20042005 年出版381 页ISBN：3540243011
Lecture Notes in Computer Science 3933 Knowledge Discovery in Inductive Databases 4th International
KDID 20052006 年出版251 页ISBN：3540332928
Lecture Notes in Computer Science 3433 Databases in Networked Information Systems 4th International
DNIS 20052005 年出版319 页ISBN：3540253610
Lecture Notes in Computer Science 3997 Formal Approaches to Software Testing 5th International Works
FATES 20052006 年出版218 页ISBN：3540344543
Lecture Notes in Computer Science 4392 Theory of Cryptography 4th Theory of Cryptography Conference
TCC 20072007 年出版595 页ISBN：9783540709350
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 3424 Privacy Enhancing Technologies 4th International Workshop
PET 20042005 年出版345 页ISBN：3540262032
Lecture Notes in Computer Science 4836 Ubiquitous Computing Systems 4th International Symposium
UCS 20072007 年出版305 页ISBN：9783540767718
