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

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

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

book Software Engineering 3: Domains, Requirements, and Software Design

Software Engineering 3: Domains, Requirements, and Software Design

pdf

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

00

27.01.2024

0

0

book Complexity Theory and Cryptology

Complexity Theory and Cryptology

pdf

Author: Jörg Rothe
Language: English
Year: 2005

00

27.01.2024

2

0

book Design and Analysis of Randomized Algorithms: Introduction to Design Paradigms

Design and Analysis of Randomized Algorithms: Introduction to Design Paradigms

pdf

Author: Juraj Hromkovič
Language: English
Year: 2005

00

27.01.2024

0

0

book Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)

Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)

djvu

Author: J. Flum M. Grohe
Language: English
Year: 2006

00

27.01.2024

0

0

book Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-order Logic

Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-order Logic

pdf

Author: Benedikt Bollig
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: 2007

00

27.01.2024

0

0

book Graphs and Algorithms in Communication Networks: Studies in Broadband, Optical, Wireless and Ad Hoc Networks

Graphs and Algorithms in Communication Networks: Studies in Broadband, Optical, Wireless and Ad Hoc Networks

pdf

Author: Arie M.C.A. Koster Xavier Muñoz (eds.)
Language: English
Year: 2010

00

27.01.2024

1

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

book Universal Artificial Intelligence: Sequential Decisions Based On Algorithmic Probability

Universal Artificial Intelligence: Sequential Decisions Based On Algorithmic Probability

pdf

Author: Marcus Hutter
Language: English
Year: 2005

00

27.01.2024

0

0