Ergebnisse filtern
-
- 612
- 28
- 4
- 1
-
- 12
- 108
- 346
- 179
-
- 554
- 94
-
- 636
- 9
-
- 645
- 77
-
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, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36741-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Duddy / Kappel Theory and Practice of Model Transformations
6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38882-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bungartz / Zimmer / Buchholz Modeling and Simulation
An Application-Oriented IntroductionErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39523-9Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 -
Henderson-Sellers On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29824-0Medium: 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 -
Machado / Maciel / Rubin Model-Based Methodologies for Pervasive and Embedded Software
8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38208-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Louërat / Maehne Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2013Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-06316-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bungartz / Zimmer / Buchholz Modeling and Simulation
An Application-Oriented IntroductionSoftcover Nachdruck of the original 1. Auflage 2014Verlag: SpringerISBN: 978-3-662-51842-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Johnsen / Schaefer Software Engineering and Formal Methods
16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92969-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jain / Chatterjee / Bansal Computational Intelligence in Software Modeling
1. Auflage 2022Verlag: De GruyterISBN: 978-3-11-070934-6Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark123,95 € (inkl. MwSt.)
sofort verfügbar -
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 Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-662-49223-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moreira / Reis Implementation and Application of Automata
17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31605-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Butler / Conchon / Zaïdi Formal Methods and Software Engineering
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25422-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barner / Harris / Kroening Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19582-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vetter Objektmodellierung
Eine Einführung in die objektorientierte Analyse und das objektorientierte Design2., neubearbeitete und erweiterte Auflage 1998Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-12143-5Medium: Buch49,99 € (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 -
Aiguier / Caseau / Krob Complex Systems Design & Management
Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-43255-2Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Havelund / Holzmann / Joshi NASA Formal Methods
7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-17523-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lamprecht / Margaria Process Design for Natural Scientists
An Agile Model-Driven ApproachErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45005-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bangsow Use Cases of Discrete Event Simulation
Appliance and ResearchSoftcover Nachdruck of the original 1. Auflage 2012Verlag: SpringerISBN: 978-3-662-52057-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Codescu / Diaconescu Recent Trends in Algebraic Development Techniques
22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-28113-1Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ait Ameur / Bellatreche / Papadopoulos Model and Data Engineering
4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11586-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gallardo / Merino Model Checking Software
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-94110-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lamprecht User-Level Workflow Design
A Bioinformatics PerspectiveErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-45388-5Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tian / Sebe / Qi MultiMedia Modeling
22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part II1. Auflage 2016Verlag: SpringerISBN: 978-3-319-27673-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Salinesi / van de Weerd Requirements Engineering: Foundation for Software Quality
20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-05842-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cremer Graphbasierte Werkzeuge zum Reverse Engineering und Reengineering
2000Verlag: Deutscher UniversitätsverlagISBN: 978-3-8244-0497-1Medium: Buch59,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Comyn-Wattiau / Tanaka / Song Conceptual Modeling
35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46396-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Liu / Duan Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-17403-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tekinerdogan / Zdun / Babar Software Architecture
10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48991-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Doursat / Sayama / Michel Morphogenetic Engineering
Toward Programmable Complex Systems1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33901-1Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
George / Vardanega Reliable Software Technologies - Ada-Europe 2014
19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08310-0Medium: Buch51,36 € (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 -
Cellier / Distel / Ganter Formal Concept Analysis
11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38316-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bienemann Context-driven Generation of Specifications for Interactive Information Systems
Erscheinungsjahr 2009Verlag: IOS PressISBN: 978-1-58603-980-6Medium: Buch58,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
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 Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-51640-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lilienthal Langlebige Software-Architekturen
Technische Schulden analysieren, begrenzen und abbauenüberarbeitete und erweiterte AuflageVerlag: dpunkt.verlagISBN: 978-3-98890-137-8Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark36,90 € (inkl. MwSt.)
sofort verfügbar -
Shoemaker UML Applied
A .NET Perspective1. Auflage 2004Verlag: ApressISBN: 978-1-59059-087-4Medium: Buch46,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fuchs / Hauri Requirements-Engineering in IT effizient und verständlich
Praxisrelevantes Wissen in 24 Schritten1. Auflage 2012Verlag: Vieweg+Teubner VerlagISBN: 978-3-322-89886-9Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Oberle Semantic Management of Middleware
Erscheinungsjahr 2006Verlag: SpringerISBN: 978-0-387-27630-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kastens / Kleine Büning Modellierung
Grundlagen und formale Methoden5. aktualisierte Auflage 2021Verlag: Hanser FachbuchverlagISBN: 978-3-446-46942-6Medium: Buch29,99 € (inkl. MwSt.)
Lieferzeit ca. 1-3 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 -
Schellhase Entwicklungsmethoden und Architekturkonzepte für Web-Applikationen
Erstellung und Administration Web-basierter LernumgebungenErscheinungsjahr 2001Verlag: Deutscher UniversitätsverlagISBN: 978-3-8244-7379-3Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kawaguchi / Kangassalo / Jaakkola Information Modelling and Knowledge Bases XI
1. Auflage 2000Verlag: IOS PressISBN: 978-1-58603-041-4Medium: Buch74,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Kazmierski / Morawiec System Specification and Design Languages
Selected Contributions from FDL 20101. Auflage 2011Verlag: SpringerISBN: 978-1-4614-1426-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Topçu / Durak / Oguztüzün Distributed Simulation
A Model Driven Engineering ApproachSoftcover Nachdruck of the original 1. Auflage 2016Verlag: SpringerISBN: 978-3-319-79136-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Topçu / Durak / Oguztüzün Distributed Simulation
A Model Driven Engineering Approach1. Auflage 2016Verlag: SpringerISBN: 978-3-319-03049-4Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shao Programming Languages and Systems
5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76636-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kastens / Kleine Büning Modellierung
Grundlagen und formale Methoden4. überarbeitete Auflage 2018Verlag: Carl HanserISBN: 978-3-446-45539-9Medium: Buch33,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rumpe Agile Modeling with UML
Code Generation, Testing, Refactoring1. Auflage 2017Verlag: SpringerISBN: 978-3-319-58861-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 LecturesErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07316-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ambler The Object Primer
3. Auflage 2015Verlag: Cambridge University PressISBN: 978-0-521-54018-6Medium: Buch88,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sifakis Rigorous System Design
1. Auflage 2013Verlag: Now PublishersISBN: 978-1-60198-660-3Medium: Buch60,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Proietti / Seki Logic-Based Program Synthesis and Transformation
24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-17821-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Koch / Reisig / Schreiber Modeling in Systems Biology
The Petri Net Approach1. Auflage 2010Verlag: SpringerISBN: 978-1-84996-473-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chattopadhyay / Roychoudhury / Rosén Time-Predictable Embedded Software on Multi-Core Platforms
Analysis and OptimizationErscheinungsjahr 2014Verlag: Now PublishersISBN: 978-1-60198-794-5Medium: Buch73,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Abrial Modeling in Event-B
Erscheinungsjahr 2010Verlag: Cambridge University PressISBN: 978-0-521-89556-9Medium: Buch173,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jalloul UML by Example
Erscheinungsjahr 2016Verlag: Cambridge University PressISBN: 978-0-521-81051-7Medium: Buch107,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Anthony Iterating Infusion
Clearer Views of Objects, Classes, and Systems1. Auflage 2005Verlag: ApressISBN: 978-1-59059-537-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kastens / Kleine Büning Modellierung
Grundlagen und formale Methoden5. aktualisierte Auflage 2021Verlag: Carl HanserISBN: 978-3-446-46956-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark29,99 € (inkl. MwSt.)
sofort verfügbar -
Bellagamba Systems Engineering and Architecting
Creating Formal Requirements1. Auflage 2012Verlag: CRC PressISBN: 978-1-4398-8140-8Medium: Buch288,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Zhou / Wu System Modeling and Control with Resource-Oriented Petri Nets
1. Auflage 2010Verlag: Taylor & FrancisISBN: 978-1-4398-0885-6Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)113,99 € (inkl. MwSt.)
sofort verfügbar -
Karapanos Modeling Users' Experiences with Interactive Systems
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-43360-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jochum Konstruktive Software-Architektur
Konzeptuelle Gestaltung gebrauchstauglicher und änderungsfreundlicher SystemeErscheinungsjahr 2030Verlag: De GruyterISBN: 978-3-486-72009-9Medium: eBookFormat: PDF
Kopierschutz: 0 - No protection39,95 € (inkl. MwSt.)
vorbestellbar -
Rosenberg / Stephens Use Case Driven Object Modeling with UML
Theory and Practice2. Auflage 2013Verlag: ApressISBN: 978-1-4302-4305-2Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Koudri Model Based Systems Engineering
Theoretical Foundations1. Auflage 2025Verlag: WileyISBN: 978-1-394-34507-6Medium: Buch124,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Oppenheimer / Medina Pasaje Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 20141. Auflage 2016Verlag: SpringerISBN: 978-3-319-24455-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Oppenheimer / Medina Pasaje Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2014Softcover Nachdruck of the original 1. Auflage 2016Verlag: SpringerISBN: 978-3-319-79631-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rupp / Queins UML 2 glasklar
Praxiswissen für die UML-Modellierung4. aktualisierte und erweiterte Auflage 2012Verlag: Hanser FachbuchverlagISBN: 978-3-446-43057-0Medium: Buch34,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Bellagamba Systems Engineering and Architecting
Creating Formal Requirements1. Auflage 2012Verlag: CRC PressISBN: 978-1-4398-8142-2Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)121,99 € (inkl. MwSt.)
sofort verfügbar -
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 Papers2014Verlag: SpringerISBN: 978-3-319-14138-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Levin Modular System Design and Evaluation
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09875-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Braga / Ölveczky Formal Aspects of Component Software
12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-28933-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Remke / Stoelinga Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced LecturesErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45488-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jones / Pihlajasaari / Sun FM 2014: Formal Methods
19th International Symposium, Singapore, May 12-16, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-06409-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Avgeriou / Zdun Software Architecture
8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09969-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 BirthdaysErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75220-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30792-8Medium: Buch53,49 € (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 -
Vetter Objektmodellierung
Eine Einführung in die objektorientierte Analyse und das objektorientierte Design1. Auflage 1994Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02143-8Medium: Buch49,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wazlawick Object-Oriented Analysis and Design for Information Systems
Modeling with Bpmn, Ocl, Ifml, and Python2. Auflage 2024Verlag: Elsevier ScienceISBN: 978-0-443-13739-6Medium: Buch79,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Blackwell / Zhu Cyberpatterns
Unifying Design Patterns with Security and Attack PatternsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-04446-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Smialek / Nowakowski From Requirements to Java in a Snap
Model-Driven Requirements Engineering in Practice2015Verlag: SpringerISBN: 978-3-319-12837-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nakajima / Talpin / Toyoshima Cyber-Physical System Design from an Architecture Analysis Viewpoint
Communications of NII Shonan MeetingsSoftcover Nachdruck of the original 1. Auflage 2017Verlag: SpringerISBN: 978-981-13-5136-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yoong / Roop / Bhatti Model-Driven Design Using IEC 61499
A Synchronous Approach for Embedded and Automation SystemsSoftcover Nachdruck of the original 1. Auflage 2015Verlag: SpringerISBN: 978-3-319-34903-9Medium: Buch106,99 € (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 -
Hanmer Pattern-Oriented Software Architecture For Dummies
1. Auflage 2013Verlag: WileyISBN: 978-1-119-96399-8Medium: Buch33,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Crespi / Bertin Architecture and Governance for Communication Services
1. Auflage 2013Verlag: WileyISBN: 978-1-84821-491-0Medium: Buch164,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Oussalah Software Architecture 1
1. Auflage 2014Verlag: John Wiley & SonsISBN: 978-1-84821-600-6Medium: Buch164,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Schatten / Biffl / Demolsky Best Practice Software-Engineering
Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen1. Auflage. 2010Verlag: Spektrum Akademischer VerlagISBN: 978-3-8274-2486-0Medium: Buch89,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Micouin Model Based Systems Engineering
Fundamentals and Methods1. Auflage 2014Verlag: John Wiley & SonsISBN: 978-1-84821-469-9Medium: Buch164,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Editors-in-Chief: M.V. Fischetti / S. Goodnick Journal of Computational Electronics
Verlag: SpringerISSN: 15728137Medium: ZeitschriftInstitutionen - Online
1.798,67 € (inkl. MwSt.)
-
Brambilla / Fraternali Interaction Flow Modeling Language
Model-Driven Ui Engineering of Web and Mobile Apps with IfmlErscheinungsjahr 2014Verlag: Elsevier IncISBN: 978-0-12-800108-0Medium: Buch52,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
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 Watermark74,95 € (inkl. MwSt.)
sofort verfügbar -
Artho / Ölveczky Formal Techniques for Safety-Critical Systems
Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-17580-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kak Designing with Objects
Object-Oriented Design Patterns Explained with Stories from Harry Potter1. Auflage 2015Verlag: John Wiley & SonsISBN: 978-1-118-58120-9Medium: Buch88,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Gross Component-Based Software Testing with UML
1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20864-8Medium: 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 -
Simske Meta-Algorithmics
1. Auflage 2013Verlag: John Wiley & SonsISBN: 978-1-118-34336-4Medium: Buch106,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort