Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
COMPUTER SCIENCE A BREADTH-FIRST APPROACH WITH PASCAL
1995 年出版730 页ISBN：0471311987
MAKING SENSE:CONSTRUCTING KNOWLEDGE IN THE ARTS AND SCIENCE
2002 年出版661 页ISBN：0395986303
STATISTICS THE ART AND SCIENCE OF LEARNING FROM DATA
2007 年出版693 页ISBN：2900130083691
Lasers in Polymer Science and Technology:Applications Volume I
1990 年出版313 页ISBN：0849348447
SEMANTIC WEB Revolutionizing Knowledge Discovery in the Life Sciences
2007 年出版446 页ISBN：9780387484365
MODERN TRENDS OF COLLOID SCIENCE IN CHEMISTRY AND BIOLOGY
1985 年出版302 页ISBN：3764317116
Volta SCIENCE AND CULTURE IN THE AGE OF ENLIGHTENMENT
2222 年出版381 页ISBN：0691096856
Lecture Notes in Computer Science 363 Logic at Botik'89
1989 年出版289 页ISBN：0387512373
Environmental Science The Way the World Works Seventh Edition
2222 年出版664 页ISBN：0130831344
