Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2158
- Erscheinungsjahr
-
- 4
- 118
- 150
- 136
- 108
- 40
- 23
- 24
- 33
- 30
- 28
- 48
- 40
- 37
- 49
- 37
- 29
- 71
- 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
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 9
- 3
- 2
- 2
- 6
- 4
- 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
- 6
- 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
- 5
- 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
- 4
- 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
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 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
- 2
- 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
- 7
- 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
- 7
- 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
- 2
- 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
- 7
- 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
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 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
- 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
- 3
- 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
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 14
- 9
- 2
- 2
- 3
- 2
- 3
- 4
- 11
- 6
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 4
- 4
- 2
- 3
- 2
- 4
- 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
- 3
- 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
- 2
- 7
- 3
- 2
- 2
- 5
- 2
- 2
- 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
- 2138
- 1
- 10
- 1
- 6
- Preis
-
- 4
- 102
- 1722
- 330
- Sprachen
-
- 2158
- Verfügbarkeit
-
- 2109
- 49
- Katalog
-
- 2158
- 135
-
Ehrig / Floyd / Nivat Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Volume 2: Colloquium on Software Engineering (CSE)1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15199-9Medium: Buch50,28 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage50,28 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baldoni / Bentahar / van Riemsdijk Declarative Agent Languages and Technologies VII
7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-11354-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hammer Compiler Compilers
Third International Workshop, CC `90. Schwerin, FRG, October 22-24, 1990. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-53669-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
König / Heiner / Wolisz Formal Techniques for Networked and Distributed Systems - FORTE 2003
23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 20031. Auflage 2003Verlag: SpringerISBN: 978-3-540-20175-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Buyya / Baker Grid Computing - GRID 2000
First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41403-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Taha Semantics, Applications, and Implementation of Program Generation
Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42558-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Iklé / Franz / Kemendo Artificial General Intelligence
19th International Conference, AGI 2026, San Francisco, CA, USA, July 27-30, 2026, Proceedings, Part IIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-33194-6Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chamberlain / Taha / Törngren Cyber Physical Systems. Design, Modeling, and Evaluation
7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-17909-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fonseca i Casas / Sancho / Sherratt System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-30689-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Finkbeiner / Mariani Runtime Verification
19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-32078-2Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Xia / Zhang Services - SERVICES 2019
15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23380-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chamberlain / Taha / Törngren Cyber Physical Systems. Model-Based Design
8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23702-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hojjat / Massink Fundamentals of Software Engineering
8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-31516-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shyamasundar / Huang / He Blockchain - ICBC 2025
8th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-06175-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Steffen Bridging the Gap Between AI and Reality
Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes, Greece, November 1-5, 2025, Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-07131-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vojnar / Zhang Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I1. Auflage 2019Verlag: SpringerISBN: 978-3-030-17461-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Llamosi / Strohmeier Reliable Software Technologies - Ada-Europe 2004
9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22011-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Koch / Krishnamurthy / McAllister Reconfigurable Computing: Architectures, Tools and Applications
7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19474-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Namjoshi / Zeller / Ziv Hardware and Software: Verification and Testing
5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19236-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Valtchev / Jäschke Formal Concept Analysis
9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20513-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Müller-Olm / Seidl Static Analysis
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10935-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bogdan / Kuusinen / Lárusdóttir Human-Centered Software Engineering
7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-05908-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fleischer / Moret / Meineche Schmidt Experimental Algorithmics
From Algorithm Design to Robust and Efficient Software1. Auflage 2002Verlag: SpringerISBN: 978-3-540-00346-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Balandin / Moltchanov / Koucheryavy Next Generation Teletraffic and Wired/Wireless Advanced Networking
8th International Conference, NEW2AN 2008 and 1st Russian Conference on Smart Spaces, ruSMART, St. Petersburg, Russia, September 3-5, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85499-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cervesato / Veith / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings1. Auflage 2008Verlag: SpringerISBN: 978-3-540-89438-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