Cambridge Revivals - Computer Science

Cognitive Ergonomics and Human-Computer Interaction

Long, J.
Whitefield, A.
Published: August 2011

Table of d' and β

Firth, P. R. Freeman
Published: June 2011

Information Systems Engineering

A Formal Approach

Hee, Kees M. van
Published: December 2009

Formal Methods in Human-Computer Interaction

Harrison, Michael
Thimbleby, Harold
Published: July 2009

Lambda-calculus, Combinators and Functional Programming

Revesz, G. E.
Published: June 2009

Mathematical Theory of Domains

Stoltenberg-Hansen, V.
Lindström, I.
Griffor, E. R.
Published: June 2008

Perception as Bayesian Inference

Knill, David C.
Richards, Whitman
Published: June 2008

Flexible Pattern Matching in Strings

Practical On-Line Search Algorithms for Texts and Biological Sequences

Navarro, Gonzalo
Raffinot, Mathieu
Published: August 2007

Compiling with Continuations

Appel, Andrew W.
Published: February 2007

Foundations of Cryptography

Goldreich, Oded
Published: January 2007
Volume 1. Basic Tools

Deductive and Declarative Programming

Padawitz, Peter
Published: November 2006

The Uncertain Reasoner's Companion

A Mathematical Perspective

Paris, J. B.
Published: November 2006

Communication Complexity

Kushilevitz, Eyal
Nisan, Noam
Published: November 2006

Formal Specification and Design

Feijs, L. M. G.
Jonkers, H. B. M.
Published: November 2005

The Logic of Typed Feature Structures

With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Carpenter, Robert L.
Published: November 2005

Affine Analysis of Image Sequences

Shapiro, Larry S.
Published: September 2005

Free Choice Petri Nets

Desel, Jorg
Esparza, Javier
Published: September 2005

Extensions of First-Order Logic

Manzano, Maria
Published: August 2005

Foundations of Parallel Programming

Skillicorn, D. B.
Published: August 2005

Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

Olderog, E. -R.
Published: August 2005