Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
Lecture Notes in Computer Science 722 Design and Implementation of Symbolic Computation Systems Inte
DISCO93 Gmunden2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4006 Reliable Software Technologies-Ada-Europe 2006 11th Ada-Europ
2006 年出版240 页ISBN：3540346635
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN：
Lecture Notes in Computer Science 52 Automata
Languages and Programming1977 年出版568 页ISBN：3540083421
Lecture Notes in Computer Science 71 Automata
Languages and Programming1979 年出版684 页ISBN：3540095101
Lecture Notes in Computer Science 123 Trends in Information Processing Systems 3nd Conference of the
1981 年出版346 页ISBN：3540108858
Lecture Notes in Computer Science 4128 Euro-Par 2006 Parallel Processing 12th International Euro-Par
Wolfgang E.Nagel2006 年出版1221 页ISBN：
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
