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

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

book Elements of Finite Model Theory

Elements of Finite Model Theory

djvu

Author: Leonid Libkin
Language: English
Year: 2004

00

27.01.2024

0

0

book Petri Net Synthesis

Petri Net Synthesis

pdf

Author: Eric Badouel Luca Bernardinello Philippe Darondeau (auth.)
Language: English
Year: 2015

00

27.01.2024

1

0

book Introduction to Concurrency Theory: Transition Systems and CCS

Introduction to Concurrency Theory: Transition Systems and CCS

pdf

Author: Roberto Gorrieri Cristian Versari (auth.)
Language: English
Year: 2015

00

27.01.2024

2

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

0

0

book Parameterized Complexity Theory

Parameterized Complexity Theory

djvu

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

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

djvu

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

00

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

27.01.2024

0

0

book Dissemination of Information in Optical Networks: From Technology to Algorithms

Dissemination of Information in Optical Networks: From Technology to Algorithms

pdf

Author: Subir Bandyopadhyay
Language: English
Year: 2008

00

27.01.2024

0

0

book Verification of Reactive Systems: Formal Methods and Algorithms

Verification of Reactive Systems: Formal Methods and Algorithms

djvu

Author: Klaus Schneider
Language: English
Year: 2004

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

0

0