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 4066 Model Driven Architecture-Foundations and Applications Second
ECMDA-FA 20062006 年出版392 页ISBN：3540359095
Lecture Notes in Computer Science 3522 Pattern Recognition and Image Analysis Second Iberian Confere
IbPRIA 2005 EstorilJune 年出版2005 页ISBN：Part I
Lecture Notes in Computer Science 3523 Pattern Recognition and Image Analysis Second Iberian Confere
IbPRIA 2005 EstorilJune 年出版2005 页ISBN：Part II
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 4193 Parallel Problem Solving from Nature-PPSN IX 9th Internationa
2006 年出版1061 页ISBN：3540389903
Lecture Notes in Computer Science 3997 Formal Approaches to Software Testing 5th International Works
FATES 20052006 年出版218 页ISBN：3540344543
Lecture Notes in Computer Science 3395 Formal Approaches to Software Testing 4th International Works
FATES 20042005 年出版225 页ISBN：354025109X
