Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
CAD ED Internationl Conference on Computer Aided Design Education
1978 年出版403 页ISBN：0902852817
COMPUTER SCIENCE A BREADTH-FIRST APPROACH WITH PASCAL
1995 年出版730 页ISBN：0471311987
ARTIFICIAL INTELLIGENCE AND PATTERN RECOGNITION IN COMPUTER AIDED DESIGN
1978 年出版510 页ISBN：0444852298
COMPUTER GRAPHICS:PRINCIPLES AND PRACTICE SECOND EDITION IN C
2222 年出版1174 页ISBN：0201848406
OPTIMIZATION-BASED COMPUTER-AIDED MODELLING AND DESIGN
2222 年出版273 页ISBN：0387551352
Personal Pascal Compiled Pascal for the IBM Personal Computer
1984 年出版420 页ISBN：0835955222
Lecture Notes in Computer Science 363 Logic at Botik'89
1989 年出版289 页ISBN：0387512373
MCGRAW-HILL DICTIONARY OF ELECTRICAL AND COMPUTER ENGINEERING
2004 年出版684 页ISBN：0071442103
