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: Specification and Design of Software Systems: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings, Author: Elïd Knuth
Title: The Semantics of Destructive LISP, Author: Ian A. Mason
Title: Checking C Programs with Lint: C Programming Utility, Author: Ian F. Darwin
Title: Introduction to occam 2 on the Transputer, Author: Graham R. Brookes
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: Of Two Minds: Hypertext Pedagogy and Poetics, Author: Michael Thomas Joyce
Title: Hidden Order: How Adaptation Builds Complexity, Author: John H Holland
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

Pagination Links