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 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
Lecture Notes in Artificial Intelligence 4451 Artifical Intelligence for Human Computing ICMI 2006 a
2007 年出版359 页ISBN：9783540723462
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 2979 Stateless Core:A Scalable Approach for Quality of Service in
2004 年出版219 页ISBN：3540219609
Lecture Notes in Computer Science 3882 Database Systems for Advanced Applications 11th International
DASFAA 20062006 年出版923 页ISBN：3540333371
Lecture Notes in Artificial Intelligence 4617 Modeling Decisions for Artificial Intelligence 4th Int
MDAI 20072007 年出版502 页ISBN：9783540737285
