Ergebnisse filtern
Fachgebiet
Medium
  • 22
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 4
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
Verlag
  • 20
  • 1
  • 1
Preis
  • 5
  • 17
Sprachen
  • 22
Verfügbarkeit
  • 22
Katalog
  • 22

Software Engineering

22  Treffer  für „Monographs in Theoretical Computer Science. An EATCS Series“
    Wechler | Universal Algebra for Computer Scientists | Buch | Sack Fachmedien

    Wechler Universal Algebra for Computer Scientists

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-76773-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Domain Science and Engineering | Buch | Sack Fachmedien

    Bjørner Domain Science and Engineering

    A Foundation for Software Development
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-73486-2
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Domain Science and Engineering | Buch | Sack Fachmedien

    Bjørner Domain Science and Engineering

    A Foundation for Software Development
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-73483-1
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorrieri | Process Algebras for Petri Nets | Buch | Sack Fachmedien

    Gorrieri Process Algebras for Petri Nets

    The Alphabetization of Distributed Systems
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-55558-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorrieri | Process Algebras for Petri Nets | Buch | Sack Fachmedien

    Gorrieri Process Algebras for Petri Nets

    The Alphabetization of Distributed Systems
    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-85694-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Ermel / Golas | Graph and Model Transformation | Buch | Sack Fachmedien

    Ehrig / Ermel / Golas Graph and Model Transformation

    General Framework and Applications
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-56910-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gergely / Ury | First-Order Programming Theories | Buch | Sack Fachmedien

    Gergely / Ury First-Order Programming Theories

    Erscheinungsjahr 2012
    Verlag: Springer
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Ermel / Golas | Graph and Model Transformation | Buch | Sack Fachmedien

    Ehrig / Ermel / Golas Graph and Model Transformation

    General Framework and Applications
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-47979-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen | Coloured Petri Nets | Buch | Sack Fachmedien

    Jensen Coloured Petri Nets

    Basic Concepts, Analysis Methods and Practical Use. Volume 1
    2. Auflage 1996
    Verlag: Springer Netherlands
    ISBN: 978-3-540-60943-8
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen | Coloured Petri Nets | Buch | Sack Fachmedien

    Jensen Coloured Petri Nets

    Basic Concepts, Analysis Methods and Practical Use. Volume 2
    1995
    Verlag: Springer
    ISBN: 978-3-540-58276-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen | Coloured Petri Nets | Buch | Sack Fachmedien

    Jensen Coloured Petri Nets

    Basic Concepts, Analysis Methods and Practical Use. Volume 2
    1. Auflage 1995. 2. corr. printing. Softcover version of original hardcover Auflage 1995
    Verlag: Springer
    ISBN: 978-3-642-08200-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen | Coloured Petri Nets | Buch | Sack Fachmedien

    Jensen Coloured Petri Nets

    Basic Concepts, Analysis Methods and Practical Use. Volume 1
    2. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-642-08243-6
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sippu / Soisalon-Soininen | Parsing Theory | Buch | Sack Fachmedien

    Sippu / Soisalon-Soininen Parsing Theory

    Volume I Languages and Parsing
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-64801-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sannella / Tarlecki | Foundations of Algebraic Specification and Formal Software Development | Buch | Sack Fachmedien

    Sannella / Tarlecki Foundations of Algebraic Specification and Formal Software Development

    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-17335-6
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sannella / Tarlecki | Foundations of Algebraic Specification and Formal Software Development | Buch | Sack Fachmedien

    Sannella / Tarlecki Foundations of Algebraic Specification and Formal Software Development

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-44065-6
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Middelburg | Process Algebra with Timing | Buch | Sack Fachmedien

    Baeten / Middelburg 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
    Baeten / Middelburg | Process Algebra with Timing | Buch | Sack Fachmedien

    Baeten / Middelburg Process Algebra with Timing

    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43447-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Große-Rhode | Semantic Integration of Heterogeneous Software Specifications | Buch | Sack Fachmedien

    Große-Rhode Semantic Integration of Heterogeneous Software Specifications

    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-07306-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Henson | Logics of Specification Languages | Buch | Sack Fachmedien

    Bjørner / Henson Logics of Specification Languages

    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74106-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Große-Rhode | Semantic Integration of Heterogeneous Software Specifications | Buch | Sack Fachmedien

    Große-Rhode Semantic Integration of Heterogeneous Software Specifications

    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40257-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Henson | Logics of Specification Languages | Buch | Sack Fachmedien

    Bjørner / Henson Logics of Specification Languages

    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-09345-6
    Medium: Buch
    160,49 € (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
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-51471-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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