Lecture Notes in Computer Science 4006 Reliable Software Technologies-Ada-Europe 2006 11th Ada-Europ
2006 年出版240 页ISBN：3540346635
Lecture Notes in Computer Science 3063 Reliable Software Technologies-Ada-Europe 2004 9th Ada-Europe
2004 年出版333 页ISBN：3540220119
Lecture Notes in Computer Science 4498 Reliable Software Technologies-Ada-Europe 2007 12th Ada-Europ
2007 年出版245 页ISBN：9783540732297
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
Lecture Notes in Computer Science 3555 Reliable Software Technologies-Ada-Europe 2005 10th Ada-Europ
2005 年出版273 页ISBN：3540262865
COMPUTER MODELING OF COMPLEX BIOLOGICAL SYSTEMS
S.SITHARAMA LYENGAR，PH.D.2222 年出版142 页ISBN：0849352088
PRINCIPLES OF COMPUTER-AIDED DESIGN
JOE ROONEY AND PHILIP STEEDMAN2222 年出版341 页ISBN：0273026720
HANDBOOK OF QUANTITATIVE STUDIES OF SCIENCE AND TECHNOLOGY
A.F.J.VAN RAAN2222 年出版774 页ISBN：0444705376
FUNK & WAGNALLS NEW ENCYCLOPEDIA VOLUME 1 A TO AMERICAN ELK
LEON L.BRAM NORMA H.DICKEY2222 年出版448 页ISBN：083430094X
