Real-Time Systems Formal Specification and Automatic Verification
2008 年出版320 页ISBN：9780521883337
EASY WRITER II BASIC SENTENCE COMBINING AND COMPREHENSIVE SKILLS
1894 年出版318 页ISBN：0060411589
NMR AND CHEMISTRY AN INTRODUCTION TO MODERN NMR SPECTROSCOPY
2222 年出版272 页ISBN：0412372606
ADVANCED SYSTEM MODELLING AND SIMULATION WITH BLOCK DIAGRAM LANGUAGES
2222 年出版350 页ISBN：0849394791
ELEMENTS OF ARGUMENT:A TEXT AND READER SEVENTH EDITION
2003 年出版756 页ISBN：0312397771
Studies on Themes and Motifs in Literature Ode Consciousness
2009 年出版262 页ISBN：9781433107337
The Prentice-Hall Dictionary of Nutrition and Health
2222 年出版257 页ISBN：0136956106
Intelligent Robots and Compouter Vision Sixth in a Series
1988 年出版665 页ISBN：0892528834
COMPUTER GRAPHICS: AN INTRODUCTION TO THE MATHEMATICS AND GEOMETRY
1989 年出版382 页ISBN：0831111828
