Home Newsletter
News Books
Welcome to FreeScience.info Language/Lingua
Computer Science
· Book News
· Most clicked
· Least clicked
· Books Index
· Search on Amazon

Search for a Book
Add a new Book

Theory of Computation

Computer Science -> Theory of ComputationSearch on Amazon

Automata Theory[1] Computational Complexity[1]

Foundations of Computer Science
Author: Al Aho and Jeff Ullman  Language:
Foundations of Computer Science Contents: Computer Science: The Mechanization of Abstraction; Iteration, Induction, and Recursion; The Running Time of Programs; Combinatorics and Probability; The Tree Data Model; The List Data Model . . . . .
Information Theory, Inference and Learning Algorithms
Author: David J. C. MacKay  Language:
Information Theory, Inference and Learning Algorithms Information theory and inference, often taught separately, are here united in one entertaining textbook. These topics lie at the heart of many exciting areas of contemporary science and engineering - . . . . .
Partial Evaluation and Automatic Program Generation
Author: Neil D. Jones Carsten K. Gomard Peter Sestoft  Language:
Partial Evaluation and Automatic Program Generation The book Partial Evaluation and Automatic Program Generation gives a comprehensive presentation of partial evaluation: theory, techniques, and applications. It is suitable for self-study, and for grad . . . . .
Communicating Sequential Processes (CSP)
Author: Tony Hoare  Language:
Communicating Sequential Processes, or CSP, is a language for describing patterns of interaction. It is supported by an elegant, mathematical theory, a set of proof tools, and an extensive literature. . . . . .
Introduction to Theory of Computation
Author: Anil Maheshwari and Michiel Smid   Language:
Contents:Introduction; Finite Automata and Regular Language; Context-Free Languages; Turing Machines and the Church-Turing; Decidable and Undecidable Language; Complexity Theory.
Tree Automa Techniques and Applications
Author:   Language:
Tree Automa Techniques and Applications The two first chapters contain the basics on Tree Automata theory for finite ordered ranked trees. Chapter 3 shows connections between Logic and Tree Automata. Chapter 4 presents Automata with Constra . . . . .
Computability Theory
Author: Wilfried Sieg  Language:
Contents: The core of section 1 is devoted to decidability and calculability; In section 2, entitled Recursiveness & Church’s Thesis, we see that Herbrand’s broad characterization was used in Gödel’s . . . . .
Informatica Teorica
Author: A. Leonardi, M. Belletti, M. Boccafoli  Language:
Informatica Teorica, contenuto: richiami alla teoria degli insiemi; formalismi; decidibilità; calcolabilità; linguaggi; linguaggi ed approccio generativo; epsressioni regolari; linguaggi liberi; gramm . . . . .
The Theory of Languages and Computation
Author: Jean Gallier and Andy Hicks  Language:
Contents: Automata; Formal Languages; Computability; Current Topics.
Informatica teorica
Author: Prof. Giorgio Ausiello  Language:
Tratta di : Proprietà dei linguaggi; introduzione ai linguaggi normali; macchine di Turing; modelli di calcolo interpretativi e funzionali; Teoria della calcolabilità e della complessità.

Add a new book
Home |  Authors | About | Contact Us |  Email 
 Copyright © 2002-2013 FreeScience.info. 

Best viewed with Mozilla 1.X 1024x768
free scientific books