Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN：3540331026
Lecture Notes in Computer Science 3278 Utility Computing 15th IFIP/IEEE International Workshop
2004 年出版270 页ISBN：3540236317
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
Lecture Notes in Computer Science 2242 Grid Computing-GRID 2001 Second International Workshop
2001 年出版185 页ISBN：3540429492
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN：3540281959
CONCEPTS IN BIOINFORMATICS AND GENOMICS INTERNATIONAL EDITION
JAMIL MOMAND ALISON MCCURDY2017 年出版448 页ISBN：0190610548
Lecture Notes in Computer Science 2993 Hybrid Systems:Computation and Control 7th International Work
HSCC 20042004 年出版674 页ISBN：3540212590
Lecture Notes in Computer Science 3785 Formal Methods and Software Engineering 7th International Con
ICFEM 20052005 年出版496 页ISBN：3540297979
Lecture Notes in Computer Science 4173 Cellular Automata 7th International Conference on Cellular Au
ACRI 20062006 年出版735 页ISBN：3540409297
