Fachgebiet
Medium
  • 77
Erscheinungsjahr
  • 1
  • 1
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 1
  • 2
  • 27
  • 2
  • 2
  • 4
  • 5
  • 4
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 2
  • 1
  • 2
  • 2
  • 6
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 4
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 76
  • 1
Preis
  • 69
  • 8
Sprachen
  • 77
Verfügbarkeit
  • 77
Katalog
  • 77
77  Treffer  für „Texts in Theoretical Computer Science. An EATCS Series“


    Marchetti / Priami / Thanh Simulation Algorithms for Computational Systems Biology

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-87476-0
    Medium: Buch
    60,98 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Sikkel Parsing Schemata

    A Framework for Specification and Analysis of Parsing Algorithms
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-64451-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Roggenbach / Cerone / Schlingloff Formal Methods for Software Engineering

    Languages, Methods, Application Domains
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-38802-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Ronchi Della Rocca / Paolini 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

    Ronchi Della Rocca / Paolini The Parametric Lambda Calculus

    A Metamodel for Computation
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20032-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Marchetti / Priami / Thanh Simulation Algorithms for Computational Systems Biology

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-63111-0
    Medium: Buch
    60,98 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gorrieri / Versari Introduction to Concurrency Theory

    Transition Systems and CCS
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21490-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bjørner Software Engineering 2

    Specification of Systems and Languages
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-21150-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Gorrieri / Versari Introduction to Concurrency Theory

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

    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

    Bruni / Montanari Models of Computation

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-42898-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bruni / Montanari Models of Computation

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-82689-9
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Badouel / Bernardinello / Darondeau Petri Net Synthesis

    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-47966-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kröger / Merz Temporal Logic and State Systems

    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-67401-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Flum / Grohe Parameterized Complexity Theory

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-06757-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Clote / Kranakis 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

    Clote / Kranakis Boolean Functions and Computation Models

    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-59436-9
    Medium: Buch
    80,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kröger / Merz Temporal Logic and State Systems

    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-08680-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bjørner Software Engineering 1

    Abstraction and Modelling
    1. Auflage Softcover of orig. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05939-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Flum / Grohe Parameterized Complexity Theory

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-29952-3
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hromkovic / Hromkovic Communication Complexity and Parallel Computing

    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-57459-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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