Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X
INTRODUCTION TO DIGITAL COMPUTER TECHNOLOGY,SECOND EDITION
1977 年出版529 页ISBN:047102094X
COMPUTER AIDED ANALYSIS AND OPTIMIZATION OF MECHANICAL SYSTEM DYNAMICS
EDWARD J.HAUG1984 年出版700 页ISBN:
fertilizer science and technology series-Volume 5 Manual of Fertilizer Processing
1987 年出版525 页ISBN:0824775228