Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
The Handbook of Computational Linguistics and Natural Language Processing
Clark2012 年出版775 页ISBN：
Probability and Computing Randomized Algorithms and Probabilistic Analysis
2005 年出版352 页ISBN：0521835402
Assuming only an elementary background in discrete mathematics, this textbook is an excellent introduction to the probabilistic techniques and paradigms used in the development of probabilis...
Introduction to SYSTEMS ANALYSIS AND DESIGN SECOND DEITION
1991 年出版385 页ISBN：013488941X
Vibrations in Mechanical Systems Analytical Methods and Applications
2222 年出版517 页ISBN：354017950X
