Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
Lecture Notes in Computer Science 4559 Usability and Internationalization HCI and Culture
2007 年出版661 页ISBN：9783540732860
Lecture Notes in Computer Science 2987 Foundations of Software Science and Computation Structures 7t
FOSSACS 20042004 年出版528 页ISBN：3540212981
Lecture Notes in Computer Science 3441 Foundations of Software Science and Computation Structures 8t
FOSSACS 20052005 年出版521 页ISBN：3540253882
Lecture Notes in Computer Science 3921 Foundations of Software Science and Computation Structures 9t
FOSSACS 20062006 年出版447 页ISBN：3540330453
Lecture Notes in Computer Science 3983 Computational Science and Its Applications-ICCSA 2006
Marina Gavrilova2222 年出版0 页ISBN：
Lecture Notes in Computer Science 2303 Foundations of Software Science and Computation Structures 5t
FOSSACS 20022002 年出版433 页ISBN：354043366X
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
