Lecture Notes in Computer Science 3166 Entertainment Computing-ICEC 2004 Third International Confere
2004 年出版620 页ISBN:3540229477
Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN:9783540733690
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN:3540331026
Lecture Notes in Artificial Intelligence 3248 Natural Language Processing-IJCNLP 2004 First Internat
2005 年出版817 页ISBN:3540244751
Lecture Notes in Computer Science 3278 Utility Computing 15th IFIP/IEEE International Workshop
2004 年出版270 页ISBN:3540236317
Lecture Notes in Computer Science 4887 Cryptography and Coding 11th IMA International Conference
2007 年出版423 页ISBN:9783540772712
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 Artificial Intelligence 3651 Natural Language Processing-IJCNLP 2005 Second Interna
2005 年出版1031 页ISBN:3540291725
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959