Ergebnisse filtern
-
- 602
- 26
- 4
- 1
-
- 12
- 108
- 340
- 173
-
- 544
- 92
-
- 623
- 10
-
- 633
- 77
Modellierung, UML, SysML
-
Shishkov Business Modeling and Software Design
Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-37477-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zörner Software-Architekturen dokumentieren und kommunizieren
Entwürfe, Entscheidungen und Lösungen nachvollziehbar und wirkungsvoll festhalten3. überarbeitete und erweiterte Auflage 2021Verlag: Carl HanserISBN: 978-3-446-47246-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark39,99 € (inkl. MwSt.)
sofort verfügbar -
Jeusfeld / Karlapalem Advances in Conceptual Modeling
ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25746-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cabot / Rubin Modelling Foundations and Applications
10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09194-5Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Quirchmayer / Basl / You Multidisciplinary Research and Practice for Informations Systems
IFIP WG 8.4, 8.9, TC 5 International Cross Domain Conference and Workshop on Availability, Reliability, and Security, CD-ARES 2012, Prague, Czech Republic, August 20-24, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32497-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gogolla / Kobryn UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools
4th International Conference, Toronto, Canada, October 1-5, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42667-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thurimella / Maalej Managing Requirements Knowledge
2013Verlag: SpringerISBN: 978-3-642-34418-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kavis Architecting the Cloud
Design Decisions for Cloud Computing Service Models (Saas, Paas, and Iaas)1. Auflage 2014Verlag: WileyISBN: 978-1-118-61761-8Medium: Buch59,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bell Incremental Software Architecture
A Method for Saving Failing It Implementations1. Auflage 2016Verlag: WileyISBN: 978-1-119-11764-3Medium: Buch46,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kalenborn Angebotserstellung und Planung von Internet-Projekten
Die werkzeugbasierte "Modeling by Example"-Methode2014Verlag: SpringerISBN: 978-3-658-07949-9Medium: Buch69,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Unterauer Workshops im Requirements Engineering
Methoden, Checklisten und Best Practices für die Ermittlung von Anforderungen2. überarbeitete und erweiterte Auflage 2019Verlag: dpunkt.VerlagISBN: 978-3-86490-695-4Medium: Buch29,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Schütte Grundsätze ordnungsmäßiger Referenzmodellierung
Konstruktion konfigurations- und anpassungsorientierter Modelle1998Verlag: Gabler VerlagISBN: 978-3-409-12843-8Medium: Buch69,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kossak / Illibauer / Geist A Rigorous Semantics for BPMN 2.0 Process Diagrams
Softcover Nachdruck of the original 1. Auflage 2014Verlag: Springer International PublishingISBN: 978-3-319-38523-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fehling / Leymann / Arbitter Cloud Computing Patterns
Fundamentals to Design, Build, and Manage Cloud Applications2014Verlag: Springer ViennaISBN: 978-3-7091-1567-1Medium: Buch246,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Inversini / Perroud Enterprise Architecture Patterns
Practical Solutions for Recurring IT-Architecture Problems2013Verlag: SpringerISBN: 978-3-642-37560-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zörner Software-Architekturen dokumentieren und kommunizieren
Entwürfe, Entscheidungen und Lösungen nachvollziehbar und wirkungsvoll festhalten3. überarbeitete und erweiterte Auflage 2021Verlag: Hanser FachbuchverlagISBN: 978-3-446-46928-0Medium: Buch39,99 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Evans / Kent / Selic UML 2000 - The Unified Modeling Language: Advancing the Standard
Third International Conference York, UK, October 2-6, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41133-8Medium: Buch106,99 € (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 -
Modellbasiertes Prototyping
Entwicklung betrieblicher Anwendungssysteme auf der Basis von Metamodellen1995Verlag: Deutscher UniversitätsverlagISBN: 978-3-8244-0266-3Medium: Buch32,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schalles Usability Evaluation of Modeling Languages
2013Verlag: SpringerISBN: 978-3-658-00050-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dumas / La Rosa / Mendling Fundamentals of Business Process Management
2. Auflage 2018Verlag: SpringerISBN: 978-3-662-56508-7Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kowalczuk / Orlowski / 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 -
Romanovsky / Thomas Industrial Deployment of System Engineering Methods
2013Verlag: SpringerISBN: 978-3-642-43064-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Inversini / Perroud Enterprise Architecture Patterns
Practical Solutions for Recurring IT-Architecture ProblemsSoftcover Nachdruck of the original 1. Auflage 2013Verlag: SpringerISBN: 978-3-642-42894-4Medium: Buch60,98 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kosanke / Nell Enterprise Engineering and Integration: Building International Consensus
Proceedings of ICEIMT '97, International Conference on Enterprise Integration and Modeling Technology, Torino, Italy, October 28-30, 19971. Auflage 1997Verlag: SpringerISBN: 978-3-540-63402-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Long Long, J: PROCESS MODELING STYLE
Erscheinungsjahr 2014Verlag: Elsevier LTD, OxfordISBN: 978-0-12-800959-8Medium: Buch23,12 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thurimella / Maalej Managing Requirements Knowledge
2013Verlag: SpringerISBN: 978-3-642-44382-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gluchowski / Leisten / Presser Architekturen für BI & Analytics
Konzepte, Technologien und Anwendungen1. Auflage 2021Verlag: dpunkt.VerlagISBN: 978-3-86490-864-4Medium: Buch59,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Maurer / Schulze Tag des Systems Engineering
Menschen - Kosten - Komplexe Produkte - Dienstleistungen1. Auflage 2010Verlag: Carl HanserISBN: 978-3-446-42491-3Medium: Buch29,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chemuturi Requirements Engineering and Management for Software Development Projects
2013Verlag: SpringerISBN: 978-1-4614-5376-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grande 100 Minuten für Anforderungsmanagement
Kompaktes Wissen nicht nur für Projektleiter und Entwickler2., aktualisierte Auflage 2014Verlag: SpringerISBN: 978-3-658-06434-1Medium: Buch44,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tiwari / Mahanty / Sarmah Modeling of Responsive Supply Chain
Erscheinungsjahr 2013Verlag: Taylor & FrancisISBN: 978-1-4665-1036-4Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)91,49 € (inkl. MwSt.)
sofort verfügbar -
Mairon / Heinrich Objektorientierte Systemanalyse
1. Auflage 2008Verlag: De GruyterISBN: 978-3-486-58366-3Medium: Buch21,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cardoso / Lopes / Poels Service Systems
Concepts, Modeling, and ProgrammingErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10812-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barjis / Pergl / Babkin Enterprise and Organizational Modeling and Simulation
11th International Workshop, EOMAS 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24625-3Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rupp / SOPHISTen Requirements-Engineering und -Management
Aus der Praxis von klassisch bis agil6. aktualisierte und erweiterte Auflage 2014Verlag: Hanser FachbuchverlagISBN: 978-3-446-43893-4Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Kowalczuk / Orlowski / 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 -
Berstel-Da Silva Verification of Business Rules Programs
Softcover Nachdruck of the original 1. Auflage 2014Verlag: SpringerISBN: 978-3-662-51407-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aiguier / Boulanger / Krob Complex Systems Design & Management
Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013Softcover Nachdruck of the original 1. Auflage 2014Verlag: SpringerISBN: 978-3-319-37763-6Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dumas / La Rosa / Mendling Fundamentals of Business Process Management
Softcover Nachdruck of the original 2. Auflage 2018Verlag: SpringerISBN: 978-3-662-58585-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kimbrough / Wu Formal Modelling in Electronic Commerce
Erscheinungsjahr 2004Verlag: SpringerISBN: 978-3-540-21431-1Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wu / Kimbrough Formal Modelling in Electronic Commerce
2005Verlag: SpringerISBN: 978-3-642-43561-4Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beveridge / Perks Guide to Enterprise IT Architecture
Softcover Nachdruck of the original 1. Auflage 2003Verlag: SpringerISBN: 978-1-4419-2886-3Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kossak / Illibauer / Geist A Rigorous Semantics for BPMN 2.0 Process Diagrams
2014Verlag: Springer International PublishingISBN: 978-3-319-09930-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tiwari / Mahanty / Sarmah Modeling of Responsive Supply Chain
1. Auflage 2012Verlag: Taylor & Francis IncISBN: 978-1-4665-1034-0Medium: Buch167,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Khalid Software Architecture for Business
1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-13634-5Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Czuchra UML in logistischen Prozessen
Graphische Sprache zur Modellierung der Systeme2010Verlag: Vieweg+Teubner VerlagISBN: 978-3-8348-0796-0Medium: Buch17,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Berstel-Da Silva Verification of Business Rules Programs
2014Verlag: SpringerISBN: 978-3-642-40037-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gerth Business Process Models
Change Management1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38603-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Romanovsky / Thomas Industrial Deployment of System Engineering Methods
1. Auflage 2013Verlag: SpringerISBN: 978-3-642-33169-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Indulska / Purao Advances in Conceptual Modeling
ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-12255-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beveridge / Perks Guide to Enterprise IT Architecture
2003Verlag: SpringerISBN: 978-0-387-95132-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grabis / Kirikova / Zdravkovic The Practice of Enterprise Modeling
6th IFIP WG 8.1 Working Conference, PoEM 2013, Riga, Latvia, November 6-7, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-41640-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Herden Model-Driven-Configuration-Management
Ein modellgetriebener Ansatz für das Konfigurationsmanagement von IT-Systemlandschaften2013Verlag: SpringerISBN: 978-3-658-01106-2Medium: Buch66,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fehling / Leymann / Arbitter Cloud Computing Patterns
Fundamentals to Design, Build, and Manage Cloud ApplicationsSoftcover Nachdruck of the original 1. Auflage 2014Verlag: Springer ViennaISBN: 978-3-7091-1953-2Medium: Buch246,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nurcan / Soffer / Bajec Advanced Information Systems Engineering
28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-39695-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grady System Requirements Analysis
2 edVerlag: Elsevier Science Publishing Co IncISBN: 978-0-12-417107-7Medium: Buch75,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Desfray / Raymond Modeling Enterprise Architecture with TOGAF
A Practical Guide Using UML and BPMNErscheinungsjahr 2014Verlag: Elsevier LTD, OxfordISBN: 978-0-12-419984-2Medium: Buch43,50 € (inkl. MwSt.)
vorbestellbar -
Kumar Shivakumar Architecting High Performing, Scalable and Available Enterprise Web Applications
Erscheinungsjahr 2014Verlag: Elsevier ScienceISBN: 978-0-12-802258-0Medium: Buch54,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zörner Software-Architekturen dokumentieren und kommunizieren
Entwürfe, Entscheidungen und Lösungen nachvollziehbar und wirkungsvoll festhalten3. überarbeitete und erweiterte Auflage 2021Verlag: Carl HanserISBN: 978-3-446-47293-8Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark39,99 € (inkl. MwSt.)
sofort verfügbar -
Khalid Software Architecture for Business
1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-13631-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barros / Gal / Kindler Business Process Management
10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32884-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hars Referenzdatenmodelle
Grundlagen effizienter Datenmodellierung1. Auflage 2012Verlag: Gabler VerlagISBN: 978-3-322-90398-3Medium: Buch44,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
La Rosa / Loos / Pastor Business Process Management
14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-45347-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mamayev Data Modeling of Financial Derivatives
A Conceptual Approach1. Auflage 2013Verlag: ApressISBN: 978-1-4302-6589-4Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Becker / Vering / Probandt Grundsätze ordnungsmäßiger Modellierung
Konzeption und Praxisbeispiel für ein effizientes Prozessmanagement2012Verlag: SpringerISBN: 978-3-642-30411-8Medium: Buch129,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
La Rosa / Loos / Pastor Business Process Management Forum
BPM Forum 2016, Rio de Janeiro, Brazil, September 18-22, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-45467-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chemuturi Requirements Engineering and Management for Software Development Projects
2013Verlag: SpringerISBN: 978-1-4899-9307-6Medium: 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: Hanser FachbuchverlagISBN: 978-3-446-45587-0Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Aiguier / Boulanger / Krob Complex Systems Design & Management
Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013Erscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-02811-8Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ardagna / Damiani / Maciaszek Business System Management and Engineering
From Open Issues to Applications1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32438-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fleischmann / Schmidt / Börger Subject-Oriented Business Process Management
2012Verlag: SpringerISBN: 978-3-642-32391-1Medium: Buch53,45 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fleischmann / Schmidt / Börger Subject-Oriented Business Process Management
2012Verlag: SpringerISBN: 978-3-642-44095-3Medium: Buch53,45 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jin Environment Modeling-Based Requirements Engineering for Software Intensive Systems
Erscheinungsjahr 2017Verlag: Elsevier ScienceISBN: 978-0-12-801954-2Medium: Buch72,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rupp / SOPHIST GmbH Systemanalyse kompakt
3. Auflage 2013Verlag: SpringerISBN: 978-3-642-35445-8Medium: Buch19,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Strecker / Jung Informing Possible Future Worlds
Essays in Honour of Ulrich FrankErscheinungsjahr 2024Verlag: LogosISBN: 978-3-8325-5768-3Medium: Buch49,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Die SOPHISTen KI im Requirements Engineering
Werkzeuge und Techniken für den Einsatz in der PraxisErscheinungsjahr 2025Verlag: dpunkt.VerlagISBN: 978-3-98889-051-1Medium: Buch36,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Systems Analysis and Design
International Student VersionVerlag: WileyISBN: 978-0-471-74271-5Medium: Buch54,90 € (inkl. MwSt.)
vorbestellbar -
Fisseler Learning and Modeling with Probabilistic Conditional Logic
Erscheinungsjahr 2010Verlag: IOS PressISBN: 978-1-60750-098-8Medium: BuchLieferzeit ca. 10 Werktage -
Stürmlinger Einstieg in die Objektorientierung
Einführung in die OOP mit UML 2, C# und JavaErscheinungsjahr 2004Verlag: Rheinwerk VerlagISBN: 978-3-89842-461-5Medium: Buch29,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Balzert Lehrbuch der Objektmodellierung
Analyse und Entwurf mit der UML 22. Auflage 2004Verlag: Spektrum Akademischer VerlagISBN: 978-3-8274-2903-2Medium: Buch44,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bloem / Clarke / Henzinger Handbook of Model Checking
1. Auflage 2018Verlag: Springer-Verlag GmbHISBN: 978-3-319-10574-1Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Eilebrecht / Starke Patterns kompakt
Entwurfsmuster für effektive Softwareentwicklung6. erweiterte und aktualisierte Auflage 2024Verlag: SpringerISBN: 978-3-658-43233-1Medium: Buch19,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. 10 Werktage -
Sebastian / Joereßen Problemlösung mit Modellen und Algorithmen
1998Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-00211-6Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clarke / Henzinger / Veith Handbook of Model Checking
Softcover Nachdruck of the original 1. Auflage 2018Verlag: SpringerISBN: 978-3-030-13233-0Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Starke / Hruschka arc42 in Aktion
Praktische Tipps zur Architekturdokumentation2. überarbeitete Auflage 2022Verlag: Carl HanserISBN: 978-3-446-46555-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark29,99 € (inkl. MwSt.)
sofort verfügbar -
Shi / Tlelo Cuautle / Tan Advanced Symbolic Analysis for VLSI Systems
Methods and ApplicationsSoftcover Nachdruck of the original 1. Auflage 2014Verlag: SpringerISBN: 978-1-4939-4795-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mitschele-Thiel Systems Engineering with SDL
1. Auflage 2001Verlag: Wiley-BlackwellISBN: 978-0-471-49875-9Medium: Buch128,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fricker / Schneider Requirements Engineering: Foundation for Software Quality
21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-16100-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Naumann Unifying Theories of Programming
5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-14805-2Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Seidl / Tillmann Tests and Proofs
8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09098-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Graf / Viswanathan Formal Techniques for Distributed Objects, Components, and Systems
35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-19194-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ricci / Bontcheva / Conlan User Modeling, Adaptation and Personalization
23rd International Conference, UMAP 2015, Dublin, Ireland, June 29 -- July 3, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-20266-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gleich / Komjáthy / Litvak Algorithms and Models for the Web Graph
12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26783-8Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kroening / Pasareanu / 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 -
Cornélio / Roscoe Formal Methods: Foundations and Applications
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-29472-8Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jansen / Malavolta / Muccini Software Architecture
14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58922-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 -
D'Souza / Narayan Kumar Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68166-5Medium: 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