Lenture Notes in Computer Science 3472 Model-Based Testing of Reactive Systems Advanced Lectures
2005 年出版659 页ISBN:3540262784
Lecture Notes in Computer Science 4831 Web Information Systems Engineering-WISE 2007 8th Internation
2007 年出版675 页ISBN:9783540769927
Lecture Notes in Computer Science 3307 Web Information Systems-WISE 2004 Workshops WISE 2004 Interna
2004 年出版275 页ISBN:3540238921
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN:354029189X
Expert Systems 85 Proceedings of the Fifth Technical Conference of the British Computer Society Spec
1985 年出版334 页ISBN:052132596X
Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN:3540216715
Lecture Notes in Computer Science 2941 Radical Innovations of Software and Systems Engineering in th
RISSEF 20022004 年出版359 页ISBN:3540211799