Computer organization by Hamacher, V. Carl

Common LISP programming for artificial intelligence. by Hasemer, Tony

Program derivation the development of programs from specifications by Dromey, R. G. 1946-

Clausal form logic an introduction to the logic of computer reasoning by Richards, Tom

A first course in combinatorial mathematics by Anderson, Ian Ph. D.1

Publisher description
Table of contents only

Distributed systems concepts and design by Coulouris, George F.

The Linked systems project a networking tool for libraries

OSI explained end-to-end computer communication standards by Henshall, John 1953-1

Programming languages by Tucker, Allen B.

Programming languages by Tucker, Allen B.