Home

Theoretical Computing

Type Theory and Functional Programming

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read Type Theory and Functional Programming Online

Abstract State Machines

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read Abstract State Machines Online

Theoretical Introduction to Programming

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

How to Think Like a Computer Scientist

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read How to Think Like a Computer Scientist Online

Introduction to Computer Science I

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read Introduction to Computer Science I Online

Introduction to Symbolic Computation

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read Introduction to Symbolic Computation Online

L. Levin. Theory of Computation

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read L. Levin. Theory of Computation Online

Lecture Notes on Optimization

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read Lecture Notes on Optimization Online

Partial Evaluation and Automatic Program Generation

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read Partial Evaluation and Automatic Program Generation Online

Tree Automata Techniques and Application

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read Tree Automata Techniques and Application Online

Computer Vision and Image Processing

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read Computer Vision and Image Processing Online

Foundations of Computer Science

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read Foundations of Computer Science Online

Fundamentals of Grid Computing

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read Fundamentals of Grid Computing Online

Graph Theory

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read Graph Theory Online

An Introduction to the Theory of Computation

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

ISBN:053494728X
Pages:416

Architecture for Combinator Graph Reduction

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read Architecture for Combinator Graph Reduction Online

Cellular Automata and Complexity

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read Cellular Automata and Complexity Online

Communicating Sequential Processes (CSP)

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read Communicating Sequential Processes (CSP) Online

A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION

Submitted by bookman on Tue, 10/27/2009 - 11:19
Posted in

Read A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION Online

Syndicate content