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 2254 Engineering for Human-Computer Interaction 8th IFIP Internati
EHCI 20012001 年出版359 页ISBN:354043044X
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 3882 Database Systems for Advanced Applications 11th International
DASFAA 20062006 年出版923 页ISBN:3540333371
Lecture Notes in Computer Science 4542 Requirements Engineering:Foundation for Software Quality 13th
REFSQ 20072007 年出版383 页ISBN:9783540730309
Lecture Notes in Computer Science 3453 Database Systems for Advanced Applications 10th International
DASFAA 20052005 年出版929 页ISBN:3540253343
Lecture Notes in Computer Science 3081 Digital Cities III Information Technologies for Social Capita
2005 年出版436 页ISBN:3540253319