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
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
STRUCTURAL ANALYSIS AND EDSIGN OF PROCESS EQUIPMENT SECOND EDITION
1989 年出版722 页ISBN：0471624713
Storage Virtualization Technologies for Simplifying Data Storage and Management
2005 年出版234 页ISBN：0321262514
