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 4192 Recent Advances in Parallel Virtual Machine and Message Passi
2006 年出版414 页ISBN:354039110X
Lecture Notes in Computer Science 3796 Cryptography and Coding 10th IMA International Conference
2005 年出版460 页ISBN:354030276X
Lecture Notes in Computer Science 3524 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20052005 年出版410 页ISBN:3540261524