Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN:
LECTURE NOTES IN COMPUTER SCIENCE 490 ALGEBRAIC METHODS Ⅱ:THEORY
TOOLS AND APPLICATIONS1991 年出版434 页ISBN:
Computer Simulation Studies in Condensed-Matter Physics XIII
D.P.Landau2002 年出版239 页ISBN:
Computer Simulation Studies in Condensed-Matter Physics XIV
D.P.Landau2002 年出版276 页ISBN:
Lecture Notes in Computer Science 3092 Extreme Programming and Agile Processes in Software Engineeri
XP 20042004 年出版358 页ISBN:3540221379