Ergebnisse filtern
Fachgebiet
Medium
  • 94
  • 61
Erscheinungsjahr
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 4
  • 3
  • 4
  • 3
  • 16
  • 40
  • 29
  • 15
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 3
  • 3
  • 3
  • 1
  • 5
  • 3
  • 1
  • 6
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 11
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 1
  • 4
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 8
  • 6
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 1
  • 1
  • 5
  • 3
  • 6
  • 3
  • 2
  • 1
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 3
  • 3
  • 1
  • 3
  • 2
  • 6
  • 6
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
Verlag
  • 123
  • 17
  • 11
  • 2
  • 1
  • 1
Preis
  • 78
  • 77
Sprachen
  • 155
Verfügbarkeit
  • 155
Katalog
  • 155
  • 4
155  Treffer  für „Monographs in Theoretical Computer Science. An EATCS Series“
    Mehlhorn | Data Structures and Algorithms 2 | Buch | Sack Fachmedien

    Mehlhorn Data Structures and Algorithms 2

    Graph Algorithms and NP-Completeness
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-69899-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middelburg / Baeten | Process Algebra with Timing | Buch | Sack Fachmedien

    Middelburg / Baeten Process Algebra with Timing

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer
    ISBN: 978-3-642-07788-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tarlecki / Sannella | Foundations of Algebraic Specification and Formal Software Development | Buch | Sack Fachmedien

    Tarlecki / Sannella Foundations of Algebraic Specification and Formal Software Development

    2012
    Verlag: Springer
    ISBN: 978-3-642-44065-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sannella / Tarlecki | Foundations of Algebraic Specification and Formal Software Development | eBook | Sack Fachmedien
    E-Book

    Sannella / Tarlecki Foundations of Algebraic Specification and Formal Software Development

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-17336-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fülöp / Vogler | Syntax-Directed Semantics | Buch | Sack Fachmedien

    Fülöp / Vogler Syntax-Directed Semantics

    Formal Models Based on Tree Transducers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-72250-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heljanko / Esparza | Unfoldings | Buch | Sack Fachmedien

    Heljanko / Esparza Unfoldings

    A Partial-Order Approach to Model Checking
    Softcover Nachdruck of hardcover 1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-09605-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morita | Theory of Reversible Computing | Buch | Sack Fachmedien

    Morita Theory of Reversible Computing

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer Japan
    ISBN: 978-4-431-56832-2
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paredaens / De Bra / Gyssens | The Structure of the Relational Database Model | Buch | Sack Fachmedien

    Paredaens / De Bra / Gyssens The Structure of the Relational Database Model

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-69958-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mehlhorn | Data Structures and Algorithms 3 | Buch | Sack Fachmedien

    Mehlhorn Data Structures and Algorithms 3

    Multi-dimensional Searching and Computational Geometry
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-69902-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Paredaens / De Bra / Gyssens | The Structure of the Relational Database Model | eBook | Sack Fachmedien
    E-Book

    Paredaens / De Bra / Gyssens The Structure of the Relational Database Model

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-69956-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Janicki / Lauer | Specification and Analysis of Concurrent Systems | eBook | Sack Fachmedien
    E-Book

    Janicki / Lauer Specification and Analysis of Concurrent Systems

    The COSY Approach
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-77337-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Esparza / Heljanko | Unfoldings | eBook | Sack Fachmedien
    E-Book

    Esparza / Heljanko Unfoldings

    A Partial-Order Approach to Model Checking
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-77426-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Orlowska / Demri | Incomplete Information: Structure, Inference, Complexity | Buch | Sack Fachmedien

    Orlowska / Demri Incomplete Information: Structure, Inference, Complexity

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer
    ISBN: 978-3-642-07540-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weihrauch | Computability | Buch | Sack Fachmedien

    Weihrauch Computability

    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-69967-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Janicki / Lauer | Specification and Analysis of Concurrent Systems | Buch | Sack Fachmedien

    Janicki / Lauer Specification and Analysis of Concurrent Systems

    The COSY Approach
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-77339-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Soisalon-Soininen / Sippu | Parsing Theory | Buch | Sack Fachmedien

    Soisalon-Soininen / Sippu Parsing Theory

    Volume I Languages and Parsing
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-13720-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kröger | Temporal Logic of Programs | Buch | Sack Fachmedien

    Kröger Temporal Logic of Programs

    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-71551-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Soisalon-Soininen / Sippu | Parsing Theory | Buch | Sack Fachmedien

    Soisalon-Soininen / Sippu Parsing Theory

    Volume II LR(k) and LL(k) Parsing
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51732-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hansen / Zhou | Duration Calculus | Buch | Sack Fachmedien

    Hansen / Zhou Duration Calculus

    A Formal Approach to Real-Time Systems
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40823-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tofte | Compiler Generators | Buch | Sack Fachmedien

    Tofte Compiler Generators

    What They Can Do, What They Might Do, and What They Will Probably Never Do
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51471-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middelburg / Baeten | Process Algebra with Timing | Buch | Sack Fachmedien

    Middelburg / Baeten Process Algebra with Timing

    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43447-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Henson / Bjorner | Logics of Specification Languages | eBook | Sack Fachmedien
    E-Book

    Bjørner / Henson / Bjorner Logics of Specification Languages

    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74107-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Balcazar / Diaz / Gabarro | Structural Complexity II | eBook | Sack Fachmedien
    E-Book

    Balcazar / Diaz / Gabarro Structural Complexity II

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-75357-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    106,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Große-Rhode | Semantic Integration of Heterogeneous Software Specifications | eBook | Sack Fachmedien
    E-Book

    Große-Rhode Semantic Integration of Heterogeneous Software Specifications

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-662-09853-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gecseg | Products of Automata | eBook | Sack Fachmedien
    E-Book

    Gecseg Products of Automata

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-61611-2
    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