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

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

book Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

pdf

Author: Erich Grädel Phokion G. Kolaitis Leonid Libkin Maarten Marx Joel Spencer Moshe Y. Vardi Yde Venema Scott Weinstein
Language: English
Year: 2007

00

26.01.2024

0

0

book Theoretical computer science: introduction to Automata, compurability, complexity, algorithmics, randomization, communication, and cryptography

Theoretical computer science: introduction to Automata, compurability, complexity, algorithmics, randomization, communication, and cryptography

djvu

Author: Juraj Hromkovic
Language: English
Year: 2004

00

26.01.2024

0

0

book Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography

Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography

pdf

Author: Juraj Hromkovic
Language: English
Year: 2003

00

26.01.2024

1

0

book Dissemination of Information in Communication Networks

Dissemination of Information in Communication Networks

rar

Author: Juraj Hromkovic Ralf Klasing A. Pelc Peter Ruzicka Walter Unger
Language: English
Year: 2010

00

26.01.2024

0

0

book Software Engineering 3: Domains, Requirements, and Software Design

Software Engineering 3: Domains, Requirements, and Software Design

pdf

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

00

26.01.2024

0

0

book Theoretical computer science

Theoretical computer science

rar

Author: Juraj Hromkovic
Language: English
Year: 2010

00

26.01.2024

0

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

26.01.2024

1

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

26.01.2024

2

0

book Complexity Theory and Cryptology: An Introduction to Cryptocomplexity

Complexity Theory and Cryptology: An Introduction to Cryptocomplexity

pdf

Author: Jörg Rothe
Language: English
Year: 2005

00

26.01.2024

0

0

book Grammatical Picture Generation: A Tree-Based Approach

Grammatical Picture Generation: A Tree-Based Approach

pdf

Author: Frank Drewes
Language: English
Year: 2006

00

26.01.2024

1

0