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

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

book Grammatical Picture Generation: A Tree-Based Approach

Grammatical Picture Generation: A Tree-Based Approach

djvu

Author: Frank Drewes
Language: English
Year: 2006

00

27.01.2024

0

0

book Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

pdf

Author: Daniel Kroening Ofer Strichman (auth.)
Language: English
Year: 2016

00

27.01.2024

0

0

book An Introduction to Online Computation: Determinism, Randomization, Advice

An Introduction to Online Computation: Determinism, Randomization, Advice

pdf

Author: Dennis Komm (auth.)
Language: English
Year: 2016

00

27.01.2024

0

0

book Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

pdf

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

00

27.01.2024

0

0

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