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：
