Ergebnisse filtern
Fachgebiet
Medium
  • 612
  • 28
  • 4
  • 1
Erscheinungsjahr
  • 3
  • 8
  • 9
  • 6
  • 11
  • 19
  • 11
  • 16
  • 34
  • 19
  • 72
  • 66
  • 96
  • 95
  • 65
  • 12
  • 24
  • 7
  • 7
  • 6
  • 5
  • 5
  • 6
  • 7
  • 4
  • 6
  • 3
  • 2
  • 6
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 1
  • 2
  • 1
  • 1
  • 2
  • 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
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 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
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 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
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 9
  • 1
  • 2
  • 4
  • 3
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 3
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 4
  • 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
  • 3
  • 1
  • 1
  • 2
  • 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
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 5
  • 2
  • 2
  • 3
  • 1
  • 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
  • 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
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 6
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 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
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 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
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 8
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 2
  • 1
  • 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
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 4
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
Verlag
  • 1
  • 18
  • 3
  • 1
  • 5
  • 14
  • 6
  • 22
  • 3
  • 2
  • 11
  • 7
  • 1
  • 1
  • 10
  • 4
  • 1
  • 2
  • 6
  • 1
  • 1
  • 10
  • 13
  • 5
  • 1
  • 2
  • 3
  • 2
  • 3
  • 2
  • 1
  • 429
  • 1
  • 4
  • 2
  • 3
  • 3
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 13
  • 11
  • 1
  • 1
  • 1
  • 2
  • 1
Preis
  • 12
  • 108
  • 346
  • 179
Sprachen
  • 554
  • 94
Verfügbarkeit
  • 636
  • 9
Katalog
  • 645
  • 77
645  Titel
    Piterman / Smolka | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Piterman / Smolka Tools and Algorithms for the Construction and Analysis of Systems

    19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36741-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duddy / Kappel | Theory and Practice of Model Transformations | Buch | Sack Fachmedien

    Duddy / Kappel Theory and Practice of Model Transformations

    6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38882-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bungartz / Zimmer / Buchholz | Modeling and Simulation | Buch | Sack Fachmedien

    Bungartz / Zimmer / Buchholz Modeling and Simulation

    An Application-Oriented Introduction
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39523-9
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joshi / Siegle / Stoelinga | Quantitative Evaluation of Systems | Buch | Sack Fachmedien

    Joshi / Siegle / Stoelinga Quantitative Evaluation of Systems

    10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40195-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henderson-Sellers | On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages | Buch | Sack Fachmedien

    Henderson-Sellers On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29824-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Colom / Desel | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Colom / Desel Application and Theory of Petri Nets and Concurrency

    34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38696-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Machado / Maciel / Rubin | Model-Based Methodologies for Pervasive and Embedded Software | Buch | Sack Fachmedien

    Machado / Maciel / Rubin Model-Based Methodologies for Pervasive and Embedded Software

    8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38208-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Louërat / Maehne | Languages, Design Methods, and Tools for Electronic System Design | Buch | Sack Fachmedien

    Louërat / Maehne Languages, Design Methods, and Tools for Electronic System Design

    Selected Contributions from FDL 2013
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06316-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bungartz / Zimmer / Buchholz | Modeling and Simulation | Buch | Sack Fachmedien

    Bungartz / Zimmer / Buchholz Modeling and Simulation

    An Application-Oriented Introduction
    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer
    ISBN: 978-3-662-51842-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnsen / Schaefer | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Johnsen / Schaefer Software Engineering and Formal Methods

    16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92969-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jain / Chatterjee / Bansal | Computational Intelligence in Software Modeling | eBook | Sack Fachmedien
    E-Book

    Jain / Chatterjee / Bansal Computational Intelligence in Software Modeling

    1. Auflage 2022
    Verlag: De Gruyter
    ISBN: 978-3-11-070934-6
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    123,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bianculli / Calinescu / Rumpe | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Bianculli / Calinescu / Rumpe Software Engineering and Formal Methods

    SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-49223-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreira / Reis | Implementation and Application of Automata | Buch | Sack Fachmedien

    Moreira / Reis Implementation and Application of Automata

    17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31605-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Conchon / Zaïdi | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Butler / Conchon / Zaïdi Formal Methods and Software Engineering

    17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-25422-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barner / Harris / Kroening | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Barner / Harris / Kroening Hardware and Software: Verification and Testing

    6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19582-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vetter | Objektmodellierung | Buch | Sack Fachmedien

    Vetter Objektmodellierung

    Eine Einführung in die objektorientierte Analyse und das objektorientierte Design
    2., neubearbeitete und erweiterte Auflage 1998
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-12143-5
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kouchnarenko / Khosravi | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Kouchnarenko / Khosravi Formal Aspects of Component Software

    13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-57665-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aiguier / Caseau / Krob | Complex Systems Design & Management | Buch | Sack Fachmedien

    Aiguier / Caseau / Krob Complex Systems Design & Management

    Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-43255-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Holzmann / Joshi | NASA Formal Methods | Buch | Sack Fachmedien

    Havelund / Holzmann / Joshi NASA Formal Methods

    7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-17523-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lamprecht / Margaria | Process Design for Natural Scientists | Buch | Sack Fachmedien

    Lamprecht / Margaria Process Design for Natural Scientists

    An Agile Model-Driven Approach
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45005-5
    Medium: Buch
    53,49 € (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
    Softcover Nachdruck of the original 1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-662-52057-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Codescu / Diaconescu | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Codescu / Diaconescu Recent Trends in Algebraic Development Techniques

    22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-28113-1
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait Ameur / Bellatreche / Papadopoulos | Model and Data Engineering | Buch | Sack Fachmedien

    Ait Ameur / Bellatreche / Papadopoulos Model and Data Engineering

    4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11586-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallardo / Merino | Model Checking Software | Buch | Sack Fachmedien

    Gallardo / Merino Model Checking Software

    25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94110-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lamprecht | User-Level Workflow Design | Buch | Sack Fachmedien

    Lamprecht User-Level Workflow Design

    A Bioinformatics Perspective
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45388-5
    Medium: Buch
    49,22 € (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 II
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-27673-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salinesi / van de Weerd | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    Salinesi / van de Weerd Requirements Engineering: Foundation for Software Quality

    20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-05842-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cremer | Graphbasierte Werkzeuge zum Reverse Engineering und Reengineering | Buch | Sack Fachmedien

    Cremer Graphbasierte Werkzeuge zum Reverse Engineering und Reengineering

    2000
    Verlag: Deutscher Universitätsverlag
    ISBN: 978-3-8244-0497-1
    Medium: Buch
    59,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comyn-Wattiau / Tanaka / Song | Conceptual Modeling | Buch | Sack Fachmedien

    Comyn-Wattiau / Tanaka / Song Conceptual Modeling

    35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-46396-4
    Medium: Buch
    53,49 € (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

    4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-17403-7
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tekinerdogan / Zdun / Babar | Software Architecture | Buch | Sack Fachmedien

    Tekinerdogan / Zdun / Babar Software Architecture

    10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48991-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doursat / Sayama / Michel | Morphogenetic Engineering | Buch | Sack Fachmedien

    Doursat / Sayama / Michel Morphogenetic Engineering

    Toward Programmable Complex Systems
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33901-1
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    George / Vardanega | Reliable Software Technologies - Ada-Europe 2014 | Buch | Sack Fachmedien

    George / Vardanega Reliable Software Technologies - Ada-Europe 2014

    19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08310-0
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnsen / Petre | Integrated Formal Methods | Buch | Sack Fachmedien

    Johnsen / Petre Integrated Formal Methods

    10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38612-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cellier / Distel / Ganter | Formal Concept Analysis | Buch | Sack Fachmedien

    Cellier / Distel / Ganter Formal Concept Analysis

    11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38316-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bienemann | Context-driven Generation of Specifications for Interactive Information Systems | Buch | Sack Fachmedien

    Bienemann Context-driven Generation of Specifications for Interactive Information Systems

    Erscheinungsjahr 2009
    Verlag: IOS Press
    ISBN: 978-1-58603-980-6
    Medium: Buch
    58,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Lamprecht | Leveraging Applications of Formal Methods, Verification, and Validation | Buch | Sack Fachmedien

    Lamprecht Leveraging Applications of Formal Methods, Verification, and Validation

    6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-51640-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lilienthal | Langlebige Software-Architekturen | eBook | Sack Fachmedien
    E-Book

    Lilienthal Langlebige Software-Architekturen

    Technische Schulden analysieren, begrenzen und abbauen
    überarbeitete und erweiterte Auflage
    Verlag: dpunkt.verlag
    ISBN: 978-3-98890-137-8
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    36,90 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Shoemaker | UML Applied | Buch | Sack Fachmedien

    Shoemaker UML Applied

    A .NET Perspective
    1. Auflage 2004
    Verlag: Apress
    ISBN: 978-1-59059-087-4
    Medium: Buch
    46,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fuchs / Hauri | Requirements-Engineering in IT effizient und verständlich | Buch | Sack Fachmedien

    Fuchs / Hauri Requirements-Engineering in IT effizient und verständlich

    Praxisrelevantes Wissen in 24 Schritten
    1. Auflage 2012
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-322-89886-9
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oberle | Semantic Management of Middleware | Buch | Sack Fachmedien

    Oberle Semantic Management of Middleware

    Erscheinungsjahr 2006
    Verlag: Springer
    ISBN: 978-0-387-27630-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kastens / Kleine Büning | Modellierung | Buch | Sack Fachmedien

    Kastens / Kleine Büning Modellierung

    Grundlagen und formale Methoden
    5. aktualisierte Auflage 2021
    Verlag: Hanser Fachbuchverlag
    ISBN: 978-3-446-46942-6
    Medium: Buch
    29,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Lilienthal | Langlebige Software-Architekturen | Buch | Sack Fachmedien

    Lilienthal Langlebige Software-Architekturen

    Technische Schulden analysieren, begrenzen und abbauen
    4. überarbeitete und erweiterte Auflage 2024
    Verlag: dpunkt.Verlag
    ISBN: 978-3-98889-004-7
    Medium: Buch
    36,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Schellhase | Entwicklungsmethoden und Architekturkonzepte für Web-Applikationen | Buch | Sack Fachmedien

    Schellhase Entwicklungsmethoden und Architekturkonzepte für Web-Applikationen

    Erstellung und Administration Web-basierter Lernumgebungen
    Erscheinungsjahr 2001
    Verlag: Deutscher Universitätsverlag
    ISBN: 978-3-8244-7379-3
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kawaguchi / Kangassalo / Jaakkola | Information Modelling and Knowledge Bases XI | Buch | Sack Fachmedien

    Kawaguchi / Kangassalo / Jaakkola Information Modelling and Knowledge Bases XI

    1. Auflage 2000
    Verlag: IOS Press
    ISBN: 978-1-58603-041-4
    Medium: Buch
    74,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Kazmierski / Morawiec | System Specification and Design Languages | Buch | Sack Fachmedien

    Kazmierski / Morawiec System Specification and Design Languages

    Selected Contributions from FDL 2010
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-1-4614-1426-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Topçu / Durak / Oguztüzün | Distributed Simulation | Buch | Sack Fachmedien

    Topçu / Durak / Oguztüzün Distributed Simulation

    A Model Driven Engineering Approach
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-79136-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Topçu / Durak / Oguztüzün | Distributed Simulation | Buch | Sack Fachmedien

    Topçu / Durak / Oguztüzün Distributed Simulation

    A Model Driven Engineering Approach
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-03049-4
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shao | Programming Languages and Systems | Buch | Sack Fachmedien

    Shao Programming Languages and Systems

    5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76636-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kastens / Kleine Büning | Modellierung | Buch | Sack Fachmedien

    Kastens / Kleine Büning Modellierung

    Grundlagen und formale Methoden
    4. überarbeitete Auflage 2018
    Verlag: Carl Hanser
    ISBN: 978-3-446-45539-9
    Medium: Buch
    33,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rumpe | Agile Modeling with UML | Buch | Sack Fachmedien

    Rumpe Agile Modeling with UML

    Code Generation, Testing, Refactoring
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-58861-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Damiani / Haehnle | Formal Methods for Executable Software Models | Buch | Sack Fachmedien

    Bernardo / Damiani / Haehnle Formal Methods for Executable Software Models

    14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07316-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ambler | The Object Primer | Buch | Sack Fachmedien

    Ambler The Object Primer

    3. Auflage 2015
    Verlag: Cambridge University Press
    ISBN: 978-0-521-54018-6
    Medium: Buch
    88,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sifakis | Rigorous System Design | Buch | Sack Fachmedien

    Sifakis Rigorous System Design

    1. Auflage 2013
    Verlag: Now Publishers
    ISBN: 978-1-60198-660-3
    Medium: Buch
    60,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Proietti / Seki | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Proietti / Seki Logic-Based Program Synthesis and Transformation

    24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-17821-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koch / Reisig / Schreiber | Modeling in Systems Biology | Buch | Sack Fachmedien

    Koch / Reisig / Schreiber Modeling in Systems Biology

    The Petri Net Approach
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-1-84996-473-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chattopadhyay / Roychoudhury / Rosén | Time-Predictable Embedded Software on Multi-Core Platforms | Buch | Sack Fachmedien

    Chattopadhyay / Roychoudhury / Rosén Time-Predictable Embedded Software on Multi-Core Platforms

    Analysis and Optimization
    Erscheinungsjahr 2014
    Verlag: Now Publishers
    ISBN: 978-1-60198-794-5
    Medium: Buch
    73,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Abrial | Modeling in Event-B | Buch | Sack Fachmedien

    Abrial Modeling in Event-B

    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-89556-9
    Medium: Buch
    173,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jalloul | UML by Example | Buch | Sack Fachmedien

    Jalloul UML by Example

    Erscheinungsjahr 2016
    Verlag: Cambridge University Press
    ISBN: 978-0-521-81051-7
    Medium: Buch
    107,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anthony | Iterating Infusion | Buch | Sack Fachmedien

    Anthony Iterating Infusion

    Clearer Views of Objects, Classes, and Systems
    1. Auflage 2005
    Verlag: Apress
    ISBN: 978-1-59059-537-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kastens / Kleine Büning | Modellierung | eBook | Sack Fachmedien
    E-Book

    Kastens / Kleine Büning Modellierung

    Grundlagen und formale Methoden
    5. aktualisierte Auflage 2021
    Verlag: Carl Hanser
    ISBN: 978-3-446-46956-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    29,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bellagamba | Systems Engineering and Architecting | Buch | Sack Fachmedien

    Bellagamba Systems Engineering and Architecting

    Creating Formal Requirements
    1. Auflage 2012
    Verlag: CRC Press
    ISBN: 978-1-4398-8140-8
    Medium: Buch
    288,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Zhou / Wu | System Modeling and Control with Resource-Oriented Petri Nets | eBook | Sack Fachmedien
    E-Book

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

    1. Auflage 2010
    Verlag: Taylor & Francis
    ISBN: 978-1-4398-0885-6
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    113,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Karapanos | Modeling Users' Experiences with Interactive Systems | Buch | Sack Fachmedien

    Karapanos Modeling Users' Experiences with Interactive Systems

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-43360-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jochum | Konstruktive Software-Architektur | eBook | Sack Fachmedien
    E-Book

    Jochum Konstruktive Software-Architektur

    Konzeptuelle Gestaltung gebrauchstauglicher und änderungsfreundlicher Systeme
    Erscheinungsjahr 2030
    Verlag: De Gruyter
    ISBN: 978-3-486-72009-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 0 - No protection
    39,95 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Rosenberg / Stephens | Use Case Driven Object Modeling with UML | Buch | Sack Fachmedien

    Rosenberg / Stephens Use Case Driven Object Modeling with UML

    Theory and Practice
    2. Auflage 2013
    Verlag: Apress
    ISBN: 978-1-4302-4305-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koudri | Model Based Systems Engineering | Buch | Sack Fachmedien

    Koudri Model Based Systems Engineering

    Theoretical Foundations
    1. Auflage 2025
    Verlag: Wiley
    ISBN: 978-1-394-34507-6
    Medium: Buch
    124,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Oppenheimer / Medina Pasaje | Languages, Design Methods, and Tools for Electronic System Design | Buch | Sack Fachmedien

    Oppenheimer / Medina Pasaje Languages, Design Methods, and Tools for Electronic System Design

    Selected Contributions from FDL 2014
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-24455-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oppenheimer / Medina Pasaje | Languages, Design Methods, and Tools for Electronic System Design | Buch | Sack Fachmedien

    Oppenheimer / Medina Pasaje Languages, Design Methods, and Tools for Electronic System Design

    Selected Contributions from FDL 2014
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-79631-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rupp / Queins | UML 2 glasklar | Buch | Sack Fachmedien

    Rupp / Queins UML 2 glasklar

    Praxiswissen für die UML-Modellierung
    4. aktualisierte und erweiterte Auflage 2012
    Verlag: Hanser Fachbuchverlag
    ISBN: 978-3-446-43057-0
    Medium: Buch
    34,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Bellagamba | Systems Engineering and Architecting | eBook | Sack Fachmedien
    E-Book

    Bellagamba Systems Engineering and Architecting

    Creating Formal Requirements
    1. Auflage 2012
    Verlag: CRC Press
    ISBN: 978-1-4398-8142-2
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    121,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Parsons / Chiu | Advances in Conceptual Modeling | Buch | Sack Fachmedien

    Parsons / Chiu Advances in Conceptual Modeling

    ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers
    2014
    Verlag: Springer
    ISBN: 978-3-319-14138-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Levin | Modular System Design and Evaluation | Buch | Sack Fachmedien

    Levin Modular System Design and Evaluation

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09875-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Braga / Ölveczky | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Braga / Ölveczky Formal Aspects of Component Software

    12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-28933-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Remke / Stoelinga | Stochastic Model Checking | Buch | Sack Fachmedien

    Remke / Stoelinga Stochastic Model Checking

    International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45488-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Pihlajasaari / Sun | FM 2014: Formal Methods | Buch | Sack Fachmedien

    Jones / Pihlajasaari / Sun FM 2014: Formal Methods

    19th International Symposium, Singapore, May 12-16, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06409-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Avgeriou / Zdun | Software Architecture | Buch | Sack Fachmedien

    Avgeriou / Zdun Software Architecture

    8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09969-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Liu / Woodcock | Formal Methods and Hybrid Real-Time Systems | Buch | Sack Fachmedien

    Jones / Liu / Woodcock Formal Methods and Hybrid Real-Time Systems

    Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75220-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giese / Rosu | Formal Techniques for Distributed Systems | Buch | Sack Fachmedien

    Giese / Rosu Formal Techniques for Distributed Systems

    Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30792-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Unhelkar | UML 2.0 Models | Buch | Sack Fachmedien

    Unhelkar UML 2.0 Models

    1. Auflage 2005
    Verlag: John Wiley & Sons
    ISBN: 978-0-471-72783-5
    Medium: Buch
    132,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Vetter | Objektmodellierung | Buch | Sack Fachmedien

    Vetter Objektmodellierung

    Eine Einführung in die objektorientierte Analyse und das objektorientierte Design
    1. Auflage 1994
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02143-8
    Medium: Buch
    49,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wazlawick | Object-Oriented Analysis and Design for Information Systems | Buch | Sack Fachmedien

    Wazlawick Object-Oriented Analysis and Design for Information Systems

    Modeling with Bpmn, Ocl, Ifml, and Python
    2. Auflage 2024
    Verlag: Elsevier Science
    ISBN: 978-0-443-13739-6
    Medium: Buch
    79,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Blackwell / Zhu | Cyberpatterns | Buch | Sack Fachmedien

    Blackwell / Zhu Cyberpatterns

    Unifying Design Patterns with Security and Attack Patterns
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-04446-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smialek / Nowakowski | From Requirements to Java in a Snap | Buch | Sack Fachmedien

    Smialek / Nowakowski From Requirements to Java in a Snap

    Model-Driven Requirements Engineering in Practice
    2015
    Verlag: Springer
    ISBN: 978-3-319-12837-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nakajima / Talpin / Toyoshima | Cyber-Physical System Design from an Architecture Analysis Viewpoint | Buch | Sack Fachmedien

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

    Communications of NII Shonan Meetings
    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer
    ISBN: 978-981-13-5136-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yoong / Roop / Bhatti | Model-Driven Design Using IEC 61499 | Buch | Sack Fachmedien

    Yoong / Roop / Bhatti Model-Driven Design Using IEC 61499

    A Synchronous Approach for Embedded and Automation Systems
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-34903-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Livermore | Average Joe | Buch | Sack Fachmedien

    Livermore Average Joe

    Be the Silicon Valley Tech Genius
    1. Auflage 2020
    Verlag: John Wiley & Sons Inc
    ISBN: 978-1-119-61887-4
    Medium: Buch
    34,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Hanmer | Pattern-Oriented Software Architecture For Dummies | Buch | Sack Fachmedien

    Hanmer Pattern-Oriented Software Architecture For Dummies

    1. Auflage 2013
    Verlag: Wiley
    ISBN: 978-1-119-96399-8
    Medium: Buch
    33,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Crespi / Bertin | Architecture and Governance for Communication Services | Buch | Sack Fachmedien

    Crespi / Bertin Architecture and Governance for Communication Services

    1. Auflage 2013
    Verlag: Wiley
    ISBN: 978-1-84821-491-0
    Medium: Buch
    164,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Oussalah | Software Architecture 1 | Buch | Sack Fachmedien

    Oussalah Software Architecture 1

    1. Auflage 2014
    Verlag: John Wiley & Sons
    ISBN: 978-1-84821-600-6
    Medium: Buch
    164,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Schatten / Biffl / Demolsky | Best Practice Software-Engineering | Buch | Sack Fachmedien

    Schatten / Biffl / Demolsky Best Practice Software-Engineering

    Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen
    1. Auflage. 2010
    Verlag: Spektrum Akademischer Verlag
    ISBN: 978-3-8274-2486-0
    Medium: Buch
    89,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Micouin | Model Based Systems Engineering | Buch | Sack Fachmedien

    Micouin Model Based Systems Engineering

    Fundamentals and Methods
    1. Auflage 2014
    Verlag: John Wiley & Sons
    ISBN: 978-1-84821-469-9
    Medium: Buch
    164,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Editors-in-Chief: M.V. Fischetti / S. Goodnick | Journal of Computational Electronics | Zeitschrift | Sack Fachmedien

    Editors-in-Chief: M.V. Fischetti / S. Goodnick Journal of Computational Electronics

    Verlag: Springer
    ISSN: 15728137
    Medium: Zeitschrift
    Institutionen - Online
    1.798,67 € (inkl. MwSt.)
    Bereits im Warenkorb
    Brambilla / Fraternali | Interaction Flow Modeling Language | Buch | Sack Fachmedien

    Brambilla / Fraternali Interaction Flow Modeling Language

    Model-Driven Ui Engineering of Web and Mobile Apps with Ifml
    Erscheinungsjahr 2014
    Verlag: Elsevier Inc
    ISBN: 978-0-12-800108-0
    Medium: Buch
    52,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Wagner / Diaconescu | Web Applications with Javascript or Java | eBook | Sack Fachmedien
    E-Book

    Wagner / Diaconescu Web Applications with Javascript or Java

    Volume 1: Constraint Validation, Enumerations, Special Datatypes
    1. Auflage 2017
    Verlag: De Gruyter
    ISBN: 978-3-11-049724-3
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    74,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Artho / Ölveczky | Formal Techniques for Safety-Critical Systems | Buch | Sack Fachmedien

    Artho / Ölveczky Formal Techniques for Safety-Critical Systems

    Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-17580-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kak | Designing with Objects | Buch | Sack Fachmedien

    Kak Designing with Objects

    Object-Oriented Design Patterns Explained with Stories from Harry Potter
    1. Auflage 2015
    Verlag: John Wiley & Sons
    ISBN: 978-1-118-58120-9
    Medium: Buch
    88,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Gross | Component-Based Software Testing with UML | Buch | Sack Fachmedien

    Gross Component-Based Software Testing with UML

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20864-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drechsler | Formal System Verification | Buch | Sack Fachmedien

    Drechsler Formal System Verification

    State-of the-Art and Future Trends
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-57683-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Simske | Meta-Algorithmics | Buch | Sack Fachmedien

    Simske Meta-Algorithmics

    1. Auflage 2013
    Verlag: John Wiley & Sons
    ISBN: 978-1-118-34336-4
    Medium: Buch
    106,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

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