Ergebnisse filtern
Fachgebiet
Medium
  • 85
  • 45
Erscheinungsjahr
  • 1
  • 2
  • 4
  • 5
  • 5
  • 4
  • 2
  • 18
  • 8
  • 4
  • 29
  • 2
  • 4
  • 8
  • 6
  • 11
  • 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
  • 2
  • 3
  • 3
  • 2
  • 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
  • 97
  • 20
  • 13
Preis
  • 119
  • 11
Sprachen
  • 130
Verfügbarkeit
  • 130
Katalog
  • 130
130  Treffer  für „Texts in Theoretical Computer Science. An EATCS Series“
    Bjørner | Software Engineering 1 | eBook | Sack Fachmedien
    E-Book

    Bjørner Software Engineering 1

    Abstraction and Modelling
    2006
    Verlag: Springer
    ISBN: 978-3-540-31288-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    90,94 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Clote / Kranakis | Boolean Functions and Computation Models | Buch | Sack Fachmedien

    Clote / Kranakis Boolean Functions and Computation Models

    2002
    Verlag: Springer
    ISBN: 978-3-540-59436-9
    Medium: Buch
    80,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kranakis / Clote | Boolean Functions and Computation Models | Buch | Sack Fachmedien

    Kranakis / Clote 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
    Bjørner | Software Engineering 1 | Buch | Sack Fachmedien

    Bjørner Software Engineering 1

    Abstraction and Modelling
    Softcover Nachdruck of hardcover 1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05939-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salomaa | Public-Key Cryptography | Buch | Sack Fachmedien

    Salomaa Public-Key Cryptography

    2. enlarged Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61356-5
    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
    1995
    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
    Kurki-Suonio | A Practical Theory of Reactive Systems | Buch | Sack Fachmedien

    Kurki-Suonio A Practical Theory of Reactive Systems

    Incremental Modeling of Dynamic Behaviors
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23342-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic / Hromkovic | Algorithmics for Hard Problems | eBook | Sack Fachmedien
    E-Book

    Hromkovic / Hromkovic Algorithmics for Hard Problems

    Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
    2001
    Verlag: Springer
    ISBN: 978-3-662-04616-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hutter | Universal Artificial Intelligence | Buch | Sack Fachmedien

    Hutter Universal Artificial Intelligence

    Sequential Decisions Based on Algorithmic Probability
    2005
    Verlag: Springer
    ISBN: 978-3-540-22139-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castéran / Bertot | Interactive Theorem Proving and Program Development | Buch | Sack Fachmedien

    Castéran / Bertot Interactive Theorem Proving and Program Development

    Coq'Art: The Calculus of Inductive Constructions
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05880-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castéran / Bertot | Interactive Theorem Proving and Program Development | Buch | Sack Fachmedien

    Castéran / Bertot Interactive Theorem Proving and Program Development

    Coq'Art: The Calculus of Inductive Constructions
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20854-9
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 3 | eBook | Sack Fachmedien
    E-Book

    Bjørner Software Engineering 3

    Domains, Requirements, and Software Design
    2006
    Verlag: Springer
    ISBN: 978-3-540-33653-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Balcazar / Diaz / Gabarro | Structural Complexity I | eBook | Sack Fachmedien
    E-Book

    Balcazar / Diaz / Gabarro Structural Complexity I

    2. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-642-79235-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Leitsch | The Resolution Calculus | eBook | Sack Fachmedien
    E-Book

    Leitsch The Resolution Calculus

    1997
    Verlag: Springer
    ISBN: 978-3-642-60605-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Leitsch | The Resolution Calculus | Buch | Sack Fachmedien

    Leitsch The Resolution Calculus

    Softcover Nachdruck of the original 1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-642-64473-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paun / Rozenberg / Salomaa | DNA Computing | Buch | Sack Fachmedien

    Paun / Rozenberg / Salomaa DNA Computing

    New Computing Paradigms
    1. ed 1998. Corr. 2. printing. Softcover version of original hardcover Auflage 1998
    Verlag: Springer
    ISBN: 978-3-642-08388-4
    Medium: Buch
    90,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schneider | Verification of Reactive Systems | Buch | Sack Fachmedien

    Schneider Verification of Reactive Systems

    Formal Methods and Algorithms
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00296-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 3 | Buch | Sack Fachmedien

    Bjørner Software Engineering 3

    Domains, Requirements, and Software Design
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05941-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fokkink | Introduction to Process Algebra | Buch | Sack Fachmedien

    Fokkink Introduction to Process Algebra

    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer
    ISBN: 978-3-642-08584-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurki-Suonio | A Practical Theory of Reactive Systems | Buch | Sack Fachmedien

    Kurki-Suonio A Practical Theory of Reactive Systems

    Incremental Modeling of Dynamic Behaviors
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-06237-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertot / Castéran | Interactive Theorem Proving and Program Development | eBook | Sack Fachmedien
    E-Book

    Bertot / Castéran Interactive Theorem Proving and Program Development

    Coq’Art: The Calculus of Inductive Constructions
    2004
    Verlag: Springer
    ISBN: 978-3-662-07964-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Clote / Kranakis | Boolean Functions and Computation Models | eBook | Sack Fachmedien
    E-Book

    Clote / Kranakis Boolean Functions and Computation Models

    2002
    Verlag: Springer
    ISBN: 978-3-662-04943-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    78,10 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hutter | Universal Artificial Intelligence | Buch | Sack Fachmedien

    Hutter Universal Artificial Intelligence

    Sequential Decisions Based on Algorithmic Probability
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-06052-6
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schneider | Verification of Reactive Systems | Buch | Sack Fachmedien

    Schneider Verification of Reactive Systems

    Formal Methods and Algorithms
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05555-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paun / Rozenberg / Salomaa | DNA Computing | eBook | Sack Fachmedien
    E-Book

    Paun / Rozenberg / Salomaa DNA Computing

    New Computing Paradigms
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-662-03563-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    88,80 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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