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 Computer Science 4504 Service-Oriented Computing:Agents
Semantics2007 年出版0 页ISBN：
Lecture Notes in Computer Science 3001 Pervasive Computing Second International Conference
PERVASIVE 20042004 年出版358 页ISBN：3540218351
Lecture Notes in Computer Science 4661 Trustworthy Global Computing Second Symposium
TGC 20062007 年出版339 页ISBN：9783540753339
Lecture Notes in Computer Science 3705 Trustworthy Global Computing International Symposium
TGC 20052005 年出版371 页ISBN：3540300074
Lecture Notes in Computer Science 3468 Pervasive Computing Third International Conference
PERVASIVE 20052005 年出版347 页ISBN：3540260080
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
