Lecture Notes in Computer Science 4270 Interactive Technologies and Sociotechnical Systems 12th Inte
VSMM 20062006 年出版547 页ISBN：3540463046
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN：3540372156
Lecture Notes in Computer Science 4157 Rigorous Development of Complex Fault-Tolerant Systems
2006 年出版404 页ISBN：9783540482659
Lecture Notes in Computer Science 3948 Cognitive Vision Systems Sampling the Spectrum of Approaches
2006 年出版365 页ISBN：354033971X
Lecture Notes in Computer Science 4074 Secure Mobile Ad-hoc Networks and Sensors First International
MADNES 2005 Singapore2006 年出版0 页ISBN：
Lecture Notes in Computer Science 2965 Performance Tools and Applications to Networked Systems Revis
2004 年出版384 页ISBN：3540219455
Lecture Notes in Computer Science 3379 From Integrated Publication and Information Systems to Virtua
2005 年出版320 页ISBN：3540245510
Lecture Notes in Computer Science 4422 Fundamental Approaches to Software Engineering 10th Internati
FASE 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software2007 年出版440 页ISBN：
Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN：3540213775
Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference
IFM 20052005 年出版407 页ISBN：3540304924
