Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN：
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 3608 Algorithms and Data Structures 9th International Workshop
WADS 20052005 年出版446 页ISBN：3540281010
Lecture Notes in Computer Science 4619 Algorithms and Data Structures 10th International Workshop
WADS 20072007 年出版662 页ISBN：9783540739487
Lecture Notes in Computer Science 3207 Embedded and Ubiquitous Computing International Conference EU
2004 年出版1116 页ISBN：354022906X
Lecture Notes in Computer Science 3619 Networking and Mobile Computing Third International Conferenc
ICCNMC 20052005 年出版1301 页ISBN：3540281029
Lecture Notes in Computer Science 4159 Ubiquitous Intelligence and Computing Third International Con
UIC 20062006 年出版1190 页ISBN：3540380914
Lecture Notes in Computer Science 4672 Network and Parallel Computing IFIP International Conference
NPC 20072007 年出版558 页ISBN：9783540747833
Lecture Notes in Computer Science 3222 Network and Parallel Computing IFIP International Conference
NPC 20042004 年出版694 页ISBN：3540233881
Lecture Notes in Computer Science 4158 Autonomic and Trusted Computing Third International Conferenc
ATC 20062006 年出版613 页ISBN：354038619X
