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“
    Roggenbach / Cerone / Shaikh | Formal Methods for Software Engineering | Buch | Sack Fachmedien

    Roggenbach / Cerone / Shaikh Formal Methods for Software Engineering

    Languages, Methods, Application Domains
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-38799-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roggenbach / Cerone / Shaikh | Formal Methods for Software Engineering | Buch | Sack Fachmedien

    Roggenbach / Cerone / Shaikh Formal Methods for Software Engineering

    Languages, Methods, Application Domains
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-38802-7
    Medium: Buch
    58,84 € (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
    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 International Publishing
    ISBN: 978-3-319-63113-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    60,98 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hromkovic | Design and Analysis of Randomized Algorithms | Buch | Sack Fachmedien

    Hromkovic Design and Analysis of Randomized Algorithms

    Introduction to Design Paradigms
    2005
    Verlag: Springer
    ISBN: 978-3-642-06300-8
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paolini / Ronchi Della Rocca | The Parametric Lambda Calculus | Buch | Sack Fachmedien

    Paolini / Ronchi Della Rocca The Parametric Lambda Calculus

    A Metamodel for Computation
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05746-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic | Design and Analysis of Randomized Algorithms | Buch | Sack Fachmedien

    Hromkovic Design and Analysis of Randomized Algorithms

    Introduction to Design Paradigms
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-23949-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marchetti / Thanh / Priami | Simulation Algorithms for Computational Systems Biology | Buch | Sack Fachmedien

    Marchetti / Thanh / Priami Simulation Algorithms for Computational Systems Biology

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-87476-0
    Medium: Buch
    60,98 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paolini / Ronchi Della Rocca | The Parametric Lambda Calculus | Buch | Sack Fachmedien

    Paolini / Ronchi Della Rocca The Parametric Lambda Calculus

    A Metamodel for Computation
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20032-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 2 | Buch | Sack Fachmedien

    Bjørner Software Engineering 2

    Specification of Systems and Languages
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05940-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flum / Grohe | Parameterized Complexity Theory | eBook | Sack Fachmedien
    E-Book

    Flum / Grohe Parameterized Complexity Theory

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-29953-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Drewes | Grammatical Picture Generation | Buch | Sack Fachmedien

    Drewes Grammatical Picture Generation

    A Tree-Based Approach
    2006
    Verlag: Springer
    ISBN: 978-3-642-43662-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ogihara / Hemaspaandra | The Complexity Theory Companion | Buch | Sack Fachmedien

    Ogihara / Hemaspaandra The Complexity Theory Companion

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer
    ISBN: 978-3-642-08684-7
    Medium: Buch
    60,98 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fokkink | Modelling Distributed Systems | eBook | Sack Fachmedien
    E-Book

    Fokkink Modelling Distributed Systems

    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-73938-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bjørner | Software Engineering 2 | eBook | Sack Fachmedien
    E-Book

    Bjørner Software Engineering 2

    Specification of Systems and Languages
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-33193-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bjørner | Software Engineering 2 | Buch | Sack Fachmedien

    Bjørner Software Engineering 2

    Specification of Systems and Languages
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21150-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montanari / Bruni | Models of Computation | Buch | Sack Fachmedien

    Montanari / Bruni Models of Computation

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-82689-9
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Versari / Gorrieri | Introduction to Concurrency Theory | Buch | Sack Fachmedien

    Versari / Gorrieri Introduction to Concurrency Theory

    Transition Systems and CCS
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21490-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorrieri / Versari | Introduction to Concurrency Theory | eBook | Sack Fachmedien
    E-Book

    Gorrieri / Versari Introduction to Concurrency Theory

    Transition Systems and CCS
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21491-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Versari / Gorrieri | Introduction to Concurrency Theory | Buch | Sack Fachmedien

    Versari / Gorrieri Introduction to Concurrency Theory

    Transition Systems and CCS
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-36638-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drewes | Grammatical Picture Generation | Buch | Sack Fachmedien

    Drewes Grammatical Picture Generation

    A Tree-Based Approach
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21304-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salomaa | Public-Key Cryptography | eBook | Sack Fachmedien
    E-Book

    Salomaa Public-Key Cryptography

    2. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-662-03269-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bruni / Montanari | Models of Computation | eBook | Sack Fachmedien
    E-Book

    Bruni / Montanari Models of Computation

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-42900-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    64,19 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Montanari / Bruni | Models of Computation | Buch | Sack Fachmedien

    Montanari / Bruni Models of Computation

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-42898-7
    Medium: Buch
    64,19 € (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

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