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 Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

pdf

Author: Daniel Kroening Ofer Strichman
Language: English
Year: 2016

00

29.01.2024

2

0

book Models of Computation

Models of Computation

pdf

Author: Roberto Bruni Ugo Montanari
Language: English
Year: 2017

00

29.01.2024

0

0

book Models of Computation

Models of Computation

pdf

Author: Roberto Bruni Ugo Montanari (auth.)
Language: English
Year: 2017

00

28.01.2024

0

0

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 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: Libkin Leonid
Language: English
Year: 2004

00

27.01.2024

2

0

book Decision procedures : an algorithmic point of view

Decision procedures : an algorithmic point of view

pdf

Author: Daniel Kroening Ofer Strichman R.E. Bryant
Language: English
Year: 2008

00

27.01.2024

0

0