Numerical computation of electric and magnetic fields second edition
1997 年出版260 页ISBN：0412086212
Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa
2005 年出版223 页ISBN：3540255761
Lecture Notes in Computer Science 3551 Data Management in a Connected World Essats Dedicated to Hart
2005 年出版371 页ISBN：3540262954
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
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：
Computational Prediction of Protein Complexes From Protein Interaction Networks
Sriganesh Srihari2017 年出版282 页ISBN：
Theory and Design of Digital Computer Systems Second Edition
Douglas Lewin1980 年出版472 页ISBN：
It began with Babbage the genesis of computer science
Subrata Dasgupta2014 年出版328 页ISBN：0199309412
