Ergebnisse filtern
Fachgebiet
Medium
  • 85
  • 42
Erscheinungsjahr
  • 1
  • 2
  • 4
  • 5
  • 4
  • 4
  • 2
  • 18
  • 8
  • 3
  • 28
  • 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
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 13
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 1
  • 3
  • 2
  • 4
  • 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
  • 4
  • 3
  • 3
  • 3
  • 1
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
Verlag
  • 97
  • 19
  • 9
  • 2
Preis
  • 116
  • 11
Sprachen
  • 127
Verfügbarkeit
  • 127
Katalog
  • 127
127  Treffer  für „Texts in Theoretical Computer Science. An EATCS Series“
    Fomin / Kratsch | Exact Exponential Algorithms | Buch | Sack Fachmedien

    Fomin / Kratsch Exact Exponential Algorithms

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-26566-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marchetti / Priami / Thanh | Simulation Algorithms for Computational Systems Biology | eBook | Sack Fachmedien
    E-Book

    Marchetti / Priami / Thanh Simulation Algorithms for Computational Systems Biology

    1. Auflage 2017
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-319-63113-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    60,98 € (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
    Schneider | Verification of Reactive Systems | eBook | Sack Fachmedien
    E-Book

    Schneider Verification of Reactive Systems

    Formal Methods and Algorithms
    2004
    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
    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
    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
    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
    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
    Roggenbach / Cerone / Schlingloff | Formal Methods for Software Engineering | eBook | Sack Fachmedien
    E-Book

    Roggenbach / Cerone / Schlingloff Formal Methods for Software Engineering

    Languages, Methods, Application Domains
    Erscheinungsjahr 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-38800-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hromkovic / Hromkovic | Communication Complexity and Parallel Computing | eBook | Sack Fachmedien
    E-Book

    Hromkovic / Hromkovic Communication Complexity and Parallel Computing

    1997
    Verlag: Springer
    ISBN: 978-3-662-03442-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    Balcazar / Gabarro / Diaz | Structural Complexity I | Buch | Sack Fachmedien

    Balcazar / Gabarro / Diaz 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. 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 / Salomaa / Rozenberg | DNA Computing | Buch | Sack Fachmedien

    Paun / Salomaa / Rozenberg DNA Computing

    New Computing Paradigms
    1998
    Verlag: Springer Berlin Heidelberg
    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

    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
    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 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
    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
    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
    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
    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
    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
    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

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