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
Lecture Notes in Computer Science 4033 Performability Has its Price 5th International Workshop on In
ICQT 20062006 年出版106 页ISBN：3540354565
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
