Title: The Nature of Explanation, Author: K. J. W. Craik
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: A Comparative Study of Very Large Data Bases, Author: E. Jr. Hill
Title: First-Order Dynamic Logic, Author: D. Harel
Title: Architecture of Distributed Computer Systems, Author: G. Bochmann
Title: Edinburgh LCF: A Mechanized Logic of Computation, Author: M. Gordon
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: DIANA. An Intermediate Language for Ada: Revised Version, Author: G. Goos
Title: Communication Technology, Author: Everett M. Rogers
Title: Checking C Programs with Lint: C Programming Utility, Author: Ian F. Darwin
Title: Ideas and Information: Managing in a High-Tech World, Author: Arno Penzias
Title: Electronic Facilities Engineering - MIL-HDBK-1012/1: MiL-HDBK-1012/1, Author: Department of Defense
Title: Introduction to occam 2 on the Transputer, Author: Graham R. Brookes
Title: Group Theoretical Methods in Image Processing, Author: Reiner Lenz
Title: The Psychopathology of Everyday Life, Author: Sigmund Freud
Title: The Devouring Fungus: Tales of the Computer Age, Author: Karla Jennings
Title: Free Play: Improvisation in Life and Art, Author: Stephen Nachmanovitch
Title: Photovideo: Photography in the Age of Computers, Author: Paul Wombell

Pagination Links