Book serie: / Книги серии: Texts in Theoretical Computer Science. An EATCS Series » Page 7 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Texts in Theoretical Computer Science. An EATCS Series » Page 7

book The Complexity Theory Companion

The Complexity Theory Companion

djvu

Author: Lane A. Hemaspaandra Mitsunori Ogihara
Language: English
Year: 2002

00

27.01.2024

2

0

book Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

djvu

Author: Yves Bertot Pierre Castéran
Language: English
Year: 2004

00

27.01.2024

1

0

book Abstract computing machines : a lambda calculus perspective

Abstract computing machines : a lambda calculus perspective

pdf

Author: Werner Kluge
Language: English
Year: 2005

00

27.01.2024

0

0

book Parsing Schemata: A Framework for Specification and Analysis of Parsing Algorithms

Parsing Schemata: A Framework for Specification and Analysis of Parsing Algorithms

pdf

Author: Klaas Sikkel
Language: English
Year: 1997

00

27.01.2024

0

0

book The complexity theory companion

The complexity theory companion

djvu

Author: Lane A Hemaspaandra, Mitsunori Ogihara
Language: English
Year: 2002

00

27.01.2024

2

0

book Extremal Combinatorics: With Applications in Computer Science

Extremal Combinatorics: With Applications in Computer Science

pdf

Author: Stasys Jukna
Language: English
Year: 2011

00

27.01.2024

2

0

book Parsing Schemata: A Framework for Specification and Analysis of Parsing Algorithms

Parsing Schemata: A Framework for Specification and Analysis of Parsing Algorithms

djvu

Author: Klaas Sikkel
Language: English
Year: 1997

00

27.01.2024

0

0

book A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors

pdf

Author: Reino Kurki-Suonio
Language: English
Year: 2005

00

27.01.2024

3

0

book Universal Artificial Intelligence: Sequential Decisions Based On Algorithmic Probability

Universal Artificial Intelligence: Sequential Decisions Based On Algorithmic Probability

pdf

Author: Marcus Hutter
Language: English
Year: 2005

00

27.01.2024

0

0

book Software Engineering 2: Specification of Systems and Languages

Software Engineering 2: Specification of Systems and Languages

pdf

Author: Dines Bjørner
Language: English
Year: 2006

00

27.01.2024

0

0