Computer Productivity A Planning Guide For Cost Effective Management
1982 年出版254 页ISBN：0471077445
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
Personal Pascal Compiled Pascal for the IBM Personal Computer
1984 年出版420 页ISBN：0835955222
REFERENCE ENCYCLOPEDIA FOR THE IBM PERSONAL COMPUTER SECOND EDITION
1983 年出版484 页ISBN：0912677015
Advanced Computer Simulation Approaches for Soft Matter Sciences II
2005 年出版250 页ISBN：3540260919
INSTRUCTOR'S GUIDE FOR ESSENTIALS OF COMPUTER DATA PROCESSING
1984 年出版215 页ISBN：134441
Advanced Computer Simulation Approaches for Soft Matter Sciences I
2005 年出版275 页ISBN：3540220585
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
Computer Vision for Biomedical Image Applications First international Workshop
CVBIA 20052005 年出版563 页ISBN：3540294112
