Other Computing


Software Abstractions: Logic, Language, And Analysis
Old New Thing, The: Practical Development Throughout the Evolution of Windows
MAC OS X Internals: A Systems Approach
Design And Validation Of Computer Protocols
The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling (Wiley Professional Computing)
Managing Gigabytes: Compressing and Indexing Documents and Images
Essentials of Compilation: An Incremental Approach in Racket
A. M. Turing's ACE Report of 1946 and Other Papers
Types and Programming Languages (Mit Press)
Algebra-Driven Design
Alan Turing's Systems of Logic: The Princeton Thesis
Elements Of Functional Programming
Is Parallel Programming Hard, And, If So, What Can You Do About It?
Thinking with Types. Type-Level Programming in Haskell
The Book of Monads: Master the theory and practice of monads, applied to solve real world problems