Ergebnisse filtern
-
- 339
- 17
-
- 5
- 52
- 176
- 123
-
- 321
- 35
-
- 350
- 6
-
- 356
- 28
-
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
-
Henderson-Sellers / Ralyté / Ågerfalk Situational Method Engineering
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-41466-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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)83,99 € (inkl. MwSt.)
sofort verfügbar
-
Janca Alice and Bob Learn Secure Coding
1. Auflage 2025Verlag: John Wiley & Sons IncISBN: 978-1-394-17170-5Medium: Buch48,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
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)83,99 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Züllighoven / Altmann / Doberkat Requirements Engineering '93: Prototyping
1. Auflage 1993Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02682-2Medium: Buch49,99 € (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: 6 - ePub Watermark42,95 € (inkl. MwSt.)
sofort verfügbar
-
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
1. Auflage 2016Verlag: John Wiley & SonsISBN: 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
-
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
-
Mittal / 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
-
Mittal / Risco Martín Netcentric System of Systems Engineering with DEVS Unified Process
1. Auflage 2013Verlag: CRC PressISBN: 978-1-4398-2707-9Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)146,99 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Ehrig / Engels / Kreowski Graph Transformation
6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33653-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rayadurgam / Tkachuk NASA Formal Methods
8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40647-3Medium: Buch69,54 € (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 I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34025-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03426-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Duffy Domain Architectures
1. Auflage 2004Verlag: John Wiley & SonsISBN: 978-0-470-84833-3Medium: Buch42,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Kroening / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21689-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dingel / Schulte / Ramos Model-Driven Engineering Languages and Systems
17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11652-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Castano / Vassiliadis / Lakshmanan Advances in Conceptual Modeling
ER 2012 Workshops CMS, ECDM-NoCoDA, MODIC, MORE-BI, RIGIM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33998-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rupp / SOPHISTen Requirements-Engineering und -Management
Das Handbuch für Anforderungen in jeder Situation7. aktualisierte und erweiterte Auflage 2020Verlag: Carl HanserISBN: 978-3-446-46430-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark54,99 € (inkl. MwSt.)
sofort verfügbar
-
Khan / Le Evolving Software Processes
Trends and Future Directions1. Auflage 2022Verlag: WileyISBN: 978-1-119-82126-7Medium: Buch208,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Cardoso / Lopes / Poels Service Systems
Concepts, Modeling, and ProgrammingErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10812-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Chemuturi Requirements Engineering and Management for Software Development Projects
1. Auflage 2012Verlag: SpringerISBN: 978-1-4614-5376-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kowalczuk / Orlowski Advanced Modeling of Management Processes in Information Technology
Erscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40876-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Chemuturi Requirements Engineering and Management for Software Development Projects
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-1-4899-9307-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kowalczuk / Orlowski Advanced Modeling of Management Processes in Information Technology
Softcover Nachdruck of the original 1. Auflage 2014Verlag: SpringerISBN: 978-3-662-52380-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Chonoles OCUP 2 Certification Guide
Preparing for the OMG Certified UML 2.5 Professional 2 Foundation ExamErscheinungsjahr 2017Verlag: Elsevier Science & TechnologyISBN: 978-0-12-809640-6Medium: Buch64,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Jensen / van der Aalst / Balbo Transactions on Petri Nets and Other Models of Concurrency VII
1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38142-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Drechsler Formal System Verification
State-of the-Art and Future TrendsSoftcover Nachdruck of the original 1. Auflage 2018Verlag: BirkhäuserISBN: 978-3-319-86223-1Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Brézillon / Blackburn / Dapoigny Modeling and Using Context
8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40971-4Medium: Buch53,49 € (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
-
Abrial Modeling in Event-B
Erscheinungsjahr 2010Verlag: Cambridge University PressISBN: 978-0-521-89556-9Medium: Buch173,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Livermore Average Joe
Be the Silicon Valley Tech Genius1. Auflage 2020Verlag: John Wiley & Sons IncISBN: 978-1-119-61887-4Medium: Buch34,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Joshi / Siegle / Stoelinga Quantitative Evaluation of Systems
10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40195-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hawblitzel / Miller Certified Programs and Proofs
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35307-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Drechsler Formal System Verification
State-of the-Art and Future Trends1. Auflage 2018Verlag: SpringerISBN: 978-3-319-57683-1Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Unhelkar UML 2.0 Models
1. Auflage 2005Verlag: John Wiley & SonsISBN: 978-0-471-72783-5Medium: Buch132,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Johannesson / Lee / Liddle Conceptual Modeling
34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25263-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ábrahám / Huisman Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33692-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Deinum / Cosmina Pro Spring MVC with Webflux
Web Development in Spring Framework 5 and Spring Boot 22. Auflage 2021Verlag: ApressISBN: 978-1-4842-5665-7Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Kroening / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21667-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Nagl Gotik und Informatik
Intelligenter Entwurf damals und heute1. Auflage 2019Verlag: SpringerISBN: 978-3-662-55517-0Medium: Buch24,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Markovski / Gusev ICT Innovations 2012
Secure and Intelligent Systems1. Auflage 2013Verlag: SpringerISBN: 978-3-642-37168-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bouabana-Tebibel / Rubin Integration of Reusable Systems
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-04716-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Seidl / Brandsteidl / Huemer UML @ Classroom
Eine Einführung in die objektorientierte Modellierung1. Auflage 2012Verlag: dpunkt.VerlagISBN: 978-3-89864-776-2Medium: Buch24,90 € (inkl. MwSt.)
Kurzfristig nicht lieferbar
-
Singh Using Event-B for Critical Device Software Systems
1. Auflage 2013Verlag: SpringerISBN: 978-1-4471-5259-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Große-Rhode Semantic Integration of Heterogeneous Software Specifications
1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: SpringerISBN: 978-3-642-07306-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hildebrandt / Ravara / van der Werf Web Services, Formal Methods, and Behavioral Types
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33611-4Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Browning / Eppinger / Schmidt Modeling and managing complex systems
Proceedings of the 17th International DSM Conference Fort Worth (Texas, USA), 4-6 November 20151. Auflage 2015Verlag: Carl HanserISBN: 978-3-446-44573-4Medium: Buch59,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kleuker Grundkurs Software-Engineering mit UML
Der pragmatische Weg zu erfolgreichen Softwareprojekten5. Auflage 2025Verlag: SpringerISBN: 978-3-658-46533-9Medium: Buch44,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
