Ergebnisse filtern
Fachgebiet
Medium
  • 86
  • 45
Erscheinungsjahr
  • 1
  • 2
  • 4
  • 5
  • 5
  • 4
  • 2
  • 18
  • 8
  • 4
  • 29
  • 2
  • 4
  • 8
  • 6
  • 12
  • 4
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 3
  • 3
  • 3
  • 9
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 13
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 1
  • 3
  • 3
  • 5
  • 3
  • 3
  • 2
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 5
  • 3
  • 3
  • 3
  • 1
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
Verlag
  • 95
  • 20
  • 15
  • 1
Preis
  • 119
  • 12
Sprachen
  • 131
Verfügbarkeit
  • 131
Katalog
  • 131
131  Treffer  für „Texts in Theoretical Computer Science. An EATCS Series“
    Fokkink | Modelling Distributed Systems | Buch | Sack Fachmedien

    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
    Merz / Kröger | Temporal Logic and State Systems | Buch | Sack Fachmedien

    Merz / Kröger 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
    Kröger / Merz | Temporal Logic and State Systems | eBook | Sack Fachmedien
    E-Book

    Kröger / Merz Temporal Logic and State Systems

    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68635-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    80,24 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Grohe / Flum | Parameterized Complexity Theory | Buch | Sack Fachmedien

    Grohe / Flum Parameterized Complexity Theory

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-06757-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Merz / Kröger | Temporal Logic and State Systems | Buch | Sack Fachmedien

    Merz / Kröger Temporal Logic and State Systems

    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67401-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ogihara / Hemaspaandra | The Complexity Theory Companion | Buch | Sack Fachmedien

    Ogihara / Hemaspaandra The Complexity Theory Companion

    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67419-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grohe / Flum | Parameterized Complexity Theory | Buch | Sack Fachmedien

    Grohe / Flum Parameterized Complexity Theory

    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29952-3
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garzon | Models of Massive Parallelism | Buch | Sack Fachmedien

    Garzon Models of Massive Parallelism

    Analysis of Cellular Automata and Neural Networks
    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-642-77907-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garzon | Models of Massive Parallelism | eBook | Sack Fachmedien
    E-Book

    Garzon Models of Massive Parallelism

    Analysis of Cellular Automata and Neural Networks
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-77905-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Badouel / Bernardinello / Darondeau | Petri Net Synthesis | eBook | Sack Fachmedien
    E-Book

    Badouel / Bernardinello / Darondeau Petri Net Synthesis

    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-47967-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    64,19 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Badouel / Darondeau / Bernardinello | Petri Net Synthesis | Buch | Sack Fachmedien

    Badouel / Darondeau / Bernardinello Petri Net Synthesis

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-51621-8
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Badouel / Darondeau / Bernardinello | Petri Net Synthesis | Buch | Sack Fachmedien

    Badouel / Darondeau / Bernardinello Petri Net Synthesis

    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-47966-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fomin / Kratsch | Exact Exponential Algorithms | eBook | Sack Fachmedien
    E-Book

    Fomin / Kratsch Exact Exponential Algorithms

    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16533-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hromkovic / Hromkovic | Communication Complexity and Parallel Computing | Buch | Sack Fachmedien

    Hromkovic / Hromkovic Communication Complexity and Parallel Computing

    1. Auflage. Softcover version of original hardcover Auflage 1997
    Verlag: Springer
    ISBN: 978-3-642-08185-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Libkin | Elements of Finite Model Theory | eBook | Sack Fachmedien
    E-Book

    Libkin Elements of Finite Model Theory

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-662-07003-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bjørner | Software Engineering 3 | Buch | Sack Fachmedien

    Bjørner Software Engineering 3

    Domains, Requirements, and Software Design
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21151-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic / Hromkovic | Communication Complexity and Parallel Computing | Buch | Sack Fachmedien

    Hromkovic / Hromkovic Communication Complexity and Parallel Computing

    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57459-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 1 | Buch | Sack Fachmedien

    Bjørner Software Engineering 1

    Abstraction and Modelling
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-21149-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter | Universal Artificial Intelligence | eBook | Sack Fachmedien
    E-Book

    Hutter Universal Artificial Intelligence

    Sequential Decisions Based on Algorithmic Probability
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26877-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Salomaa | Public-Key Cryptography | Buch | Sack Fachmedien

    Salomaa Public-Key Cryptography

    2. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-642-08254-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurki-Suonio | A Practical Theory of Reactive Systems | eBook | Sack Fachmedien
    E-Book

    Kurki-Suonio A Practical Theory of Reactive Systems

    Incremental Modeling of Dynamic Behaviors
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27348-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Schneider | Verification of Reactive Systems | eBook | Sack Fachmedien
    E-Book

    Schneider Verification of Reactive Systems

    Formal Methods and Algorithms
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-662-10778-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kluge | Abstract Computing Machines | Buch | Sack Fachmedien

    Kluge Abstract Computing Machines

    A Lambda Calculus Perspective
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-05938-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kratsch / Fomin | Exact Exponential Algorithms | Buch | Sack Fachmedien

    Kratsch / Fomin Exact Exponential Algorithms

    2010
    Verlag: Springer
    ISBN: 978-3-642-26566-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kratsch / Fomin | Exact Exponential Algorithms | Buch | Sack Fachmedien

    Kratsch / Fomin Exact Exponential Algorithms

    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16532-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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