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 4527 Bio-inspired Modeling of Cognitive Tasks Second International
IWINAC 20072007 年出版630 页ISBN:9783540730521
Lecture Notes in Computer Science 3532 The Semantic Web:Research and Applications Second European Se
ESWC 20052005 年出版730 页ISBN:3540261249
Lecture Notes in Computer Science 3208 Principles and Practice of Semantic Web Reasoning Second Inte
PPSWR 20042004 年出版163 页ISBN:3540229612
Lecture Notes in Computer Science 3723 Analysis and Modelling of Faces and Gestures Second Internati
AMFG 20052005 年出版424 页ISBN:3540292292
Lecture Notes in Computer Science 3987 Location-and Context-Awareness Second International Workshop
LoCA 20062006 年出版289 页ISBN:3540341501