search result

Cover von Elements of finite model theory
Author: Libkin, Leonid Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von The parametric lambda calculus
a metamodel for computation
Author: Ronchi della Rocca, Simona; Paolini, Paolo Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Verification of reactive systems
formal methods and algorithms
Author: Schneider, Klaus Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Algorithmics for hard problems
introduction to combinatorial optimization, randomization, approximation, and heuristics
Author: Hromkovic, Juraj Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Theory of semi-feasible algorithms
Author: Hemaspaandra, Lane A.; Torenvliet, Leen Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Boolean functions and computation models
Author: Clote, Peter G.; Kranakis, Evangelos Search for this author
Year: 2002
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Information and randomness
an algorithmic perspective
Author: Calude, Cristian S. Search for this author
Year: 2002
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von The complexity theory companion
Author: Hemaspaandra, Lane A.; Ogihara, Mitsunori Search for this author
Year: 2002
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Computable analysis
an introduction
Author: Weihrauch, Klaus Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
OPEN V 11.1.0.0