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
Lecture Notes in Computer Science 4549 Distributed Computing in Sensor Systems Third IEEE Internatio
DCOSS 20072007 年出版417 页ISBN：9783540730897
Lecture Notes in Computer Science 4536 Agile Processes in Software Engineering and Extreme Programmi
XP 20072007 年出版276 页ISBN：9783540731009
Lecture Notes in Computer Science 4401 Rapid Integration of Software Engineering Techniques Third In
RISE 20062007 年出版177 页ISBN：9783540718758
Lecture Notes in Computer Science 3389 Multiparadigm Programming in Mozart/Oz Second International C
MOZ 20042005 年出版329 页ISBN：3540250794
Lecture Notes in Computer Science 4236 Fault Diagnosis and Tolerance in Cryptography Third Internati
FDTC 20062006 年出版251 页ISBN：3540462503
