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
NOVEL TECHNIQUES IN SYNTHESIS AND PROCESSING OF ADVANCED MATERIALS
2222 年出版524 页ISBN：0873392884
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
Henry James and the Structure of the Romantic Imagination
1981 年出版193 页ISBN：0807107891
DESIGN ANALYSIS AND PERFORMANCE EVALUATION METHODOLOGINES FOR DATABASE COMPUTERS
1987 年出版300 页ISBN：0131999028
QUALITY OF SELECTED FRUITS AND VEGETABLES OF NORTH AMERICA
1981 年出版240 页ISBN：0841206627
