Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN:0198538359
FOUNDATIONS OF DEPENDABLE COMPUTING Models and Frameworks for Dependable Systems
1994 年出版264 页ISBN:0792394844
STRENGTHENING FOREST TENURE SYSTEMS AND GOVERNANCE TRAINING MODULE FOR FACILITATORS
2013 年出版64 页ISBN:9251080518
Robotics for Eletronics Manufacturing Principles and Applications in Cleanroom Automation
2010 年出版238 页ISBN:9780521876520
DIFFERENTIAL OPERATORS FOR PARTIAL DIFFERENTIAL EQUATIONS AND FUNCTION THEORETIC APPLICATIONS
1980 年出版258 页ISBN:3540099751
Experiments manual for digital electronics : principles and applications fifth edition
1994 年出版344 页ISBN:0028041623
Inverse Problem Theory and Methods for Model Parameter Estimation
Albert Tarantola2009 年出版332 页ISBN: