Ergebnisse filtern
- Fachgebiet
- Medium
-
- 597
- 27
- 4
- 1
- Erscheinungsjahr
-
- 1
- 7
- 9
- 6
- 10
- 20
- 10
- 15
- 34
- 18
- 71
- 66
- 95
- 94
- 65
- 11
- 24
- 6
- 6
- 6
- 5
- 5
- 6
- 6
- 4
- 6
- 3
- 2
- 6
- 1
- 1
- 3
- 1
- 1
- Autoren
-
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 4
- 2
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 6
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 9
- 1
- 2
- 4
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 7
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 7
- 3
- 2
- 1
- 4
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 3
- 1
- 3
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 5
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 5
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 11
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 6
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 8
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 10
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 2
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- Verlag
-
- 1
- 17
- 1
- 3
- 1
- 12
- 4
- 18
- 3
- 2
- 12
- 2
- 3
- 8
- 5
- 2
- 2
- 2
- 6
- 10
- 1
- 3
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 220
- 13
- 2
- 177
- 1
- 2
- 7
- 1
- 1
- 4
- 12
- 4
- 2
- 1
- 4
- 3
- 1
- 1
- 1
- 13
- 24
- 1
- 1
- 2
- 2
- Preis
-
- 12
- 103
- 340
- 174
- Sprachen
-
- 543
- 89
- Verfügbarkeit
-
- 619
- 10
- Katalog
-
- 629
- 76
-
Mouheb / Debbabi / Pourzandi Aspect-Oriented Security Hardening of UML Design Models
Softcover Nachdruck of the original 1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-36894-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bloem / Clarke / Henzinger Handbook of Model Checking
1. Auflage 2018Verlag: Springer-Verlag GmbHISBN: 978-3-319-10574-1Medium: Buch149,79 € (inkl. MwSt.)
Kurzfristig nicht lieferbar149,79 € (inkl. MwSt.)
Kurzfristig nicht lieferbar, wird unverzüglich nach Lieferbarkeit versandt.
-
Reese / Frischkorn / Kebriaei Computational Modelling in Production and Medical Technology
State of the Art and Visions2015Verlag: Verlag Ferdinand SchöninghISBN: 978-3-506-78189-5Medium: Buch22,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage22,90 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage76,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Fitzgerald / Heitmeyer / Gnesi FM 2016: Formal Methods
21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48988-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Maabout / Cuzzocrea Model and Data Engineering
Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings2013Verlag: SpringerISBN: 978-3-642-41365-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Clarke / Veith / Henzinger Handbook of Model Checking
Softcover Nachdruck of the original 1. Auflage 2018Verlag: Springer Nature Switzerland AGISBN: 978-3-030-13233-0Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage50,28 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Boiten / Derrick Refinement
Semantics, Languages and Applications1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-92709-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Periyasamy / Alagar Specification of Software Systems
2. Auflage 2011Verlag: SpringerISBN: 978-0-85729-276-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage128,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Borrione Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's
Selected Contributions on Specification, Design, and Verification from FDL 20092010Verlag: Springer NetherlandsISBN: 978-94-007-3333-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Noble / Wallingford / Johnson Transactions on Pattern Languages of Programming III
2013Verlag: SpringerISBN: 978-3-642-38675-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Fox / Doberkat Software Prototyping mit SETL
1989Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02272-5Medium: Buch49,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,95 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
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 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Saleh Formalizing Data-Centric Web Services
1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-24676-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Van Gorp / Rose / Ritter Modelling Foundations and Applications
9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-39012-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Moreira / Schätz / Clarke Model-Driven Engineering Languages and Systems
16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings2013Verlag: SpringerISBN: 978-3-642-41532-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage53,49 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage
-
Mery / Giannakopoulou FM 2012: Formal Methods
18th International Symposium, Paris, France, August 27-31, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-32758-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / Pierantonio / Cortellessa Formal Methods for Model-Driven Engineering
12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures2012Verlag: SpringerISBN: 978-3-642-30981-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Starke / Eilebrecht 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 Werktage19,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Wieringa Design Methods for Reactive Systems
Yourdon, Statemate, and the UMLErscheinungsjahr 2003Verlag: Elsevier Science & TechnologyISBN: 978-1-55860-755-2Medium: Buch78,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage78,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Morawiec / Kazmierski / Kazmierski System Specification and Design Languages
Selected Contributions from FDL 20102012Verlag: SpringerISBN: 978-1-4899-9441-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Mehler Digital Integrated Circuit Design Using Verilog and Systemverilog
Erscheinungsjahr 2014Verlag: Elsevier Science & TechnologyISBN: 978-0-12-408059-1Medium: Buch83,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage83,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Maehne / Louërat Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2013Softcover Nachdruck of the original 1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-35913-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
