ELSEVIER'S DICTIONARY OF GENERAL PHYSICS IN SIX LANGUAGES
W. E. CLASON1962 年出版859 页ISBN：
LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING
DAVID GELERNTER ALEXANDRU NICOLAU DAVID PADUA1990 年出版553 页ISBN：0273088203
Automated Deduction in Geometry 5th International Workshop
ADG 20042006 年出版216 页ISBN：354031332X
DISCRETE MATHEMATICAL STRUCTURES GOR COMPUTER SCIENCE
BERNARD KOLMAN2222 年出版421 页ISBN：
Components of System Safety Proceedings of the Tenth Safety-critical Systems Symposium
Southampton2002 年出版0 页ISBN：
PROCESS CONTROL COMPUTER SYSTEMS Guide for Managers
1983 年出版296 页ISBN：0250404885
SELECTED FEDERAL COMPUTER-BASED INFORMATION SYSTEMS
1972 年出版215 页ISBN：0878150072
