SYSTEM DESIGN FOR COMPUTER APPLICATIONS
H.N. LADEN AND T.R. GILDERSLEEVE1963 年出版330 页ISBN：
QUALITY ASSURANCE FOR COMPUTER SOFTWARE
ROBERT DUNN AND RICHARD ULLMAN2222 年出版351 页ISBN：
FERTILIZATION OF THE HUMAN EGG IN VITRO BIOLOGICAL BASIS AND CLINICAL APPLICATION
HENNING M.BEIER AND HANS R.LINDNER1983 年出版426 页ISBN：3540118969
Computer Operating Systems FOR MICROS
MINIS AND MAINFRAMES Second Edition1971 年出版140 页ISBN：0412156202
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
