Ergebnisse filtern
-
- 337
- 16
-
- 5
- 51
- 176
- 121
-
- 317
- 36
-
- 348
- 5
-
- 353
- 29
-
Mehta System Verilog Assertions and Functional Coverage
Guide to Language, Methodology and ApplicationsThird Auflage 2020Verlag: SpringerISBN: 978-3-030-24739-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Papajorgji / Pardalos Software Engineering Techniques Applied to Agricultural Systems
An Object-Oriented and UML ApproachSoftcover Nachdruck of the original 2. Auflage 2014Verlag: SpringerISBN: 978-1-4899-7903-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Mehta System Verilog Assertions and Functional Coverage
Guide to Language, Methodology and ApplicationsThird Auflage 2020Verlag: SpringerISBN: 978-3-030-24736-2Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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
-
Wecker Prozessorentwurf mit Verilog HDL
Modellierung und Synthese von Prozessormodellen1. Auflage 2021Verlag: De GruyterISBN: 978-3-11-071789-1Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark59,95 € (inkl. MwSt.)
sofort verfügbar
-
Maurer / Schmidt / Lindemann 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-44726-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark59,99 € (inkl. MwSt.)
sofort verfügbar
-
Wecker Prozessorentwurf mit Verilog HDL
Modellierung und Synthese von Prozessormodellen1. Auflage 2021Verlag: De GruyterISBN: 978-3-11-071782-2Medium: Buch59,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wahl / Rajan CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems
2013Verlag: Springer ViennaISBN: 978-3-7091-1725-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wahl / Rajan CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems
2013Verlag: Springer ViennaISBN: 978-3-7091-1386-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rauber Du Bois / Trinder Programming Languages
17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40921-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Grabowski / Herbold System Analysis and Modeling. Technology-Specific Aspects of Models
9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46612-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Van Gorp / Ritter / Rose Modelling Foundations and Applications
9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39012-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2015
15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27339-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Arbab / Ölveczky Formal Aspects of Component Software
8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35742-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Tekinerdogan / Babur / Cleophas Model Management and Analytics for Large Scale Systems
Erscheinungsjahr 2019Verlag: Elsevier Science Publishing Co IncISBN: 978-0-12-816649-9Medium: Buch136,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bae / Ölveczky Formal Aspects of Component Software
15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-02145-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03417-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dori Model-Based Systems Engineering with OPM and SysML
Softcover Nachdruck of the original 1. Auflage 2016Verlag: SpringerISBN: 978-1-4939-8014-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Beckert / Damiani / de Boer Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-35886-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dori Model-Based Systems Engineering with OPM and SysML
1. Auflage 2016Verlag: SpringerISBN: 978-1-4939-3294-8Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Christiansen / Stojanovic / Papadopoulos Modeling and Using Context
9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25590-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Reisig Understanding Petri Nets
Modeling Techniques, Analysis Methods, Case StudiesSoftcover Nachdruck of the original 1. Auflage 2013Verlag: SpringerISBN: 978-3-662-52307-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kiyoki / Kawaguchi / Jaakkola Information Modelling and Knowledge Bases XV
1. Auflage 2004Verlag: IOS PressISBN: 978-1-58603-396-5Medium: Buch74,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Reisig Understanding Petri Nets
Modeling Techniques, Analysis Methods, Case Studies2013Verlag: SpringerISBN: 978-3-642-33277-7Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hinchey / Olderog / Bowen Provably Correct Systems
1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-48627-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hinchey / Olderog / Bowen Provably Correct Systems
Softcover Nachdruck of the original 1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-83980-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Menzies / Kocaguneli / Turhan Sharing Data and Models in Software Engineering
Erscheinungsjahr 2014Verlag: Elsevier ScienceISBN: 978-0-12-417295-1Medium: Buch82,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gast Softwarearchitektur für Dummies
1. Auflage 2023Verlag: Wiley-VCH GmbHISBN: 978-3-527-72001-9Medium: Buch28,00 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
Pardalos / Papajorgji Software Engineering Techniques Applied to Agricultural Systems
An Object-Oriented and UML Approach1. Auflage. Softcover version of original hardcover Auflage 2006Verlag: Springer USISBN: 978-1-4419-3926-5Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Papajorgji / Pardalos Software Engineering Techniques Applied to Agricultural Systems
An Object-Oriented and UML Approach1. Auflage 2005Verlag: Springer-Verlag New YorkISBN: 978-0-387-28170-4Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rumpe Agile Modeling with UML
Code Generation, Testing, Refactoring1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-58861-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rumpe Agile Modeling with UML
Code Generation, Testing, RefactoringSoftcover Nachdruck of the original 1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-86494-5Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Vogel-Heuser System Engineering with SysML
Mechatronic Production Systems and Model-Based Engineering1. Auflage 2025Verlag: De GruyterISBN: 978-3-11-144165-8Medium: Buch54,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Vogel-Heuser System Engineering with SysML
Mechatronic Production Systems and Model-Based Engineering1. Auflage 2025Verlag: De GruyterISBN: 978-3-11-144341-6Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark54,95 € (inkl. MwSt.)
sofort verfügbar
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-88478-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Howar / Barnat Formal Methods for Industrial Critical Systems
23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-00243-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jaakkola / Kangassalo / Kawaguchi Information Modelling and Knowledge Bases XIV
1. Auflage 2003Verlag: IOS PressISBN: 978-1-58603-318-7Medium: Buch79,00 € (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
-
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
-
Wagner / Diaconescu Developing Web Applications
With UML using Java and JavaScript. Associations and Class Hierarchies1. Auflage 2021Verlag: De GruyterISBN: 978-3-11-049756-4Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark64,95 € (inkl. MwSt.)
sofort verfügbar
-
Badger / Rozier NASA Formal Methods
11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-20651-2Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Chiba / Tanter / Bodden Transactions on Aspect-Oriented Software Development XI
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-55098-0Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pasareanu / Salaün Formal Aspects of Component Software
9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-35860-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fairley Systems Engineering of Software-Enabled Systems
1. Auflage 2019Verlag: WileyISBN: 978-1-119-53501-0Medium: Buch128,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Diaconescu / Wagner Web Applications with Javascript or Java
Volume 2: Associations and Class Hierarchies1. Auflage 2021Verlag: De GruyterISBN: 978-3-11-050024-0Medium: Buch64,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fricker / Gavras / Thümmler Requirements Engineering for Digital Health
Softcover Nachdruck of the original 1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-37953-1Medium: Buch99,98 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fricker / Gavras / Thümmler Requirements Engineering for Digital Health
2015Verlag: Springer International PublishingISBN: 978-3-319-09797-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Zimprich Gamedesign und Spieleentwicklung für Dummies
1. Auflage 2021Verlag: Wiley-VCH GmbHISBN: 978-3-527-71774-3Medium: Buch20,00 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
France / Kazmeier / Breu Model Driven Engineering Languages and Systems
15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33665-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Samek Practical UML Statecharts in C/C++
Event-Driven Programming for Embedded SystemsRevisedVerlag: CRC PressISBN: 978-0-7506-8706-5Medium: Buch89,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Eisenhuth Drawing Product Ideas
Fast and Easy UX Drawing for Anyone1. Auflage 2022Verlag: WileyISBN: 978-1-119-83585-1Medium: Buch28,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Mistrik / Bahsoon / Kazman Economics-Driven Software Architecture
Erscheinungsjahr 2014Verlag: Elsevier ScienceISBN: 978-0-12-410464-8Medium: Buch108,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Friedenthal / Moore / Steiner A Practical Guide to SysML
The Systems Modeling Language3. Auflage 2014Verlag: Elsevier LTDISBN: 978-0-12-800202-5Medium: Buch58,00 € (inkl. MwSt.)
Kurzfristig nicht lieferbar
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47168-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bencomo / France / Cheng Models@run.time
Foundations, Applications, and RoadmapsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08914-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bertin / Crespi Architecture and Governance for Communication Services
1. Auflage 2013Verlag: WileyISBN: 978-1-84821-491-0Medium: Buch161,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Amine / Otmane / Bellatreche Modeling Approaches and Algorithms for Advanced Computer Applications
2013Verlag: SpringerISBN: 978-3-319-03304-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Starke Effektive Softwarearchitekturen
Ein praktischer Leitfaden9. überarbeitete Auflage 2020Verlag: Carl HanserISBN: 978-3-446-46376-9Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Amine / Otmane / Bellatreche Modeling Approaches and Algorithms for Advanced Computer Applications
1. Auflage 2013Verlag: SpringerISBN: 978-3-319-00559-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Duží / Jaakkola / Kiyoki Information Modelling and Knowledge Bases XVIII
1. Auflage 2007Verlag: IOS PressISBN: 978-1-58603-710-9Medium: Buch86,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Uecker / Schwarz / Sorokos Addressing Quality Properties in Use Case Descriptions.
Adding Assurance to a Use Case Process.Erscheinungsjahr 2021Verlag: Fraunhofer VerlagISBN: 978-3-8396-1724-3Medium: Buch79,00 € (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
-
Henno / Kiyoki / Tokuda Information Modelling and Knowledge Bases Xxiii
1. Auflage 2012Verlag: IOS PressISBN: 978-1-60750-991-2Medium: Buch148,50 € (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-136-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark36,90 € (inkl. MwSt.)
sofort verfügbar
-
Bouabana-Tebibel / Rubin Formalisms for Reuse and Systems Integration
2015Verlag: SpringerISBN: 978-3-319-16576-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ehlmann Object Relationship Notation (ORN) for Database Applications
Enhancing the Modeling and Implementation of AssociationsSoftcover Nachdruck of hardcover 1. Auflage 2009Verlag: Springer USISBN: 978-1-4419-3493-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hood / Pautz / Wiedemann Requirements Management
The Interface Between Requirements Development and All Other Systems Engineering ProcessesSoftcover Nachdruck of hardcover 1. Auflage 2008Verlag: SpringerISBN: 978-3-642-08002-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Haugen / Reed / Gotzhein System Analysis and Modeling: Theory and Practice
7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36756-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ehlmann Object Relationship Notation (Orn) for Database Applications
Enhancing the Modeling and Implementation of Associations2009. Auflage 2009Verlag: Springer UsISBN: 978-0-387-09553-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jürjens Secure Systems Development with UML
Softcover Nachdruck of hardcover 1. Auflage 2005Verlag: SpringerISBN: 978-3-642-05635-2Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Yamada Software Reliability Modeling
Fundamentals and Applications2014Verlag: Springer JapanISBN: 978-4-431-54564-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Molina / Pastor Model-Driven Architecture in Practice
A Software Production Environment Based on Conceptual ModelingSoftcover Nachdruck of hardcover 1. Auflage 2007Verlag: SpringerISBN: 978-3-642-09094-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hood / Pautz / Wiedemann Requirements Management
The Interface Between Requirements Development and All Other Systems Engineering Processes2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-47689-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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 Practice2015Verlag: Springer International PublishingISBN: 978-3-319-12837-5Medium: Buch53,49 € (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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Janca Alice and Bob Learn Secure Coding
1. Auflage 2025Verlag: WileyISBN: 978-1-394-17170-5Medium: Buch46,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
