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 Artificial Intelligence 4696 Multi-Agent Systems and Applications V 5th Internation
CEEMAS 20072007 年出版350 页ISBN：9783540752530
Lecture Notes in Computer Science 4777 Databases in Networked Information Systems 5th International
DNIS 20072007 年出版329 页ISBN：9783540755111
Lecture Notes in Computer Science 3448 Evolutionary Computation in Combinatorial Optimization 5th Eu
EvoCOP 20052005 年出版271 页ISBN：3540253378
Lecture Notes in Computer Science 4747 Knowledge Discovery in Inductive Databases 5th International
KDID 20062007 年出版301 页ISBN：9783540755487
Lecture Notes in Computer Science 4747 Advanced Parallel Processing Technologies 7th International S
APPT 20072007 年出版767 页ISBN：9783540768364
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 3718 Computer Algebra in Scientific Computing 8th International Wo
CASC 20052005 年出版502 页ISBN：3540289666
