Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN：3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN：9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
THE ENGINEERING OF GAS-SOLID REACTIONS PROCEEDINGS OF THE SYMPOSIUM HELD ON 24-26 APRIL 1968
I. CHEM .E.-VTG/VDI JOINT MEETING-BRIGHTON1968 年出版255 页ISBN：
COMPUTER GRAPHICS THROUGH OPENGL AND EDITION
SUMANTA GUHA2015 年出版919 页ISBN：1482258394
PROCEEDINGS OF THE 1988 WORKSHOP ON COMPUTATIONAL LEARNING THEORY
1988 年出版433 页ISBN：0558690195
LECTURE NOTES IN MATHEMATICS 1317: GEOMETRIC ASPECTS OF FUNCTIONAL ANALYSIS
1988 年出版296 页ISBN：3540193537;0387193537
Radioecology Proceedings of The First National Symposium on Radioecology Held At Colorado State Univ
Fort Collins2222 年出版0 页ISBN：
