ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 16

1981 年出版192 页ISBN：0824722663

ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 13

1979 年出版508 页ISBN：0824722639

ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 15

1980 年出版351 页ISBN：0824722655

Handbook of Logic in Computer Science Volume 1

1992 年出版827 页ISBN：0198537352

Handbook of Logic in Computer Science Volume 2

1992 年出版571 页ISBN：0198537611

ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 11

1978 年出版496 页ISBN：0824722612

ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 14

1980 年出版256 页ISBN：0824722140

ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 2

2222 年出版494 页ISBN：0824722523

Computer control of real-time Processes

S.Bennett and G.S.Virk1990 年出版306 页ISBN：

ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 4

2222 年出版509 页ISBN：082472254X