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: DIANA. An Intermediate Language for Ada: Revised Version, Author: G. Goos
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: 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: 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: Java 2 Programmer's Reference, Author: Herbert Schildt
Title: The Elements of JavaT Style, Author: Allan Vermeulen

Pagination Links