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

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

book Temporal Logic and State Systems

Temporal Logic and State Systems

pdf

Author: Fred Kroger Stephan Merz
Language: English
Year: 2008

00

27.01.2024

0

0

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

27.01.2024

0

0

book Exact Exponential Algorithms

Exact Exponential Algorithms

pdf

Author: Fedor V. Fomin Dieter Kratsch
Language: English
Year: 2010

00

27.01.2024

0

0

book Introduction to Circuit Complexity: A Uniform Approach

Introduction to Circuit Complexity: A Uniform Approach

pdf

Author: Heribert Vollmer
Language: English
Year: 1999

00

27.01.2024

3

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 Software Engineering 2: Specification of Systems and Languages

Software Engineering 2: Specification of Systems and Languages

pdf

Author: Dines Bjorner
Language: English
Year: 2006

00

27.01.2024

0

0

book Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

djvu

Author: Dines Bjorner
Language: English
Year: 2006

00

27.01.2024

0

0

book Introduction to Process Algebra

Introduction to Process Algebra

pdf

Author: Wan Fokkink
Language: English
Year: 2007

00

27.01.2024

0

0

book Computable Analysis: An Introduction

Computable Analysis: An Introduction

djvu

Author: Klaus Weihrauch
Language: English
Year: 2000

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

0

0