Ergebnisse filtern
-
- 337
- 18
-
- 5
- 54
- 174
- 122
-
- 316
- 39
-
- 349
- 6
-
- 355
- 30
-
Di Ruscio / Varró Theory and Practice of Model Transformations
7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08788-7Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Taentzer / Bordeleau Modelling Foundations and Applications
11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-21150-3Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03423-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baker / Dai / Williams Model-Driven Testing
Using the UML Testing ProfileSoftcover Nachdruck of hardcover 1. Auflage 2008Verlag: SpringerISBN: 978-3-642-09159-9Medium: Buch50,28 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Diaconescu / Wagner Web Applications with Javascript or Java
Volume 1: Constraint Validation, Enumerations, Special Datatypes1. Auflage 2017Verlag: De GruyterISBN: 978-3-11-049993-3Medium: Buch69,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wagner / Diaconescu Web Applications with Javascript or Java
Volume 1: Constraint Validation, Enumerations, Special Datatypes1. Auflage 2017Verlag: De GruyterISBN: 978-3-11-049724-3Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark69,95 € (inkl. MwSt.)
sofort verfügbar -
Stoelinga / Pinger Formal Methods for Industrial Critical Systems
17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32468-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blanchette / Kosmatov Tests and Proofs
9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-21214-2Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Singh Using Event-B for Critical Device Software Systems
2013Verlag: SpringerISBN: 978-1-4471-5790-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nowakowski / Smialek / Smialek From Requirements to Java in a Snap
Model-Driven Requirements Engineering in PracticeSoftcover Nachdruck of the original 1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-35719-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nowakowski / Smialek / Smialek From Requirements to Java in a Snap
Model-Driven Requirements Engineering in Practice2015Verlag: Springer International PublishingISBN: 978-3-319-12837-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kouchnarenko / Khosravi Formal Aspects of Component Software
13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-57665-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Transactions on Petri Nets and Other Models of Concurrency V
1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29071-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schellhase Entwicklungsmethoden und Architekturkonzepte für Web-Applikationen
Erstellung und Administration Web-basierter Lernumgebungen2001Verlag: Deutscher UniversitätsverlagISBN: 978-3-8244-7379-3Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Molina / Pastor Model-Driven Architecture in Practice
A Software Production Environment Based on Conceptual Modeling2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71867-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Halstenberg / Stark / Fraunhofer IPK, Berlin Methodik zur Modell-basierten Systemarchitekturdefinition von Smart-circular Product-Service Systems
Erscheinungsjahr 2023Verlag: Fraunhofer VerlagISBN: 978-3-8396-1862-2Medium: Buch96,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74780-4Medium: Buch79,18 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lilienthal Langlebige Software-Architekturen
Technische Schulden analysieren, begrenzen und abbauen4. überarbeitete und erweiterte Auflage 2024Verlag: dpunkt.VerlagISBN: 978-3-98889-004-7Medium: Buch36,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Mistrik / Bahsoon / Eeles Relating System Quality and Software Architecture
Erscheinungsjahr 2014Verlag: Elsevier ScienceISBN: 978-0-12-417009-4Medium: Buch109,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baker / Dai / Williams Model-Driven Testing
Using the UML Testing Profile2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-72562-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moritz Sketchnotes in der IT
Abstrakte Themen mit Leichtigkeit visualisieren1. Auflage 2021Verlag: dpunkt.VerlagISBN: 978-3-86490-830-9Medium: Buch22,90 € (inkl. MwSt.)
Kurzfristig nicht lieferbar -
Samek Practical UML Statecharts in C/C++
Event-Driven Programming for Embedded Systems2. Auflage 2008Verlag: CRC PressISBN: 978-1-4987-1770-0Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)74,49 € (inkl. MwSt.)
sofort verfügbar -
Camarinha-Matos / Pereira / Ribeiro Emerging Trends in Technological Innovation
First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11627-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Camarinha-Matos / Pereira / Ribeiro Emerging Trends in Technological Innovation
First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2010, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-26242-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Colom / Desel Application and Theory of Petri Nets and Concurrency
34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38696-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort