Ergebnisse filtern
Fachgebiet
Medium
  • 602
  • 26
  • 4
  • 1
Erscheinungsjahr
  • 1
  • 8
  • 9
  • 6
  • 9
  • 20
  • 11
  • 16
  • 34
  • 19
  • 71
  • 66
  • 94
  • 97
  • 65
  • 11
  • 24
  • 5
  • 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
  • 2
  • 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
  • 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
  • 1
  • 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
  • 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
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 7
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 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
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 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
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 1
  • 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
  • 4
  • 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
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 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
  • 18
  • 3
  • 1
  • 14
  • 5
  • 18
  • 3
  • 3
  • 11
  • 2
  • 3
  • 9
  • 5
  • 2
  • 6
  • 2
  • 6
  • 10
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 373
  • 6
  • 50
  • 1
  • 1
  • 4
  • 6
  • 4
  • 1
  • 1
  • 4
  • 3
  • 1
  • 1
  • 13
  • 23
  • 1
  • 1
  • 2
  • 2
Preis
  • 12
  • 108
  • 340
  • 173
Sprachen
  • 544
  • 92
Verfügbarkeit
  • 622
  • 11
Katalog
  • 633
  • 77
633  Titel
    Haddad / Pomello | Application and Theory of Petri Nets | Buch | Sack Fachmedien

    Haddad / Pomello Application and Theory of Petri Nets

    33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31130-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Troyer / Bauzer Medeiros / Billen | Advances in Conceptual Modeling. Recent Developments and New Directions | Buch | Sack Fachmedien

    De Troyer / Bauzer Medeiros / Billen Advances in Conceptual Modeling. Recent Developments and New Directions

    ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24573-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-47168-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albert | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Albert Logic-Based Program Synthesis and Transformation

    22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38196-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drira | Software Architecture | Buch | Sack Fachmedien

    Drira Software Architecture

    7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39030-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Woodcock / Zhu | Unifying Theories of Programming and Formal Engineering Methods | Buch | Sack Fachmedien

    Liu / Woodcock / Zhu Unifying Theories of Programming and Formal Engineering Methods

    International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39720-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Liu Structured Object-Oriented Formal Language and Method

    Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39276-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Legay / Bensalem | Runtime Verification | Buch | Sack Fachmedien

    Legay / Bensalem Runtime Verification

    4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40786-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baier / Tinelli | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Baier / Tinelli Tools and Algorithms for the Construction and Analysis of Systems

    21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-46680-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerone / Roveri | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Cerone / Roveri Software Engineering and Formal Methods

    SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-74780-4
    Medium: Buch
    79,18 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rubin / Bouabana-Tebibel | Integration of Reusable Systems | Buch | Sack Fachmedien

    Rubin / Bouabana-Tebibel Integration of Reusable Systems

    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-04716-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goll / Koller / Watzko | Architektur- und Entwurfsmuster der Softwaretechnik | Buch | Sack Fachmedien

    Goll / Koller / Watzko Architektur- und Entwurfsmuster der Softwaretechnik

    Mit lauffähigen Beispielen in Java
    3. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-658-42383-4
    Medium: Buch
    39,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nagl | Gotik und Informatik | Buch | Sack Fachmedien

    Nagl Gotik und Informatik

    Intelligenter Entwurf damals und heute
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-55517-0
    Medium: Buch
    24,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Janca | Alice and Bob Learn Secure Coding | Buch | Sack Fachmedien

    Janca Alice and Bob Learn Secure Coding

    1. Auflage 2025
    Verlag: Wiley
    ISBN: 978-1-394-17170-5
    Medium: Buch
    46,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dennis / Wixom / Roth | Systems Analysis and Design | Buch | Sack Fachmedien

    Dennis / Wixom / Roth Systems Analysis and Design

    6th Auflage
    Verlag: John Wiley & Sons Inc
    ISBN: 978-1-118-89784-3
    Medium: Buch
    214,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Molina / Pastor | Model-Driven Architecture in Practice | Buch | Sack Fachmedien

    Molina / Pastor Model-Driven Architecture in Practice

    A Software Production Environment Based on Conceptual Modeling
    Softcover Nachdruck of hardcover 1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-642-09094-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hood / Pautz / Wiedemann | Requirements Management | Buch | Sack Fachmedien

    Hood / Pautz / Wiedemann Requirements Management

    The Interface Between Requirements Development and All Other Systems Engineering Processes
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-47689-4
    Medium: Buch
    53,49 € (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
    2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-02191-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yamada | Software Reliability Modeling | Buch | Sack Fachmedien

    Yamada Software Reliability Modeling

    Fundamentals and Applications
    2014
    Verlag: Springer Japan
    ISBN: 978-4-431-54564-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fricker / Gavras / Thümmler | Requirements Engineering for Digital Health | Buch | Sack Fachmedien

    Fricker / Gavras / Thümmler Requirements Engineering for Digital Health

    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-09797-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bangsow | Use Cases of Discrete Event Simulation | Buch | Sack Fachmedien

    Bangsow Use Cases of Discrete Event Simulation

    Appliance and Research
    2012
    Verlag: Springer
    ISBN: 978-3-642-28776-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rumpe | Modellierung mit UML | Buch | Sack Fachmedien

    Rumpe Modellierung mit UML

    Sprache, Konzepte und Methodik
    2. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22412-6
    Medium: Buch
    59,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rumpe | Agile Modellierung mit UML | Buch | Sack Fachmedien

    Rumpe Agile Modellierung mit UML

    Codegenerierung, Testfälle, Refactoring
    2. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-22429-4
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Mishra / Qin | System-Level Validation | Buch | Sack Fachmedien

    Chen / Mishra / Qin System-Level Validation

    High-Level Modeling and Directed Test Generation Techniques
    2013
    Verlag: Springer
    ISBN: 978-1-4614-1358-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Machado / Fernandes | Requirements in Engineering Projects | Buch | Sack Fachmedien

    Machado / Fernandes Requirements in Engineering Projects

    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-18596-5
    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
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-33932-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Woo / Lu / Li | Advances in Conceptual Modeling | Buch | Sack Fachmedien

    Woo / Lu / Li Advances in Conceptual Modeling

    ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi'an, China, October 22-25, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-01390-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haugen / Reed / Gotzhein | System Analysis and Modeling: Theory and Practice | Buch | Sack Fachmedien

    Haugen / Reed / Gotzhein System Analysis and Modeling: Theory and Practice

    7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36756-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Damiani / de Boer | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Beckert / Damiani / de Boer Formal Methods for Components and Objects

    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35886-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wahl / Rajan | CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems | Buch | Sack Fachmedien

    Wahl / Rajan CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems

    2013
    Verlag: Springer Vienna
    ISBN: 978-3-7091-1386-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mehta | System Verilog Assertions and Functional Coverage | Buch | Sack Fachmedien

    Mehta System Verilog Assertions and Functional Coverage

    Guide to Language, Methodology and Applications
    Third Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-24739-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dori | Model-Based Systems Engineering with OPM and SysML | Buch | Sack Fachmedien

    Dori Model-Based Systems Engineering with OPM and SysML

    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-1-4939-3294-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Transactions on Petri Nets and Other Models of Concurrency V | Buch | Sack Fachmedien

    Transactions on Petri Nets and Other Models of Concurrency V

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29071-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lopes / de Lemos | Software Architecture | Buch | Sack Fachmedien

    Lopes / de Lemos Software Architecture

    11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-65830-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papajorgji / Pardalos | Software Engineering Techniques Applied to Agricultural Systems | Buch | Sack Fachmedien

    Papajorgji / Pardalos Software Engineering Techniques Applied to Agricultural Systems

    An Object-Oriented and UML Approach
    Softcover Nachdruck of the original 2. Auflage 2014
    Verlag: Springer
    ISBN: 978-1-4899-7903-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Peleska / Roscoe | Formal Methods | Buch | Sack Fachmedien

    Havelund / Peleska / Roscoe Formal Methods

    22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-95581-0
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vallecillo / Tolvanen / Kindler | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Vallecillo / Tolvanen / Kindler Modelling Foundations and Applications

    8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31490-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biondi / Given-Wilson / Legay | Model Checking Software | Buch | Sack Fachmedien

    Biondi / Given-Wilson / Legay Model Checking Software

    26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30922-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benghozi / Krob / Lonjon | Digital Enterprise Design & Management | Buch | Sack Fachmedien

    Benghozi / Krob / Lonjon Digital Enterprise Design & Management

    Proceedings of the Second International Conference on Digital Enterprise Design and Management DED&M 2014
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-04312-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Markovski / Gusev | ICT Innovations 2012 | Buch | Sack Fachmedien

    Markovski / Gusev ICT Innovations 2012

    Secure and Intelligent Systems
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37168-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xiao / Zhang / Ma | System Simulation and Scientific Computing | Buch | Sack Fachmedien

    Xiao / Zhang / Ma System Simulation and Scientific Computing

    International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34380-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hähnle / Knoop / Margaria | Leveraging Applications of Formal Methods, Verification, and Validation | Buch | Sack Fachmedien

    Hähnle / Knoop / Margaria Leveraging Applications of Formal Methods, Verification, and Validation

    International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34780-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Muccini / Weyns / Avgeriou | Software Architecture | Buch | Sack Fachmedien

    Muccini / Weyns / Avgeriou Software Architecture

    14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-59154-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holzer / Kutrib | Implementation and Application of Automata | Buch | Sack Fachmedien

    Holzer / Kutrib Implementation and Application of Automata

    19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08845-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lavagno / Martin / Selic | UML for Real | Buch | Sack Fachmedien

    Lavagno / Martin / Selic UML for Real

    Design of Embedded Real-Time Systems
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-1-4020-7501-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / McIver / Oliveira | Formal Methods - The Next 30 Years | Buch | Sack Fachmedien

    ter Beek / McIver / Oliveira Formal Methods - The Next 30 Years

    Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30941-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deinum / Cosmina | Pro Spring MVC with Webflux | Buch | Sack Fachmedien

    Deinum / Cosmina Pro Spring MVC with Webflux

    Web Development in Spring Framework 5 and Spring Boot 2
    2. Auflage 2021
    Verlag: Apress
    ISBN: 978-1-4842-5665-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mehta | System Verilog Assertions and Functional Coverage | Buch | Sack Fachmedien

    Mehta System Verilog Assertions and Functional Coverage

    Guide to Language, Methodology and Applications
    Third Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-24736-2
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oestereich / Scheithauer | Die UML-Kurzreferenz 2.5 für die Praxis | Buch | Sack Fachmedien

    Oestereich / Scheithauer Die UML-Kurzreferenz 2.5 für die Praxis

    kurz, bündig, ballastfrei
    6. Auflage 2014
    Verlag: De Gruyter
    ISBN: 978-3-486-74909-0
    Medium: Buch
    34,95 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Zhu / Blackwell | Cyberpatterns | Buch | Sack Fachmedien

    Zhu / Blackwell Cyberpatterns

    Unifying Design Patterns with Security and Attack Patterns
    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-35218-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rauh / Auer | Modeling, Design, and Simulation of Systems with Uncertainties | Buch | Sack Fachmedien

    Rauh / Auer Modeling, Design, and Simulation of Systems with Uncertainties

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-26856-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tekinerdogan / Babur / Cleophas | Model Management and Analytics for Large Scale Systems | Buch | Sack Fachmedien

    Tekinerdogan / Babur / Cleophas Model Management and Analytics for Large Scale Systems

    Erscheinungsjahr 2019
    Verlag: Elsevier Science Publishing Co Inc
    ISBN: 978-0-12-816649-9
    Medium: Buch
    136,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fischer / Scheidgen / Schieferdecker | SDL 2015: Model-Driven Engineering for Smart Cities | Buch | Sack Fachmedien

    Fischer / Scheidgen / Schieferdecker SDL 2015: Model-Driven Engineering for Smart Cities

    17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24911-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kroening / Pasareanu / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    Kroening / Pasareanu / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21667-6
    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

    2013
    Verlag: Springer
    ISBN: 978-3-319-03304-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albert / Sekerinski | Integrated Formal Methods | Buch | Sack Fachmedien

    Albert / Sekerinski Integrated Formal Methods

    11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10180-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giannakopoulou / Salaün | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Giannakopoulou / Salaün Software Engineering and Formal Methods

    12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10430-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lang / Flammini | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Lang / Flammini Formal Methods for Industrial Critical Systems

    19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10701-1
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Badger / Rozier | NASA Formal Methods | Buch | Sack Fachmedien

    Badger / Rozier NASA Formal Methods

    6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06199-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amyot / Fonseca i Casas / Mussbacher | System Analysis and Modeling: Models and Reusability | Buch | Sack Fachmedien

    Amyot / Fonseca i Casas / Mussbacher System Analysis and Modeling: Models and Reusability

    8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11742-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yu / Dobbie / Jarke | Conceptual Modeling | Buch | Sack Fachmedien

    Yu / Dobbie / Jarke Conceptual Modeling

    33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29,2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-12205-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mouheb / Debbabi / Pourzandi | Aspect-Oriented Security Hardening of UML Design Models | Buch | Sack Fachmedien

    Mouheb / Debbabi / Pourzandi Aspect-Oriented Security Hardening of UML Design Models

    2015
    Verlag: Springer
    ISBN: 978-3-319-16105-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bellatreche / Manolopoulos | Model and Data Engineering | Buch | Sack Fachmedien

    Bellatreche / Manolopoulos Model and Data Engineering

    5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23780-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Richards / Ford | Handbuch moderner Softwarearchitektur | Buch | Sack Fachmedien

    Richards / Ford Handbuch moderner Softwarearchitektur

    Architekturstile, Patterns und Best Practices
    2. Auflage 2026
    Verlag: dpunkt.Verlag
    ISBN: 978-3-96009-277-3
    Medium: Buch
    49,90 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Machado / Fernandes | Requirements in Engineering Projects | Buch | Sack Fachmedien

    Machado / Fernandes Requirements in Engineering Projects

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-36818-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fairley | Systems Engineering of Software-Enabled Systems | Buch | Sack Fachmedien

    Fairley Systems Engineering of Software-Enabled Systems

    1. Auflage 2019
    Verlag: Wiley
    ISBN: 978-1-119-53501-0
    Medium: Buch
    128,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ambler | Agile Modeling | Buch | Sack Fachmedien

    Ambler Agile Modeling

    Effective Practices for Extreme Programming and the Unified Process
    1. Auflage 2002
    Verlag: Wiley
    ISBN: 978-0-471-20282-0
    Medium: Buch
    51,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borrione | Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's | Buch | Sack Fachmedien

    Borrione Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's

    Selected Contributions on Specification, Design, and Verification from Fdl 2009
    2010. Auflage 2010
    Verlag: Springer
    ISBN: 978-90-481-9303-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boulanger | Industrial Use of Formal Methods | Buch | Sack Fachmedien

    Boulanger Industrial Use of Formal Methods

    Formal Verification
    1. Auflage 2012
    Verlag: Wiley
    ISBN: 978-1-84821-363-0
    Medium: Buch
    166,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sagdeo | The Complete Verilog Book | Buch | Sack Fachmedien

    Sagdeo The Complete Verilog Book

    1998. Auflage 1998
    Verlag: Springer Us
    ISBN: 978-0-7923-8188-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moyer | Real World Multicore Embedded Systems | Buch | Sack Fachmedien

    Moyer Real World Multicore Embedded Systems

    A Practical Approach: Expert Guide
    Erscheinungsjahr 2013
    Verlag: Elsevier Science
    ISBN: 978-0-12-416018-7
    Medium: Buch
    73,50 € (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 1: Constraint Validation, Enumerations, Special Datatypes
    1. Auflage 2017
    Verlag: De Gruyter
    ISBN: 978-3-11-049993-3
    Medium: Buch
    69,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fayad / Sanchez / Hegde | Software Patterns, Knowledge Maps, and Domain Analysis | Buch | Sack Fachmedien

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

    1. Auflage 2014
    Verlag: Auerbach Publications
    ISBN: 978-1-4665-7143-3
    Medium: Buch
    135,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gheorghe / Katina | Gamification for Resilience | Buch | Sack Fachmedien

    Gheorghe / Katina Gamification for Resilience

    Resilient Informed Decision Making
    1. Auflage 2023
    Verlag: Wiley
    ISBN: 978-1-394-15774-7
    Medium: Buch
    120,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidl / Brandsteidl / Huemer | UML @ Classroom | Buch | Sack Fachmedien

    Seidl / Brandsteidl / Huemer UML @ Classroom

    Eine Einführung in die objektorientierte Modellierung
    1. Auflage 2012
    Verlag: dpunkt.Verlag
    ISBN: 978-3-89864-776-2
    Medium: Buch
    24,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Gast | Softwarearchitektur für Dummies | Buch | Sack Fachmedien

    Gast Softwarearchitektur für Dummies

    1. Auflage 2023
    Verlag: Wiley-VCH GmbH
    ISBN: 978-3-527-72001-9
    Medium: Buch
    28,00 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Fricker / Gavras / Thümmler | Requirements Engineering for Digital Health | Buch | Sack Fachmedien

    Fricker / Gavras / Thümmler Requirements Engineering for Digital Health

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-37953-1
    Medium: Buch
    99,98 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mehta | SystemVerilog Assertions and Functional Coverage | Buch | Sack Fachmedien

    Mehta SystemVerilog Assertions and Functional Coverage

    Guide to Language, Methodology and Applications
    Softcover Nachdruck of the original 2. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-80833-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nagai / Taura | Concept Generation for Design Creativity | Buch | Sack Fachmedien

    Nagai / Taura Concept Generation for Design Creativity

    A Systematized Theory and Methodology
    2013
    Verlag: Springer
    ISBN: 978-1-4471-5864-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Mishra / Qin | System-Level Validation | Buch | Sack Fachmedien

    Chen / Mishra / Qin System-Level Validation

    High-Level Modeling and Directed Test Generation Techniques
    2013
    Verlag: Springer
    ISBN: 978-1-4899-8629-0
    Medium: Buch
    109,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herdt | Complete Symbolic Simulation of SystemC Models | Buch | Sack Fachmedien

    Herdt Complete Symbolic Simulation of SystemC Models

    Efficient Formal Verification of Finite Non-Terminating Programs
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-658-12679-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nowakowski / Smialek / Smialek | From Requirements to Java in a Snap | Buch | Sack Fachmedien

    Nowakowski / Smialek / Smialek From Requirements to Java in a Snap

    Model-Driven Requirements Engineering in Practice
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-35719-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eilebrecht / Starke | Patterns kompakt | Buch | Sack Fachmedien

    Eilebrecht / Starke Patterns kompakt

    Entwurfsmuster für effektive Softwareentwicklung
    6. erweiterte und aktualisierte Auflage 2024
    Verlag: Springer
    ISBN: 978-3-658-43233-1
    Medium: Buch
    19,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johannesson / Lee / Liddle | Conceptual Modeling | Buch | Sack Fachmedien

    Johannesson / Lee / Liddle Conceptual Modeling

    34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-25263-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sharygina / Veith | Computer Aided Verification | Buch | Sack Fachmedien

    Sharygina / Veith Computer Aided Verification

    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39798-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dudin / De Turck | Analytical and Stochastic Modeling Techniques and Applications | Buch | Sack Fachmedien

    Dudin / De Turck Analytical and Stochastic Modeling Techniques and Applications

    20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39407-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Khendek / Toeroe / Gherbi | SDL 2013: Model Driven Dependability Engineering | Buch | Sack Fachmedien

    Khendek / Toeroe / Gherbi SDL 2013: Model Driven Dependability Engineering

    16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38910-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Gorp / Ritter / Rose | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Van Gorp / Ritter / Rose Modelling Foundations and Applications

    9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39012-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Ramakrishnan | Model Checking Software | Buch | Sack Fachmedien

    Bartocci / Ramakrishnan Model Checking Software

    20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39175-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeusfeld / Delcambre / Ling | Conceptual Modeling – ER 2011 | Buch | Sack Fachmedien

    Jeusfeld / Delcambre / Ling Conceptual Modeling – ER 2011

    30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24605-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreira / Schätz / Gray | Model-Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Moreira / Schätz / Gray Model-Driven Engineering Languages and Systems

    16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41532-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Cuzzocrea / Maabout | Model and Data Engineering | Buch | Sack Fachmedien

    Cuzzocrea / Maabout Model and Data Engineering

    Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41365-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Noble / Johnson / Zdun | Transactions on Pattern Languages of Programming III | Buch | Sack Fachmedien

    Noble / Johnson / Zdun Transactions on Pattern Languages of Programming III

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38675-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McMillan / Rival | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    McMillan / Rival Verification, Model Checking, and Abstract Interpretation

    15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54012-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Randen / Bercker / Fieml | Einführung in UML | Buch | Sack Fachmedien

    van Randen / Bercker / Fieml Einführung in UML

    Analyse und Entwurf von Software
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-658-14411-1
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duffy | Domain Architectures | Buch | Sack Fachmedien

    Duffy Domain Architectures

    1. Auflage 2004
    Verlag: John Wiley & Sons
    ISBN: 978-0-470-84833-3
    Medium: Buch
    42,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Malavolta / Muccini | Software Architecture | Buch | Sack Fachmedien

    Jansen / Malavolta / Muccini Software Architecture

    14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58922-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ricci / Bontcheva / Conlan | User Modeling, Adaptation and Personalization | Buch | Sack Fachmedien

    Ricci / Bontcheva / Conlan User Modeling, Adaptation and Personalization

    23rd International Conference, UMAP 2015, Dublin, Ireland, June 29 -- July 3, 2015. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-20266-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graf / Viswanathan | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Graf / Viswanathan Formal Techniques for Distributed Objects, Components, and Systems

    35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-19194-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cornélio / Roscoe | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Cornélio / Roscoe Formal Methods: Foundations and Applications

    18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-29472-8
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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