(1) Logic in Computer Science: Modelling and Reasoning about Systems Michael Huth; Mark Ryan ISBN: 9780521543101 Cambridge University Press View at publisher
(2) Algorithmic Program Debugging by Ehud Y. Shapiro ISBN: 9780262693073 MIT Press View at publisher
(3) An Introduction to Bioinformatics Algorithms by Neil C. Jones and Pavel A. Pevzner ISBN: 9780262101066 MIT Press View at publisher
(4) Generating Language-Based Environments by Thomas W. Reps ISBN: 9780262681469 MIT Press View at publisher
(5) Multicomputer Networks: Message-Based Parallel Processing by Daniel A. Reed and Richard M. Fujimoto ISBN: 9780262681452 MIT Press View at publisher
(6) Where the Action Is: The Foundations of Embodied Interaction by Paul Dourish ISBN: 9780262541787 MIT Press View at publisher
(7) Cellular Computing Martyn Amos ISBN: 9780195155396 Oxford University Press View at publisher
(8) I, Cyborg: Kevin Warwick ISBN: 9780252072154 University of Illinois Press View at publisher
(9) March of the Machines: The Breakthrough in Artificial Intelligence Kevin Warwick ISBN: 9780252072239 University of Illinois Press View at publisher