Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
Lecture Notes in Computer Science 3998 Algorithms and Complexity 6th Italian Conference
CIAC 20062006 年出版394 页ISBN：354034375X
Lecture Notes in Bioinformatics 3916 Data Mining for Biomedical Applications PAKDD 2006 Workshop
BioDM 2006 Singapore2222 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3155 Advances in Case-Based Reasoning 7th European Conferen
ECCBR 20042004 年出版822 页ISBN：3540228829
Lecture Notes in Artificial Intelligence 3066 Rough Sets and Current Trends in Computing 4th Interna
RSCTC 20042004 年出版853 页ISBN：3540221174
Lecture Notes in Artificial Intelligence 3900 Computational Logic in Multi-Agent Systems 6th Interna
CLIMA VILondon2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4271 Graph-Theoretic Concepts in Computer Science 32nd Internation
WG 20062006 年出版358 页ISBN：3540483810
Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
Lecture Notes in Computer Science 3255 Advances in Databases and Information Systems 8th East Europe
ADBIS 20042004 年出版423 页ISBN：3540232435
Lecture Notes in Artificial Intelligence 4259 Rough Sets and Current Trends in Computing 5th Interna
RSCTC 20062006 年出版951 页ISBN：3540476938
