Lecture Notes in Computer Science 4125 Databases
Information Systems2007 年出版0 页ISBN：
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 3243 Algorithms and Models for the Web-Graph Third International W
WAW 20042004 年出版187 页ISBN：3540234276
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN：
Lecture Notes in Artificial Intelligence 3830 Environments for Multi-Agent Systems III Third Interna
E4MAS 20062007 年出版273 页ISBN：9783540711025
Lecture Notes in Artificial Intelligence 3830 Environments for Multi-Agent Systems II Second Interna
E4MAS 20052006 年出版291 页ISBN：3540326146
