Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN:0198538359
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN:081764220X
MODERN METHODS IN SCIENTIFIC COMPUTING AND APPLICATIONS
ANNE BOURLIOUX MARTIN J.GANDER GERT SABIDUSSI2002 年出版492 页ISBN:1402007825
Lecture Notes in Artificial Intelligence 3446 Massively Multi-Agent Systems I First International Wo
MMAS 20042005 年出版349 页ISBN:3540269746
Using cereal science and technology for the benefit of consumers
Stanley P Cauvain2005 年出版580 页ISBN:0849337712
THE FUNDAMENTALS OF ENGINEERING DRAWING AND GRAPHIC TECHNOLOGY THIRD EDITION
1972 年出版657 页ISBN:0070221537
Wine science : principles and applications third edition
Ronald S Jackson2008 年出版751 页ISBN:0123736468
EARTH SCIENCE AND THE ENVIRONMENT THIRD EDITION
GRAHAM R.THOMPSON2005 年出版666 页ISBN:0534393136
CONCEPTS AND ISSUES IN HEALTH CARE COMPUTING
H.DOMINIC COVVEY NANCY H.CRAVEN NEIL H.MCALISTER1985 年出版290 页ISBN: