Fachgebiet
Medium
  • 46
Erscheinungsjahr
  • 1
  • 1
  • 2
  • 20
  • 1
  • 2
  • 4
  • 5
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
Verlag
  • 42
  • 1
  • 3
Preis
  • 38
  • 8
Sprachen
  • 46
Verfügbarkeit
  • 46
Katalog
  • 46

Logik, formale Sprachen, Automaten

46  Treffer  für „Texts in Theoretical Computer Science. An EATCS Series“


    Hromkovic / Hromkovic / Klasing Dissemination of Information in Communication Networks

    Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-00846-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rothe Complexity Theory and Cryptology

    An Introduction to Cryptocomplexity
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-06054-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Weihrauch Computable Analysis

    An Introduction
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-66817-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hromkovic / Hromkovic / Klasing Dissemination of Information in Communication Networks

    Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-05648-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rothe Complexity Theory and Cryptology

    An Introduction to Cryptocomplexity
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-22147-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Grädel / Kolaitis / Libkin Finite Model Theory and Its Applications

    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-00428-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hromkovic / Hromkovic Algorithmics for Hard Problems

    Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
    2. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-07909-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Libkin Elements of Finite Model Theory

    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05948-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Libkin Elements of Finite Model Theory

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21202-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ronchi Della Rocca / Paolini The Parametric Lambda Calculus

    A Metamodel for Computation
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05746-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Grädel / Kolaitis / Libkin Finite Model Theory and Its Applications

    2007
    Verlag: Springer
    ISBN: 978-3-642-43860-8
    Medium: Buch
    80,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Vollmer Introduction to Circuit Complexity

    A Uniform Approach
    1. Auflage. Softcover version of original hardcover Auflage 1999
    Verlag: Springer
    ISBN: 978-3-642-08398-3
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Vollmer Introduction to Circuit Complexity

    A Uniform Approach
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-64310-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hromkovic Design and Analysis of Randomized Algorithms

    Introduction to Design Paradigms
    1. Auflage 2005
    Verlag: Springer Netherlands
    ISBN: 978-3-540-23949-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hromkovic Design and Analysis of Randomized Algorithms

    Introduction to Design Paradigms
    2005
    Verlag: Springer
    ISBN: 978-3-642-06300-8
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ronchi Della Rocca / Paolini The Parametric Lambda Calculus

    A Metamodel for Computation
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20032-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Flum / Grohe Parameterized Complexity Theory

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-06757-0
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bjørner Software Engineering 2

    Specification of Systems and Languages
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05940-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bjørner Software Engineering 2

    Specification of Systems and Languages
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-21150-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Drewes Grammatical Picture Generation

    A Tree-Based Approach
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21304-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kröger / Merz Temporal Logic and State Systems

    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-08680-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fokkink Modelling Distributed Systems

    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer
    ISBN: 978-3-642-09321-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bjørner Software Engineering 3

    Domains, Requirements, and Software Design
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-21151-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Drewes Grammatical Picture Generation

    A Tree-Based Approach
    2006
    Verlag: Springer
    ISBN: 978-3-642-43662-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Clote / Kranakis Boolean Functions and Computation Models

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer
    ISBN: 978-3-642-08217-7
    Medium: Buch
    80,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular