Ergebnisse filtern
Fachgebiet
Medium
  • 608
  • 27
  • 4
  • 1
Erscheinungsjahr
  • 1
  • 8
  • 9
  • 6
  • 11
  • 20
  • 11
  • 17
  • 36
  • 18
  • 71
  • 66
  • 96
  • 97
  • 65
  • 11
  • 24
  • 6
  • 6
  • 6
  • 5
  • 5
  • 6
  • 6
  • 4
  • 6
  • 3
  • 2
  • 6
  • 1
  • 1
  • 3
  • 1
  • 1
Autoren
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 9
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 7
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 7
  • 3
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 3
  • 2
  • 4
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 5
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 11
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 6
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 8
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 3
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 2
  • 10
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
Verlag
  • 1
  • 17
  • 1
  • 3
  • 1
  • 15
  • 5
  • 19
  • 3
  • 2
  • 12
  • 2
  • 3
  • 8
  • 5
  • 2
  • 7
  • 2
  • 6
  • 10
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 353
  • 7
  • 2
  • 65
  • 1
  • 2
  • 1
  • 1
  • 4
  • 8
  • 4
  • 1
  • 1
  • 4
  • 3
  • 1
  • 1
  • 13
  • 24
  • 1
  • 1
  • 2
  • 2
Preis
  • 13
  • 111
  • 342
  • 174
Sprachen
  • 546
  • 97
Verfügbarkeit
  • 631
  • 9
Katalog
  • 640
  • 76
640  Titel
    Hammoudi / das Neves / Pires | Model-Driven Engineering and Software Development | Buch | Sack Fachmedien

    Hammoudi / das Neves / Pires Model-Driven Engineering and Software Development

    Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-25155-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blanchette / Kosmatov | Tests and Proofs | Buch | Sack Fachmedien

    Blanchette / Kosmatov Tests and Proofs

    9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-21214-2
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baker / Dai / Williams | Model-Driven Testing | Buch | Sack Fachmedien

    Baker / Dai / Williams Model-Driven Testing

    Using the UML Testing Profile
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-72562-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boiten / Derrick | Refinement | Buch | Sack Fachmedien

    Boiten / Derrick Refinement

    Semantics, Languages and Applications
    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-06497-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreira / Rashid / Chitchyan | Aspect-Oriented Requirements Engineering | Buch | Sack Fachmedien

    Moreira / Rashid / Chitchyan Aspect-Oriented Requirements Engineering

    2013
    Verlag: Springer
    ISBN: 978-3-642-38639-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky / Artho | Formal Techniques for Safety-Critical Systems | Buch | Sack Fachmedien

    Ölveczky / Artho Formal Techniques for Safety-Critical Systems

    4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-29509-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brézillon / Blackburn / Dapoigny | Modeling and Using Context | Buch | Sack Fachmedien

    Brézillon / Blackburn / Dapoigny Modeling and Using Context

    8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40971-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Braun / Greiffenberg / Esswein | Einführung in die Programmierung | Buch | Sack Fachmedien

    Braun / Greiffenberg / Esswein Einführung in die Programmierung

    Grundlagen, Java, UML
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-32855-1
    Medium: Buch
    34,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nakajima / Yu / Talpin | Cyber-Physical System Design from an Architecture Analysis Viewpoint | Buch | Sack Fachmedien

    Nakajima / Yu / Talpin Cyber-Physical System Design from an Architecture Analysis Viewpoint

    Communications of NII Shonan Meetings
    1. Auflage 2017
    Verlag: Springer Nature Singapore
    ISBN: 978-981-10-4435-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duan / Ong | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Duan / Ong Formal Methods and Software Engineering

    19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68689-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Verification | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Verification

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03420-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krishnan / Malathi | Recent Advancements in System Modelling Applications | Buch | Sack Fachmedien

    Krishnan / Malathi Recent Advancements in System Modelling Applications

    Proceedings of National Systems Conference 2012
    2013
    Verlag: Springer India
    ISBN: 978-81-322-1720-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oellermann | Architecting Web Services | Buch | Sack Fachmedien

    Oellermann Architecting Web Services

    Models, Designs, and Solutions
    Softcover Nachdruck of the Original 1. Auflage 2001
    Verlag: Apress
    ISBN: 978-1-893115-58-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Sun Formal Methods and Software Engineering

    20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-02449-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koycheva | Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen | Buch | Sack Fachmedien

    Koycheva Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen

    1. Auflage 2013
    Verlag: De Gruyter
    ISBN: 978-3-486-71526-2
    Medium: Buch
    94,95 € (inkl. MwSt.)
    List Price
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oberle | Semantic Management of Middleware | Buch | Sack Fachmedien

    Oberle Semantic Management of Middleware

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer US
    ISBN: 978-1-4419-3905-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baixeries / Sacarea / Ojeda-Aciego | Formal Concept Analysis | Buch | Sack Fachmedien

    Baixeries / Sacarea / Ojeda-Aciego Formal Concept Analysis

    13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-19544-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreira / Rashid / Chitchyan | Aspect-Oriented Requirements Engineering | Buch | Sack Fachmedien

    Moreira / Rashid / Chitchyan Aspect-Oriented Requirements Engineering

    Softcover Nachdruck of the original 1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-662-52153-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blatnik / Carey | Design Concepts with Code | Buch | Sack Fachmedien

    Blatnik / Carey Design Concepts with Code

    An Approach for Developers
    Softcover Nachdruck of the Original 1. Auflage 2003
    Verlag: Apress
    ISBN: 978-1-59059-111-6
    Medium: Buch
    36,37 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dingel / Schulte / Ramos | Model-Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Dingel / Schulte / Ramos Model-Driven Engineering Languages and Systems

    17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11652-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhan / Wang / Zhao | Formal Verification of Simulink/Stateflow Diagrams | Buch | Sack Fachmedien

    Zhan / Wang / Zhao Formal Verification of Simulink/Stateflow Diagrams

    A Deductive Approach
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-47014-6
    Medium: Buch
    123,04 € (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
    Castano / Vassiliadis / Lakshmanan | Advances in Conceptual Modeling | Buch | Sack Fachmedien

    Castano / Vassiliadis / Lakshmanan Advances in Conceptual Modeling

    ER 2012 Workshops CMS, ECDM-NoCoDA, MODIC, MORE-BI, RIGIM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33998-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gaševic / Djuric / Devedžic | Model Driven Engineering and Ontology Development | Buch | Sack Fachmedien

    Gaševic / Djuric / Devedžic Model Driven Engineering and Ontology Development

    Softcover Nachdruck of hardcover 2. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-10134-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tian / Sebe / Qi | MultiMedia Modeling | Buch | Sack Fachmedien

    Tian / Sebe / Qi MultiMedia Modeling

    22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-27670-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Engels / Kreowski | Graph Transformation | Buch | Sack Fachmedien

    Ehrig / Engels / Kreowski Graph Transformation

    6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33653-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amine / Otmane / Bellatreche | Modeling Approaches and Algorithms for Advanced Computer Applications | Buch | Sack Fachmedien

    Amine / Otmane / Bellatreche Modeling Approaches and Algorithms for Advanced Computer Applications

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-319-00559-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Platzer / Wehrheim | Correct System Design | Buch | Sack Fachmedien

    Meyer / Platzer / Wehrheim Correct System Design

    Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23505-9
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xiao / Ma / Zhang | System Simulation and Scientific Computing, Part II | Buch | Sack Fachmedien

    Xiao / Ma / Zhang System Simulation and Scientific Computing, Part II

    International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
    2012
    Verlag: Springer
    ISBN: 978-3-642-34395-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mukund / Chakraborty | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Mukund / Chakraborty Automated Technology for Verification and Analysis

    10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33385-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro / Liu / Xue | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Fiadeiro / Liu / Xue Formal Aspects of Component Software

    10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
    2014
    Verlag: Springer
    ISBN: 978-3-319-07601-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parashar / Kaushik / Rana | Contemporary Computing | Buch | Sack Fachmedien

    Parashar / Kaushik / Rana Contemporary Computing

    5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-32128-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diaconescu / Wagner | Web Applications with Javascript or Java | Buch | Sack Fachmedien

    Diaconescu / Wagner Web Applications with Javascript or Java

    Volume 2: Associations and Class Hierarchies
    1. Auflage 2021
    Verlag: De Gruyter
    ISBN: 978-3-11-050024-0
    Medium: Buch
    64,95 € (inkl. MwSt.)
    RRP
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fayad / Sanchez / Hegde | Software Patterns, Knowledge Maps, and Domain Analysis | eBook | Sack Fachmedien
    E-Book

    Fayad / Sanchez / Hegde Software Patterns, Knowledge Maps, and Domain Analysis

    Erscheinungsjahr 2014
    Verlag: Taylor & Francis
    ISBN: 978-1-4665-7144-0
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    58,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Shan | Programming Languages and Systems | Buch | Sack Fachmedien

    Shan Programming Languages and Systems

    11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03541-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arbab / Ölveczky | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Arbab / Ölveczky Formal Aspects of Component Software

    8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35742-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim / Ramos / Abawajy | Computer Applications for Modeling, Simulation, and Automobile | Buch | Sack Fachmedien

    Kim / Ramos / Abawajy Computer Applications for Modeling, Simulation, and Automobile

    International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-35247-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boiten / Derrick | Refinement in Z and Object-Z | Buch | Sack Fachmedien

    Boiten / Derrick Refinement in Z and Object-Z

    Foundations and Advanced Applications
    Softcover Nachdruck of the original 2. Auflage 2014
    Verlag: Springer
    ISBN: 978-1-4471-6167-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Menzel / Fraunhofer IESE, Kaiserslautern / Rombach | Optimizing the Completeness of Textual Requirements Documents in Practice | Buch | Sack Fachmedien

    Menzel / Fraunhofer IESE, Kaiserslautern / Rombach Optimizing the Completeness of Textual Requirements Documents in Practice

    Erscheinungsjahr 2013
    Verlag: Fraunhofer Verlag
    ISBN: 978-3-8396-0510-3
    Medium: Buch
    49,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guo / Fraunhofer IESE, Kaiserslautern | Safe Requirements Engineering: A Scenario-based Approach for Identifying Complete Safety-oriented Requirements | Buch | Sack Fachmedien

    Guo / Fraunhofer IESE, Kaiserslautern Safe Requirements Engineering: A Scenario-based Approach for Identifying Complete Safety-oriented Requirements

    Erscheinungsjahr 2015
    Verlag: Fraunhofer Verlag
    ISBN: 978-3-8396-0875-3
    Medium: Buch
    47,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Toth | Vorgehensmuster für Softwarearchitektur | eBook | Sack Fachmedien
    E-Book

    Toth Vorgehensmuster für Softwarearchitektur

    Kombinierbare Praktiken in Zeiten von Agile und Lean
    1. Auflage 2014
    Verlag: Carl Hanser
    ISBN: 978-3-446-44315-0
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    27,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Samek | Practical UML Statecharts in C/C++ | eBook | Sack Fachmedien
    E-Book

    Samek Practical UML Statecharts in C/C++

    Event-Driven Programming for Embedded Systems
    2. Auflage 2008
    Verlag: Taylor & Francis
    ISBN: 978-1-4822-4926-2
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    74,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Drechsler | Formal System Verification | Buch | Sack Fachmedien

    Drechsler Formal System Verification

    State-of the-Art and Future Trends
    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-86223-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tian / Nagoya / Liu | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Tian / Nagoya / Liu Structured Object-Oriented Formal Language and Method

    7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-90103-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gebali | Analysis of Computer Networks | Buch | Sack Fachmedien

    Gebali Analysis of Computer Networks

    Softcover Nachdruck of the original 2. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-33091-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taentzer / Bordeleau | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Taentzer / Bordeleau Modelling Foundations and Applications

    11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-21150-3
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bibel / Fiedler / Grass | Ausgezeichnete Informatikdissertationen 1996 | Buch | Sack Fachmedien

    Bibel / Fiedler / Grass Ausgezeichnete Informatikdissertationen 1996

    Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß
    1998
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02646-4
    Medium: Buch
    49,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garrido | Object-Oriented Discrete-Event Simulation with Java | Buch | Sack Fachmedien

    Garrido Object-Oriented Discrete-Event Simulation with Java

    A Practical Introduction
    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer US
    ISBN: 978-1-4613-5495-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen / Rybalchenko | Verified Software: Theorie, Tools, Experiments | Buch | Sack Fachmedien

    Cohen / Rybalchenko Verified Software: Theorie, Tools, Experiments

    5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54107-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / De Nicola / Hillston | Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | Buch | Sack Fachmedien

    Bernardo / De Nicola / Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

    16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-34095-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehlmann | Object Relationship Notation (ORN) for Database Applications | Buch | Sack Fachmedien

    Ehlmann Object Relationship Notation (ORN) for Database Applications

    Enhancing the Modeling and Implementation of Associations
    Softcover Nachdruck of hardcover 1. Auflage 2009
    Verlag: Springer US
    ISBN: 978-1-4419-3493-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hierons / Merayo / Bravetti | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Hierons / Merayo / Bravetti Software Engineering and Formal Methods

    11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40560-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidl / Scholz / Huemer | UML @ Classroom | Buch | Sack Fachmedien

    Seidl / Scholz / Huemer UML @ Classroom

    An Introduction to Object-Oriented Modeling
    2015
    Verlag: Springer
    ISBN: 978-3-319-12741-5
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ries | BOINC | Buch | Sack Fachmedien

    Ries BOINC

    Hochleistungsrechnen mit Berkeley Open Infrastructure for Network Computing
    2012
    Verlag: Springer
    ISBN: 978-3-642-23382-1
    Medium: Buch
    66,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wecker | Prozessorentwurf mit Verilog HDL | Buch | Sack Fachmedien

    Wecker Prozessorentwurf mit Verilog HDL

    Modellierung und Synthese von Prozessormodellen
    1. Auflage 2021
    Verlag: De Gruyter
    ISBN: 978-3-11-071782-2
    Medium: Buch
    59,95 € (inkl. MwSt.)
    List Price
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roubtsova / McNeile / Kindler | Behavior Modeling -- Foundations and Applications | Buch | Sack Fachmedien

    Roubtsova / McNeile / Kindler Behavior Modeling -- Foundations and Applications

    International Workshops, BM-FA 2009-2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21911-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bae / Ölveczky | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Bae / Ölveczky Formal Aspects of Component Software

    15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-02145-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furia / Winter | Integrated Formal Methods | Buch | Sack Fachmedien

    Furia / Winter Integrated Formal Methods

    14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-98937-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brat / Rungta / Venet | NASA Formal Methods | Buch | Sack Fachmedien

    Brat / Rungta / Venet NASA Formal Methods

    5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38087-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giachino / Hähnle / de Boer | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Giachino / Hähnle / de Boer Formal Methods for Components and Objects

    11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40614-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Formale Semantik eines erweiterten Entity-Relationship-Modells | Buch | Sack Fachmedien

    Formale Semantik eines erweiterten Entity-Relationship-Modells

    1993
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-8154-2052-2
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boniol / Schewe / Wiels | ABZ 2014: The Landing Gear Case Study | Buch | Sack Fachmedien

    Boniol / Schewe / Wiels ABZ 2014: The Landing Gear Case Study

    Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07511-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Swiatek / Swiatek / Tomczak | Advances in Systems Science | Buch | Sack Fachmedien

    Swiatek / Swiatek / Tomczak Advances in Systems Science

    Proceedings of the International Conference on Systems Science 2013 (ICSS 2013)
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-01856-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Duan | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Liu / Duan Structured Object-Oriented Formal Language and Method

    5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-31219-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Donnellan / Helfert | Design Science: Perspectives from Europe | Buch | Sack Fachmedien

    Donnellan / Helfert Design Science: Perspectives from Europe

    European Design Science Symposium EDSS 2012, Leixlip, Ireland, December 6, 2012Revised Selected Papers
    2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-04089-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Veanes / Vigano | Tests and Proofs | Buch | Sack Fachmedien

    Veanes / Vigano Tests and Proofs

    7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38915-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groves / Sun | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Groves / Sun Formal Methods and Software Engineering

    15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41201-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuesta / Garlan / Pérez | Software Architecture | Buch | Sack Fachmedien

    Cuesta / Garlan / Pérez Software Architecture

    12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00760-7
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henderson-Sellers / Ralyté / Ågerfalk | Situational Method Engineering | Buch | Sack Fachmedien

    Henderson-Sellers / Ralyté / Ågerfalk Situational Method Engineering

    2014
    Verlag: Springer
    ISBN: 978-3-642-41466-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doerr / Opdahl | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    Doerr / Opdahl Requirements Engineering: Foundation for Software Quality

    19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37421-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Periyasamy / Alagar | Specification of Software Systems | Buch | Sack Fachmedien

    Periyasamy / Alagar Specification of Software Systems

    2. Auflage 2011
    Verlag: Springer
    ISBN: 978-1-4471-2644-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petry / Yazici | Uncertainty Approaches for Spatial Data Modeling and Processing | Buch | Sack Fachmedien

    Petry / Yazici Uncertainty Approaches for Spatial Data Modeling and Processing

    A decision support perspective
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-26252-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oquendo / Leite / Batista | Software Architecture in Action | Buch | Sack Fachmedien

    Oquendo / Leite / Batista Software Architecture in Action

    Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-44337-9
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerny / Korchemny / Dudani | SVA: The Power of Assertions in SystemVerilog | Buch | Sack Fachmedien

    Cerny / Korchemny / Dudani SVA: The Power of Assertions in SystemVerilog

    Softcover Nachdruck of the original 2. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-33109-6
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno-Díaz / Pichler / Quesada-Arencibia | Computer Aided Systems Theory - EUROCAST 2015 | Buch | Sack Fachmedien

    Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2015

    15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27339-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rumpe | Modeling with UML | Buch | Sack Fachmedien

    Rumpe Modeling with UML

    Language, Concepts, Methods
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Palgrave Macmillan
    ISBN: 978-3-319-81635-7
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Yeo / Turner | AsiaSim 2013 | Buch | Sack Fachmedien

    Tan / Yeo / Turner AsiaSim 2013

    13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-45036-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Issa / Isaias | High Level Models and Methodologies for Information Systems | Buch | Sack Fachmedien

    Issa / Isaias High Level Models and Methodologies for Information Systems

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-1-4939-5397-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seffah | Patterns of HCI Design and HCI Design of Patterns | Buch | Sack Fachmedien

    Seffah Patterns of HCI Design and HCI Design of Patterns

    Bridging HCI Design and Model-Driven Software Engineering
    2015
    Verlag: Springer
    ISBN: 978-3-319-15686-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Xu | Trace-Based Post-Silicon Validation for VLSI Circuits | Buch | Sack Fachmedien

    Liu / Xu Trace-Based Post-Silicon Validation for VLSI Circuits

    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer
    ISBN: 978-3-319-37594-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen / van der Aalst / Balbo | Transactions on Petri Nets and Other Models of Concurrency VII | Buch | Sack Fachmedien

    Jensen / van der Aalst / Balbo Transactions on Petri Nets and Other Models of Concurrency VII

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38142-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xu / Liu | Trace-Based Post-Silicon Validation for VLSI Circuits | Buch | Sack Fachmedien

    Xu / Liu Trace-Based Post-Silicon Validation for VLSI Circuits

    2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-00532-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt | Scala Design Patterns | Buch | Sack Fachmedien

    Hunt Scala Design Patterns

    Patterns for Practical Reuse and Design
    Softcover Nachdruck of the original 1. Auflage 2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-34972-5
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hussmann / Meixner / Zuehlke | Model-Driven Development of Advanced User Interfaces | Buch | Sack Fachmedien

    Hussmann / Meixner / Zuehlke Model-Driven Development of Advanced User Interfaces

    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-14561-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bencomo / France / Cheng | Models@run.time | Buch | Sack Fachmedien

    Bencomo / France / Cheng Models@run.time

    Foundations, Applications, and Roadmaps
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08914-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Köhler | Softwaredesign und Entwurfsmuster | Buch | Sack Fachmedien

    Köhler Softwaredesign und Entwurfsmuster

    Das umfassende Handbuch für modernes Design mit bewährten Patterns in der Softwareentwicklung
    1. Auflage 2025
    Verlag: Rheinwerk Verlag GmbH
    ISBN: 978-3-367-10259-4
    Medium: Buch
    39,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Atilgan / Straub | Entwurfsmuster in ABAP | Buch | Sack Fachmedien

    Atilgan / Straub Entwurfsmuster in ABAP

    2. Auflage 2015
    Verlag: Rheinwerk Verlag
    ISBN: 978-3-8362-3810-6
    Medium: Buch
    69,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Allerton / Belobaba / Cooper | Flight Simulation Software | Buch | Sack Fachmedien

    Allerton / Belobaba / Cooper Flight Simulation Software

    Design, Development and Testing
    1. Auflage 2022
    Verlag: Wiley
    ISBN: 978-1-119-73767-4
    Medium: Buch
    110,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kecher / Hoffmann-Elbern / Will | UML 2.5 | Buch | Sack Fachmedien

    Kecher / Hoffmann-Elbern / Will UML 2.5

    Das umfassende Handbuch (Ausgabe 2021) - inkl. DIN A2-Poster mit allen Diagrammtypen
    7. aktualisierte Auflage 2021
    Verlag: Rheinwerk Verlag GmbH
    ISBN: 978-3-8362-8447-9
    Medium: Buch
    34,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Henno / Jaakkola / Kangassalo | Information Modelling and Knowledge Bases XVII | Buch | Sack Fachmedien

    Henno / Jaakkola / Kangassalo Information Modelling and Knowledge Bases XVII

    1. Auflage 2006
    Verlag: IOS Press
    ISBN: 978-1-58603-591-4
    Medium: Buch
    80,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zimprich | Gamedesign und Spieleentwicklung für Dummies | Buch | Sack Fachmedien

    Zimprich Gamedesign und Spieleentwicklung für Dummies

    1. Auflage 2021
    Verlag: Wiley-VCH GmbH
    ISBN: 978-3-527-71774-3
    Medium: Buch
    20,00 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Starke | Effektive Softwarearchitekturen | Buch | Sack Fachmedien

    Starke Effektive Softwarearchitekturen

    Ein praktischer Leitfaden
    9. überarbeitete Auflage 2020
    Verlag: Carl Hanser
    ISBN: 978-3-446-46376-9
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mehler | Digital Integrated Circuit Design Using Verilog and SystemVerilog | eBook | Sack Fachmedien
    E-Book

    Mehler Digital Integrated Circuit Design Using Verilog and SystemVerilog

    1. Auflage 2014
    Verlag: William Andrew Publishing
    ISBN: 978-0-12-409529-8
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    71,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Puente León / Kiencke | Ereignisdiskrete Systeme | eBook | Sack Fachmedien
    E-Book

    Puente León / Kiencke Ereignisdiskrete Systeme

    Modellierung und Steuerung verteilter Systeme
    2. überarbeitete und erweiterte Aufl 2009
    Verlag: De Gruyter
    ISBN: 978-3-486-59342-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    34,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Mittal / Risco Martín | Netcentric System of Systems Engineering with DEVS Unified Process | eBook | Sack Fachmedien
    E-Book

    Mittal / Risco Martín Netcentric System of Systems Engineering with DEVS Unified Process

    1. Auflage 2013
    Verlag: CRC Press
    ISBN: 978-1-4398-2707-9
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    130,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Starke / Hruschka | arc42 in Aktion | Buch | Sack Fachmedien

    Starke / Hruschka arc42 in Aktion

    Praktische Tipps zur Architekturdokumentation
    2. überarbeitete Auflage 2022
    Verlag: Hanser Fachbuchverlag
    ISBN: 978-3-446-46380-6
    Medium: Buch
    29,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Zhou / Wu | System Modeling and Control with Resource-Oriented Petri Nets | Buch | Sack Fachmedien

    Zhou / Wu System Modeling and Control with Resource-Oriented Petri Nets

    1. Auflage 2009
    Verlag: CRC Press
    ISBN: 978-1-4398-0884-9
    Medium: Buch
    276,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sundaramoorthy | UML Diagramming | Buch | Sack Fachmedien

    Sundaramoorthy UML Diagramming

    A Case Study Approach
    1. Auflage 2022
    Verlag: Auerbach Publications
    ISBN: 978-1-032-26129-4
    Medium: Buch
    178,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mistrik / Bahsoon / Kazman | Economics-Driven Software Architecture | Buch | Sack Fachmedien

    Mistrik / Bahsoon / Kazman Economics-Driven Software Architecture

    Erscheinungsjahr 2014
    Verlag: Elsevier Science
    ISBN: 978-0-12-410464-8
    Medium: Buch
    110,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Menzies / Kocaguneli / Turhan | Sharing Data and Models in Software Engineering | Buch | Sack Fachmedien

    Menzies / Kocaguneli / Turhan Sharing Data and Models in Software Engineering

    Erscheinungsjahr 2014
    Verlag: Elsevier Science
    ISBN: 978-0-12-417295-1
    Medium: Buch
    83,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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