Ergebnisse filtern
- Fachgebiet
- Medium
-
- 613
- 26
- 4
- Erscheinungsjahr
-
- 4
- 9
- 9
- 6
- 9
- 18
- 11
- 16
- 34
- 19
- 72
- 66
- 95
- 96
- 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
- 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
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 4
- 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
- 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
- 1
- 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
- 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
- 3
- 1
- 1
- 2
- 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
- 2
- 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
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 2
- 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
- 13
- 6
- 21
- 3
- 2
- 12
- 4
- 1
- 1
- 10
- 4
- 1
- 2
- 5
- 1
- 1
- 10
- 2
- 5
- 1
- 2
- 2
- 2
- 3
- 2
- 1
- 434
- 1
- 4
- 4
- 2
- 1
- 4
- 2
- 1
- 13
- 23
- 1
- 1
- 1
- 2
- 4
- Preis
-
- 12
- 106
- 346
- 179
- Sprachen
-
- 554
- 91
- Verfügbarkeit
-
- 636
- 7
- Katalog
-
- 643
- 77
-
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 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gharbi / Koschel / Rausch Software Architecture Fundamentals
iSAQB-Compliant Study Guide for the Certified Professional for Software Architecture-Foundation Level Exam2. Auflage 2024Verlag: Rheinwerk Verlag GmbHISBN: 978-1-4932-2598-9Medium: Buch49,95 € (inkl. MwSt.)
Kurzfristig nicht lieferbar49,95 € (inkl. MwSt.)
Kurzfristig nicht lieferbar, wird unverzüglich nach Lieferbarkeit versandt.
-
Pan / Staab / Aßmann Ontology-Driven Software Development
1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31225-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Louërat / Maehne Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2013Softcover Nachdruck of the original 1. Auflage 2015Verlag: SpringerISBN: 978-3-319-35913-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Dutle / Muñoz / Narkawicz NASA Formal Methods
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-77934-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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
-
Bjørner Software Engineering 2
Specification of Systems and Languages1. Auflage. Softcover version of original hardcover Auflage 2006Verlag: SpringerISBN: 978-3-642-05940-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Jochum Konstruktive Software-Architektur
Konzeptuelle Gestaltung gebrauchstauglicher und änderungsfreundlicher Systeme1. Auflage 2030Verlag: De GruyterISBN: 978-3-486-71416-6Medium: Buch39,95 € (inkl. MwSt.)
vorbestellbar39,95 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. Dezember 2030
-
Chung Pro Objective-C Design Patterns for IOS
1. Auflage 2011Verlag: ApressISBN: 978-1-4302-3330-5Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen58,84 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Papajorgji / Pardalos Software Engineering Techniques Applied to Agricultural Systems
An Object-Oriented and UML Approach2. Auflage 2014Verlag: SpringerISBN: 978-1-4899-7462-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 20091. Auflage 2012Verlag: SpringerISBN: 978-94-007-3333-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kazmierski / Morawiec System Specification and Design Languages
Selected Contributions from FDL 2010Erscheinungsjahr 2014Verlag: SpringerISBN: 978-1-4899-9441-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gaševic / Djuric / Devedžic Model Driven Engineering and Ontology Development
2. Auflage 2009Verlag: SpringerISBN: 978-3-642-00281-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kobayashi Simulation and Modeling Related to Computational Science and Robotics Technology
Proceedings of Simcrt 20111. Auflage 2012Verlag: IOS PressISBN: 978-1-61499-091-8Medium: Buch125,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen125,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
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. 3 bis 4 Wochen148,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Jaakkola / Kangassalo / Kawaguchi Information Modelling and Knowledge Bases XII
1. Auflage 2001Verlag: IOS PressISBN: 978-1-58603-163-3Medium: Buch80,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen80,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
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. 3 bis 4 Wochen79,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Giannakopoulou / Mery FM 2012: Formal Methods
18th International Symposium, Paris, France, August 27-31, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32758-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gheyi / Naumann Formal Methods: Foundations and Applications
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33295-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Felleisen / Gardner Programming Languages and Systems
22nd European Symposium on Programming, ESOP 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-37035-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kühn / Pugliese Coordination Models and Languages
16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-43375-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Dudin / De Turck Analytical and Stochastic Modeling Techniques and Applications
20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39407-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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
