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 4699 Applied Parallel Computing State of the Art in Scientific Com
PARA 20062007 年出版1192 页ISBN：9783540757542
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 3732 Applied Parallel Computing State of the Art in Scientific Com
PARA 20042006 年出版1174 页ISBN：3540290672
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
Programs and Machines An Introduction to the Theory of Computation
1976 年出版214 页ISBN：0471016500
THE RIVER BASIN AN INTRODUCTION TO THE STUDY OF HYDROLOGY
1978 年出版120 页ISBN：0521219000
SPECTRAL THEORY OF NON-COMMUTATIVE HARMONIC OSCILLATORS: AN INTRODUCTION
2010 年出版260 页ISBN：9783642119217
PASCAL An Introduction to the Art and Science of Programming
1984 年出版550 页ISBN：0805383700
DIFFERENTIABLE DYNAMICS：AN INTRODUCTION TO THE ORBIT STRUCTURE OF DIFFEOMORPHISMS
2222 年出版282 页ISBN：0262140098
