Title: Theory of Program Structures: Schemes, Semantics, Verification, Author: Sheila A. Greibach
Title: Computing in Systems Described by Equations, Author: M.J. O'Donnell
Title: First-Order Dynamic Logic, Author: D. Harel
Title: Axiomatising the Logic of Computer Programming, Author: R. Goldblatt
Title: Checking C Programs with Lint: C Programming Utility, Author: Ian F. Darwin
Title: Photovideo: Photography in the Age of Computers, Author: Paul Wombell
Title: lex & yacc, Author: Doug Brown
Title: Mirror Worlds: or the Day Software Puts the Universe in a Shoebox...How It Will Happen and What It Will Mean, Author: David Gelernter
Title: In My Father's House: Africa in the Philosophy of Culture, Author: Kwame Anthony Appiah
Title: Multieffects for Musicians, Author: Craig Anderton
Title: Fatal Defect: Chasing Killer Computer Bugs, Author: Ivars Peterson
Title: Hidden Order: How Adaptation Builds Complexity, Author: John H Holland
Title: Software Project Survival Guide, Author: Steve McConnell
Title: Software Project Survival Guide, Author: Steve McConnell
Title: Organizing Genius: The Secrets of Creative Collaboration, Author: Warren G. Bennis
Title: GNU Emacs Pocket Reference: UNIX Text Processing, Author: Debra Cameron
Title: Machine Beauty: Elegance And The Heart Of Technology, Author: David Gelernter
Title: Virtual Power: Using Your PC to Realize the Life of Your Dreams, Author: Mark Bunting
Title: Y2k: A World in Crisis?, Author: Warren H. Chaney
Title: Design Wise: A Guide for Evaluating the Interface Design of Information Resources, Author: Alison J Head

Pagination Links