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

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

book Exact Exponential Algorithms

Exact Exponential Algorithms

pdf

Author: Dieter Kratsch, Fedor V. Fomin
Language: German
Year: 2010

00

12.02.2024

0

0

book Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

pdf

Author: Prof. Dr. Dines Bjørner (auth.)
Language: English
Year: 2006

00

06.02.2024

0

0

book Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

pdf

Author: Brauer Wilfried, Rozenberg Grzegorz, Salomaa Arto
Language: English
Year: 2006

00

06.02.2024

0

0

book Algorithmics for hard problems: introduction to combinatorial optimization, randomization, approximation, and heuristics

Algorithmics for hard problems: introduction to combinatorial optimization, randomization, approximation, and heuristics

pdf

Author: Hromkovič Juraj
Language: English
Year: 2011

00

06.02.2024

0

0

book Dissemination of Information in Communication Networks: Broadcasting, Gossiping, Leader Election, and Fault-Tolerance

Dissemination of Information in Communication Networks: Broadcasting, Gossiping, Leader Election, and Fault-Tolerance

pdf

Author: Prof. Dr. Juraj Hromkovič Dr. Ralf Klasing Dr. Andrzej Pelc Prof. Dr. Peter Ružičkaà Dr. Walter Unger (auth.)
Language: English
Year: 2005

00

06.02.2024

0

0

book Domains, requirements, and software design

Domains, requirements, and software design

pdf

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

00

06.02.2024

0

0

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

0

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