Ergebnisse filtern
-
- 345
- 16
-
- 5
- 52
- 179
- 125
-
- 325
- 36
-
- 355
- 6
-
- 361
- 28
-
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 -
Moritz Sketchnotes in der IT
Abstrakte Themen mit Leichtigkeit visualisieren1. Auflage 2021Verlag: dpunkt.VerlagISBN: 978-3-86490-830-9Medium: Buch22,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: Buch111,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
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)78,49 € (inkl. MwSt.)
sofort verfügbar -
Samek Practical UML Statecharts in C/C++
Event-Driven Programming for Embedded Systems2. Auflage 2008Verlag: Taylor & FrancisISBN: 978-1-4822-4926-2Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)78,49 € (inkl. MwSt.)
sofort verfügbar -
Singh Using Event-B for Critical Device Software Systems
2013Verlag: SpringerISBN: 978-1-4471-5259-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lanese / Madelaine Formal Aspects of Component Software
11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-15316-2Medium: Buch53,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 -
Eigner / Zafirov / Roubanov Modellbasierte virtuelle Produktentwicklung
2014Verlag: SpringerISBN: 978-3-662-43815-2Medium: Buch109,99 € (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 -
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 -
Janca Alice and Bob Learn Secure Coding
1. Auflage 2025Verlag: WileyISBN: 978-1-394-17170-5Medium: Buch47,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Henderson-Sellers / Ralyté / Ågerfalk Situational Method Engineering
Softcover Nachdruck of the original 1. Auflage 2014Verlag: SpringerISBN: 978-3-662-52263-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Züllighoven / Doberkat / Altmann Requirements Engineering '93: Prototyping
1993Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02682-2Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Johnsen / Petre Integrated Formal Methods
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38612-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Henderson-Sellers / Ralyté / Ågerfalk Situational Method Engineering
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-41466-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schlüter Generic Systems Engineering
Ein methodischer Ansatz zur Komplexitätsbewältigung3. Auflage 2023Verlag: SpringerISBN: 978-3-662-66788-0Medium: Buch109,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kramer / Legeard Model-Based Testing Essentials - Guide to the Istqb Certified Model-Based Tester
Foundation Level1. Auflage 2016Verlag: WileyISBN: 978-1-119-13001-7Medium: Buch76,99 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47165-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kecher / Hoffmann-Elbern / Will UML 2.5
Das umfassende Handbuch (Ausgabe 2021) - inkl. DIN A2-Poster mit allen Diagrammtypen7. aktualisierte Auflage 2021Verlag: Rheinwerk Verlag GmbHISBN: 978-3-8362-8447-9Medium: Buch34,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Große-Rhode Semantic Integration of Heterogeneous Software Specifications
2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40257-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pureur / Erder Continuous Architecture
Sustainable Architecture in an Agile and Cloud-Centric World1. Auflage 2015Verlag: Academic PressISBN: 978-0-12-803285-5Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)42,95 € (inkl. MwSt.)
sofort verfügbar -
Iida / Meseguer / Ogata Specification, Algebra, and Software
Essays Dedicated to Kokichi FutatsugiErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54623-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34031-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mittal / Risco-Martin / Risco Martín Netcentric System of Systems Engineering with DEVS Unified Process
1. Auflage 2013Verlag: Taylor & Francis IncISBN: 978-1-4398-2706-2Medium: Buch260,50 € (inkl. MwSt.)
Kurzfristig nicht lieferbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort