Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN：
Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN：
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 3011 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20042004 年出版415 页ISBN：354021836X
Lecture Notes in Computer Science 3929 Relational Methods in Computer Science 8th International Semi
2006 年出版263 页ISBN：3540333398
Lecture Notes in Computer Science 4006 Reliable Software Technologies-Ada-Europe 2006 11th Ada-Europ
2006 年出版240 页ISBN：3540346635
Lecture Notes in Computer Science 4214 Quality of Software Architectures and Software Quality Second
QoSA 20062006 年出版213 页ISBN：9783540488194
Lecture Notes in Computer Science 4235 Combinatorial and Algorithmic Aspects of Networking Third Wor
CAAN 20062006 年出版134 页ISBN：9783540488224
