Ergebnisse filtern
Fachgebiet
Medium
  • 85
  • 6
Erscheinungsjahr
  • 1
  • 1
  • 4
  • 5
  • 4
  • 2
  • 2
  • 3
  • 4
  • 3
  • 28
  • 1
  • 2
  • 4
  • 4
  • 6
  • 4
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 2
  • 1
  • 3
  • 2
  • 2
  • 6
  • 3
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 88
  • 1
  • 2
Preis
  • 81
  • 10
Sprachen
  • 91
Verfügbarkeit
  • 91
Katalog
  • 91
91  Treffer  für „Texts in Theoretical Computer Science. An EATCS Series“
    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
    Hutter | Universal Artificial Intelligence | Buch | Sack Fachmedien

    Hutter Universal Artificial Intelligence

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

    Bertot / Castéran 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
    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
    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
    Hemaspaandra / Ogihara | The Complexity Theory Companion | Buch | Sack Fachmedien

    Hemaspaandra / Ogihara The Complexity Theory Companion

    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-67419-1
    Medium: Buch
    85,59 € (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
    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
    Paun / Rozenberg / Salomaa | DNA Computing | Buch | Sack Fachmedien

    Paun / Rozenberg / Salomaa DNA Computing

    New Computing Paradigms
    1998
    Verlag: Springer
    ISBN: 978-3-540-64196-4
    Medium: Buch
    90,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fokkink | Introduction to Process Algebra | Buch | Sack Fachmedien

    Fokkink Introduction to Process Algebra

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66579-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Balcazar / Diaz / Gabarro | Structural Complexity I | Buch | Sack Fachmedien

    Balcazar / Diaz / Gabarro Structural Complexity I

    2. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-642-79237-3
    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 2005
    Verlag: Springer
    ISBN: 978-3-540-23342-8
    Medium: Buch
    53,49 € (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 2003
    Verlag: Springer
    ISBN: 978-3-540-00296-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leitsch | The Resolution Calculus | Buch | Sack Fachmedien

    Leitsch The Resolution Calculus

    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-64473-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
    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

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