Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2163
- Erscheinungsjahr
-
- 4
- 121
- 150
- 136
- 109
- 40
- 22
- 24
- 35
- 30
- 28
- 47
- 42
- 37
- 49
- 37
- 29
- 70
- 65
- 59
- 76
- 66
- 59
- 118
- 106
- 94
- 78
- 60
- 50
- 39
- 29
- 36
- 34
- 27
- 31
- 19
- 31
- 17
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 4
- 7
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 9
- 3
- 2
- 2
- 6
- 5
- 4
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 10
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 3
- 7
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 5
- 2
- 2
- 9
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 3
- 3
- 4
- 2
- 3
- 3
- 3
- 2
- 3
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 8
- 6
- 4
- 2
- 4
- 2
- 5
- 3
- 4
- 5
- 2
- 4
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 3
- 3
- 3
- 5
- 4
- 3
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 4
- 3
- 3
- 3
- 6
- 12
- 5
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 16
- 25
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 13
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 4
- 6
- 3
- 2
- 4
- 4
- 2
- 10
- 5
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 3
- 23
- 2
- 2
- 3
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 5
- 2
- 3
- 4
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 3
- 3
- 3
- 5
- 3
- 5
- 3
- 3
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 2
- 3
- 2
- 3
- 6
- 2
- 3
- 4
- 2
- 3
- 2
- 4
- 2
- 4
- 7
- 2
- 3
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 8
- 5
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 3
- 2
- 4
- 8
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 6
- 8
- 5
- 3
- 3
- 5
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 2
- 9
- 2
- 12
- 2
- 3
- 3
- 7
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 5
- 3
- 2
- 6
- 4
- 2
- 2
- 2
- 4
- 6
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 7
- 7
- 2
- 8
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 4
- 4
- 5
- 2
- 5
- 2
- 12
- 27
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 12
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 5
- 6
- 2
- 3
- 3
- 6
- 2
- 2
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 17
- 2
- 2
- 5
- 4
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 4
- 6
- 2
- 4
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 4
- 8
- 2
- 2
- 3
- 3
- 2
- 8
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 8
- 22
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 3
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 10
- 2
- 2
- 4
- 3
- 5
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 14
- 9
- 2
- 2
- 3
- 2
- 3
- 4
- 11
- 6
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 4
- 4
- 2
- 3
- 2
- 5
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 10
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 13
- 17
- 2
- 3
- 4
- 9
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 39
- 3
- 2
- 4
- 4
- 2
- 4
- 4
- 3
- 4
- 6
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 5
- 3
- 4
- 2
- 10
- 2
- 2
- 2
- 19
- 3
- 2
- 3
- 2
- 2
- 3
- 7
- 3
- 2
- 2
- 5
- 2
- 5
- 4
- 3
- 12
- 4
- 4
- 4
- 4
- 6
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 6
- 3
- 8
- 3
- 4
- 3
- 3
- 7
- 3
- 5
- 3
- 3
- 5
- 3
- 4
- 5
- 3
- 4
- 11
- 6
- 3
- 3
- 3
- 4
- 6
- 3
- 5
- 5
- 5
- 5
- 3
- 5
- 7
- 4
- 4
- 3
- 4
- 6
- 3
- 4
- 19
- 3
- 4
- 10
- 4
- 3
- 3
- 3
- 5
- Verlag
-
- 2
- 2142
- 1
- 11
- 1
- 6
- Preis
-
- 4
- 102
- 1727
- 330
- Sprachen
-
- 2163
- Verfügbarkeit
-
- 2111
- 52
- Katalog
-
- 2163
- 135
-
Hung / Sokolsky Automated Technology for Verification and Analysis
18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-59151-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dongol / Troubitsyna Integrated Formal Methods
16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-63460-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Heisel / Joosen / López Engineering Secure Future Internet Services and Systems
Current ResearchErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07451-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Albert / Sekerinski Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10180-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Saracino / Mori Emerging Technologies for Authorization and Authentication
Second International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-39748-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chamberlain / Varbanescu / Ltaief High Performance Computing
36th International Conference, ISC High Performance 2021, Virtual Event, June 24 - July 2, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-78712-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Malyshkin Parallel Computing Technologies
16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13-18, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-86358-6Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Biffl / Navarro / Löwe Software Architecture
15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-86043-1Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hacid / Cellary / Wang Web Information Systems Engineering - WISE 2018
19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-030-02921-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Podelski / Taïani Networked Systems
6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-05528-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gottlob / Inclezan / Maratea Logic Programming and Nonmonotonic Reasoning
16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-15706-6Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Enea / Piskac Verification, Model Checking, and Abstract Interpretation
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-11244-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Papadopoulos / Aslansefat / Katsaros Model-Based Safety and Assessment
6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-32871-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Biondi / Given-Wilson / Legay Model Checking Software
26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-30922-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ölveczky / Salaün Software Engineering and Formal Methods
17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-30445-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cabot / Visser Theory and Practice of Model Transformations
4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21731-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Taft / Duff / Brukardt Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) with 2025 AmendmentsErscheinungsjahr 2027Verlag: SpringerISBN: 978-3-031-83730-2Medium: Buch79,17 € (inkl. MwSt.)
vorbestellbar79,17 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. Juni 2027 -
Archibald / Semeráth Graph Transformation
19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1-2, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-29729-7Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fournier-Viger / Hassan / Bellatreche Model and Data Engineering
11th International Conference, MEDI 2022, Cairo, Egypt, November 21-24, 2022, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-21594-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Noda / Ando / Brugali Simulation, Modeling, and Programming for Autonomous Robots
Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34326-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wirsing / Nivat Algebraic Methodology and Software Technology
5th International Conference, AMAST '96 Munich, Germany, July 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61463-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Garousi / Madachy Trustworthy Software Development Processes
International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01679-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stuckenschmidt / Parent / Spaccapietra Modular Ontologies
Concepts, Theories and Techniques for Knowledge Modularization1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01906-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Menzies / Petke Search Based Software Engineering
9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66298-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Morazán / Scholz Implementation and Application of Functional Languages
21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16477-4Medium: 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