Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2040
- Erscheinungsjahr
-
- 11
- 151
- 140
- 107
- 39
- 18
- 33
- 34
- 30
- 27
- 37
- 47
- 37
- 50
- 39
- 33
- 67
- 60
- 66
- 74
- 65
- 59
- 117
- 104
- 94
- 73
- 59
- 52
- 37
- 29
- 36
- 33
- 27
- 32
- 17
- 31
- 16
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 5
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 4
- 2
- 7
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 16
- 3
- 3
- 4
- 2
- 2
- 4
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 9
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 4
- 2
- 7
- 2
- 2
- 6
- 6
- 2
- 2
- 5
- 2
- 4
- 3
- 6
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 5
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 6
- 5
- 2
- 5
- 3
- 3
- 12
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 15
- 23
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 12
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 7
- 2
- 2
- 3
- 5
- 4
- 2
- 4
- 3
- 7
- 4
- 3
- 3
- 8
- 2
- 2
- 2
- 2
- 3
- 25
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 5
- 2
- 3
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 3
- 3
- 3
- 3
- 4
- 2
- 2
- 3
- 3
- 5
- 2
- 3
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 5
- 2
- 6
- 2
- 6
- 2
- 5
- 3
- 2
- 4
- 2
- 7
- 7
- 2
- 2
- 2
- 7
- 12
- 3
- 2
- 2
- 5
- 6
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 4
- 5
- 2
- 2
- 2
- 6
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 8
- 2
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 4
- 2
- 6
- 2
- 10
- 22
- 4
- 2
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 5
- 5
- 2
- 2
- 2
- 2
- 3
- 12
- 5
- 2
- 4
- 4
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 3
- 3
- 2
- 4
- 2
- 20
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 3
- 4
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 7
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 18
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 7
- 4
- 2
- 2
- 2
- 3
- 2
- 9
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 11
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 23
- 4
- 2
- 3
- 4
- 9
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 33
- 2
- 3
- 3
- 4
- 2
- 7
- 2
- 4
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 4
- 2
- 4
- 6
- 21
- 2
- 5
- 2
- 4
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 9
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 3
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 3
- 5
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 5
- 4
- 2
- 2
- 3
- 3
- 3
- 5
- 4
- 2
- 18
- 2
- 4
- 6
- 4
- 2
- 3
- 2
- 2
- 5
- 4
- Verlag
-
- 2033
- 1
- 6
- Preis
-
- 4
- 86
- 1651
- 299
- Sprachen
-
- 2040
- Verfügbarkeit
-
- 2039
- 1
- Eigenschaften
-
- 1
- Katalog
-
- 2040
- 133
-
Cimiano / Frank / Kohlhase Robust Argumentation Machines
First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-63535-9Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Neele / Wijs Model Checking Software
30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-66148-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Finkbeiner / Kovács Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-57248-7Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thórisson / Isaev / Sheikhlar Artificial General Intelligence
17th International Conference, AGI 2024, Seattle, WA, USA, August 13-16, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-65571-5Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chin / Xu Theoretical Aspects of Software Engineering
18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-64625-6Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Steffen Bridging the Gap Between AI and Reality
Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-75433-3Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rau Cross-Cultural Design
15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35935-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yangui / Bouassida Rodriguez / Drira Service-Oriented Computing
17th International Conference, ICSOC 2019, Toulouse, France, October 28-31, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-33701-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Laender / Pernici / Lim Conceptual Modeling
38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, ProceedingsErscheinungsjahr 2019Verlag: SpringerISBN: 978-3-030-33222-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wyrzykowski / Deelman / Dongarra Parallel Processing and Applied Mathematics
13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part II1. Auflage 2020Verlag: SpringerISBN: 978-3-030-43221-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
ter Beek / Nickovic / Nickovic Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58297-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Colombo / Leucker Runtime Verification
18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03768-0Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03417-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Salaün / Wijs Formal Aspects of Component Software
17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-90635-1Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,14 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Calinescu / Pasareanu / Pasareanu Software Engineering and Formal Methods
19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-92123-1Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bowles / Broccia / Nanni From Data to Models and Back
9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers1. Auflage 2021Verlag: SpringerISBN: 978-3-030-70649-4Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Taibi / Smite Software Engineering and Advanced Applications
51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10-12, 2025, Proceedings, Part IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-04206-4Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Voevodin / Antonov / Nikitenko Supercomputing
11th Russian Supercomputing Days, RuSCDays 2025, Moscow, Russia, September 29-30, 2025, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-13126-3Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wrembel / Kotsis / Tjoa Database and Expert Systems Applications
36th International Conference, DEXA 2025, Bangkok, Thailand, August 25-27, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-02087-1Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage69,54 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Klusácek / Klusácek / Corbalán Job Scheduling Strategies for Parallel Processing
28th International Workshop, JSSPP 2025, Milan, Italy, June 3-4, 2025, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-10506-6Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ernst / Rozier Model Checking Software
31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-06846-0Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,14 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dima / Ferrando / Malvone PRIMA 2025: Principles and Practice of Multi-Agent Systems
26th International Conference, Modena, Italy, December 16-19, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-13561-2Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krogstie / Rinderle-Ma / Kappel Advanced Information Systems Engineering
37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-94573-1Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Iocchi / Matsubara / Weitzenfeld RoboCup 2008: Robot Soccer World Cup XII
Erscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02920-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kordon / Kermarrec Reliable Software Technologies - Ada-Europe 2009
14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-01923-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