Lecture Notes in Computer Science 4502 Types for Proofs and Programs International Workshop
TYPES 2006 Nottingham2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3478 Global Optimization and Constraint Satisfaction Second Intern
COCOS 20032005 年出版192 页ISBN:354026003X
Lecture Notes in Computer Science 4064 Detection Of Intrusions and Malware & Vulnerability Assessmen
DIMVA 20062006 年出版195 页ISBN:354036014X
Lecture Notes in Computer Science 3779 Network and Parallel Computing IFIP International Conference
NPC 20052005 年出版513 页ISBN:354029810X
Lecture Notes in Computer Science 1696:Research and Advanced Technology for Digital Libraries
Serge Abiteboul1999 年出版499 页ISBN:3540665587
Lecture Notes in Computer Science 3232:Research and Advanced Technology for Digital Libraries
Rachel Heery2004 年出版528 页ISBN:3540230130