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
Studies on Themes and Motifs in Literature Ode Consciousness
2009 年出版262 页ISBN：9781433107337
Storage Virtualization Technologies for Simplifying Data Storage and Management
2005 年出版234 页ISBN：0321262514
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
DATA AND REALITY Badic Assumptions in Data Processing Reconsidered
1978 年出版211 页ISBN：0444851879
