rafaeldff + textbook   9

Operating Systems and Middleware: Supporting Controlled Interaction
Max Hailperin (from Concrete Abstractions fame) creative commons licensed operating systems textbook.
MaxHailperin  book  OperatingSystem  OS  textbook  CC  CreativeCommons  OperatingSystems 
august 2011 by rafaeldff
Complexity Theory: A Modern Approach / Sanjeev Arora and Boaz Barak
This is a draft of a textbook on computational complexity theory. It is intended as a text for an advanced undergraduate course or introductory graduate course, or as a reference for researchers and students in computer science and allied fields such as m
book  online  free  computerscience  computing  complexity  theory  computation  ComplexityTheory  Princeton  course  SanjeevArora  BoazBarak  CS  textbook 
february 2008 by rafaeldff
Proof Theory and Philosophy (pdf)
"First, propositional logic; second, quantifiers, identity and existence; third, modality and truth. In each part, the first chapter covers logical tools and techniques suited to the topic under examination. The second chapter both discusses the issues th
book  online  GregRestall  free  textbook  logic  philosophy  proof  ProofTheory  theory  modal  propositional  predicate  mathmatics  math  pdf 
december 2006 by rafaeldff

Copy this bookmark: