Ergebnisse filtern
- Fachgebiet
- Medium
-
- 612
- 28
- 4
- 1
- Erscheinungsjahr
-
- 3
- 8
- 9
- 6
- 11
- 19
- 11
- 16
- 34
- 19
- 72
- 66
- 96
- 95
- 65
- 12
- 24
- 7
- 7
- 6
- 5
- 5
- 6
- 7
- 4
- 6
- 3
- 2
- 6
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 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
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 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
- 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
- 3
- 1
- 1
- 2
- 2
- 1
- 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
- 2
- 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
- 3
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 3
- 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
- 2
- 3
- 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
- 7
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 7
- 3
- 2
- 1
- 3
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 3
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 2
- 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
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 4
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 5
- 2
- 2
- 3
- 1
- 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
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 6
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 2
- 1
- 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
- 1
- 2
- 1
- 1
- 2
- 2
- 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
- 1
- 3
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 8
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 3
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 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
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 2
- 10
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- Verlag
-
- 1
- 18
- 3
- 1
- 5
- 14
- 6
- 22
- 3
- 2
- 11
- 7
- 1
- 1
- 10
- 4
- 1
- 2
- 6
- 1
- 1
- 10
- 13
- 5
- 1
- 2
- 3
- 2
- 3
- 2
- 1
- 429
- 1
- 4
- 2
- 3
- 3
- 2
- 1
- 4
- 2
- 1
- 1
- 13
- 11
- 1
- 1
- 1
- 2
- 1
- Preis
-
- 12
- 108
- 346
- 179
- Sprachen
-
- 554
- 94
- Verfügbarkeit
-
- 636
- 9
- Katalog
-
- 645
- 77
-
Kangassalo / Jaakkola / Kawaguchi Information Modelling and Knowledge Bases XIII
1. Auflage 2002Verlag: IOS PressISBN: 978-1-58603-234-0Medium: Buch196,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen196,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Chen / Qin / Koo System-Level Validation
High-Level Modeling and Directed Test Generation Techniques1. Auflage 2012Verlag: SpringerISBN: 978-1-4614-1358-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Martin / Müller UML for Soc Design
2005. Auflage 2005Verlag: Springer UsISBN: 978-0-387-25744-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen106,99 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Chen / Qin / Koo System-Level Validation
High-Level Modeling and Directed Test Generation TechniquesErscheinungsjahr 2014Verlag: SpringerISBN: 978-1-4899-8629-0Medium: Buch109,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage109,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Havelund / Peleska / Roscoe Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-95581-0Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Xiao / Zhang / Ma System Simulation and Scientific Computing
International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34380-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Drechsler / Wille Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2015Softcover Nachdruck of the original 1. Auflage 2016Verlag: SpringerISBN: 978-3-319-81106-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baier / Tinelli Tools and Algorithms for the Construction and Analysis of Systems
21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-662-46680-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu Structured Object-Oriented Formal Language and Method
Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39276-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Badger / Rozier NASA Formal Methods
6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-06199-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Holzer / Kutrib Implementation and Application of Automata
19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08845-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sondi / Mullet Cybersecurity and Traceability in Factory 4.0
Blockchain Assets1. Auflage 2026Verlag: WileyISBN: 978-1-78945-224-2Medium: Buch157,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen157,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Markovski / Gusev ICT Innovations 2012
Secure and Intelligent Systems1. Auflage 2013Verlag: SpringerISBN: 978-3-642-37168-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Benghozi / Krob / Lonjon Digital Enterprise Design & Management
Proceedings of the Second International Conference on Digital Enterprise Design and Management DED&M 2014Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-04312-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34031-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Haddad / Pomello Application and Theory of Petri Nets
33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31130-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage79,18 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lavagno / Martin / Selic UML for Real
Design of Embedded Real-Time SystemsErscheinungsjahr 2003Verlag: SpringerISBN: 978-1-4020-7501-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ayala / Shang / Yakovlev Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36156-2Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (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 20092010. Auflage 2010Verlag: SpringerISBN: 978-90-481-9303-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen160,49 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Derrick / Boiten Refinement in Z and Object-Z
Foundations and Advanced Applications2. Auflage 2014Verlag: SpringerISBN: 978-1-4471-5354-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Boulanger Industrial Use of Formal Methods
Formal Verification1. Auflage 2012Verlag: WileyISBN: 978-1-84821-363-0Medium: Buch166,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen166,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Bellatreche / Manolopoulos Model and Data Engineering
5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23780-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 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