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

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

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 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

pdf

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

00

27.01.2024

2

0

book The Parametric Lambda Calculus: A Metamodel for Computation

The Parametric Lambda Calculus: A Metamodel for Computation

pdf

Author: Simona Ronchi Della Rocca Luca Paolini
Language: English
Year: 2004

00

27.01.2024

0

0

book Verification of Reactive Systems: Formal Methods and Algorithms

Verification of Reactive Systems: Formal Methods and Algorithms

pdf

Author: Klaus Schneider
Language: English
Year: 2004

00

27.01.2024

2

0

book Public-Key Cryptography

Public-Key Cryptography

pdf

Author: Arto Salomaa
Language: English
Year: 1996

00

27.01.2024

0

0

book Models of Massive Parallelism: Analysis of Cellular Automata and Neural Networks

Models of Massive Parallelism: Analysis of Cellular Automata and Neural Networks

pdf

Author: Max Garzon
Language: English
Year: 1995

00

27.01.2024

1

0

book Structural Complexity I

Structural Complexity I

pdf

Author: José Luis Balcázar Josep Díaz Joaquim Gabarró
Language: English
Year: 1995

00

27.01.2024

3

0

book Design and Analysis of Randomized Algorithms: Introduction to Design Paradigms

Design and Analysis of Randomized Algorithms: Introduction to Design Paradigms

pdf

Author: Juraj Hromkovič
Language: English
Year: 2005

00

27.01.2024

0

0

book Parameterized Complexity Theory

Parameterized Complexity Theory

pdf

Author: Jörg Flum Martin Grohe
Language: English
Year: 2006

00

27.01.2024

0

0

book Elements of Finite Model Theory

Elements of Finite Model Theory

pdf

Author: Leonid Libkin
Language: English
Year: 2004

00

27.01.2024

2

0