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 | Introduction to Process Algebra | Buch | Sack Fachmedien

    Fokkink Introduction to Process Algebra

    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66579-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kluge | Abstract Computing Machines | eBook | Sack Fachmedien
    E-Book

    Kluge Abstract Computing Machines

    A Lambda Calculus Perspective
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27359-2
    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
    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
    Bjørner | Software Engineering 3 | eBook | Sack Fachmedien
    E-Book

    Bjørner Software Engineering 3

    Domains, Requirements, and Software Design
    1. Auflage 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
    Bjørner | Software Engineering 1 | eBook | Sack Fachmedien
    E-Book

    Bjørner Software Engineering 1

    Abstraction and Modelling
    1. Auflage 2007
    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
    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
    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
    Fokkink | Introduction to Process Algebra | eBook | Sack Fachmedien
    E-Book

    Fokkink Introduction to Process Algebra

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-662-04293-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    Erscheinungsjahr 2013
    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
    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
    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
    Kluge | Abstract Computing Machines | Buch | Sack Fachmedien

    Kluge Abstract Computing Machines

    A Lambda-Calculus Perspective
    1. Auflage 2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-21146-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 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
    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
    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
    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
    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
    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
    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
    Leitsch | The Resolution Calculus | eBook | Sack Fachmedien
    E-Book

    Leitsch The Resolution Calculus

    Erscheinungsjahr 2012
    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
    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
    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
    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 / Salomaa / Rozenberg | DNA Computing | Buch | Sack Fachmedien

    Paun / Salomaa / Rozenberg 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
    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

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