Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN:3540462198
Fourth International Conference on Trends in On-Line Computer Control Systems 5-8 April 1982
1982 年出版124 页ISBN:0852962568
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