Lecture Notes in Computer Science 4126 Reasoning Web Second International Summer School 2006
2006 年出版268 页ISBN：354038409X
Lecture Notes in Computer Science 86 Abstract Software Specifications 1979 Copenhagen Winter School
19791980 年出版567 页ISBN：3540100075
Lecture Notes in Computer Science 3471 Power-Aware Computer Systems 4th International Workshop
PACS 2004 Portland2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3980 Computational Science and Its Applications-ICCSA 2006 Interna
Marina Gavrilova2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4705 Computational Science and Its Applications-ICCSA 2007 Interna
Osvaldo Gervasi2007 年出版1169 页ISBN：
Lecture Notes in Computer Science 3981 Computational Science and Its Applications-ICCSA 2006 Interna
Marina Gavrilova2222 年出版0 页ISBN：
Lecture Notes in Computer Science 73 Graph-Grammars and Their Application to Computer Science and Bi
October 30-November 31979 年出版477 页ISBN：
Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
