Ergebnisse filtern
- Fachgebiet
- Medium
-
- 4927
- 416
- 10
- 6
- Erscheinungsjahr
-
- 1
- 32
- 290
- 327
- 261
- 221
- 203
- 196
- 167
- 232
- 154
- 219
- 137
- 237
- 225
- 252
- 110
- 329
- 118
- 152
- 156
- 125
- 163
- 140
- 148
- 108
- 111
- 76
- 65
- 56
- 43
- 57
- 48
- 33
- 47
- 22
- 30
- 19
- 8
- 8
- 7
- 3
- 5
- 4
- 3
- 1
- 2
- Autoren
-
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 8
- 2
- 3
- 2
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 6
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 9
- 2
- 4
- 4
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 4
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 9
- 2
- 2
- 15
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 10
- 2
- 2
- 2
- 2
- 4
- 10
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 9
- 2
- 2
- 2
- 10
- 3
- 4
- 2
- 9
- 3
- 2
- 3
- 2
- 2
- 6
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 8
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 14
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 6
- 3
- 5
- 2
- 22
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 13
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 9
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 3
- 6
- 6
- 3
- 5
- 3
- 3
- 3
- 5
- 4
- 3
- 4
- 3
- 3
- 8
- 6
- 3
- 3
- 4
- 8
- 3
- 3
- 3
- 3
- 7
- 3
- 7
- 3
- 3
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 5
- 5
- 3
- 3
- 3
- 11
- 7
- 3
- 4
- 4
- 4
- 4
- 4
- 10
- 3
- 9
- 3
- 3
- 10
- 3
- 3
- 4
- 9
- 18
- 5
- 3
- 6
- 3
- 4
- 7
- 3
- 6
- 3
- 3
- 3
- 6
- 3
- 5
- 17
- 5
- 5
- 3
- 3
- 5
- 5
- 3
- 4
- 4
- 4
- 3
- 5
- 9
- 6
- 3
- 3
- 6
- 3
- 4
- 5
- 4
- 3
- 3
- 3
- 3
- 14
- 4
- 4
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 4
- 6
- 4
- 4
- 3
- 4
- 9
- 3
- 6
- 3
- 6
- 3
- 3
- 5
- 5
- 4
- 3
- 3
- 5
- 4
- 4
- 3
- 11
- 3
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 8
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 8
- 9
- 3
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 4
- 3
- 5
- 5
- 4
- 3
- 3
- 3
- 4
- 5
- 4
- 3
- 5
- 4
- 9
- 10
- 3
- 3
- 3
- 6
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 3
- 6
- 3
- 4
- 4
- 3
- 3
- 5
- 6
- 4
- 5
- 3
- 4
- 3
- 3
- 4
- 13
- 4
- 3
- 4
- 3
- 4
- 6
- 3
- 3
- 12
- 3
- 3
- 3
- 3
- 4
- 5
- 3
- 3
- 5
- 3
- 3
- 6
- 5
- 5
- 4
- 3
- 3
- 3
- 8
- 9
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 3
- 3
- 7
- 3
- 4
- 3
- 10
- 10
- 8
- 3
- 5
- 5
- 5
- 3
- 5
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 27
- 4
- 3
- 16
- 3
- 4
- 4
- 3
- 3
- 3
- 6
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 5
- 6
- 6
- 4
- 3
- 4
- 3
- 6
- 3
- 12
- 12
- 3
- 3
- 8
- 4
- 3
- 5
- 4
- 3
- 3
- 4
- 3
- 8
- 3
- 8
- 3
- 3
- 3
- 3
- 5
- 5
- 3
- 13
- 19
- 4
- 4
- 3
- 5
- 4
- 3
- 4
- 3
- 3
- 4
- 4
- 8
- 8
- 6
- 3
- 3
- 3
- 10
- 17
- 4
- 5
- 8
- 4
- 7
- 4
- 3
- 3
- 21
- 6
- 4
- 3
- 3
- 3
- 4
- 4
- 4
- 5
- 5
- 11
- 6
- 3
- 3
- 4
- 3
- 3
- 4
- 6
- 4
- 3
- 4
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 10
- 5
- 4
- 4
- 6
- 3
- 3
- 4
- 11
- 9
- 4
- 4
- 3
- 9
- 4
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 7
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 6
- 5
- 5
- 8
- 8
- 6
- 8
- 3
- 4
- 3
- 3
- 13
- 5
- 4
- 7
- 5
- 5
- 4
- 6
- 8
- 3
- 3
- 4
- 4
- 3
- 7
- 3
- 6
- 8
- 8
- 3
- 6
- 3
- 5
- 3
- 3
- 16
- 8
- 4
- 5
- 4
- 7
- 4
- 3
- 3
- 6
- 4
- 4
- 20
- 5
- 9
- 4
- 8
- 5
- 14
- 3
- 3
- 5
- 3
- 4
- 4
- 3
- 4
- 5
- 5
- 3
- 8
- 3
- 4
- 3
- 13
- 3
- 15
- 21
- 3
- 6
- 7
- 6
- 9
- 13
- 4
- 3
- 5
- 7
- 3
- 22
- 3
- 4
- 5
- 3
- 5
- 4
- 3
- 3
- 10
- 4
- 3
- 3
- 9
- 4
- 6
- 5
- 4
- 10
- 3
- 5
- 3
- 5
- 4
- 3
- 7
- 3
- 7
- 7
- 3
- 4
- 12
- 9
- 4
- 6
- 5
- 4
- 8
- 12
- 4
- 6
- 7
- 16
- 5
- 7
- 3
- 7
- 5
- 17
- 12
- 3
- 11
- 3
- 6
- 16
- 4
- 10
- 7
- 9
- Verlag
-
- 2
- 2
- 6
- 3
- 1
- 1
- 24
- 2
- 226
- 1
- 3
- 8
- 1
- 1
- 5
- 4
- 144
- 6
- 1
- 2
- 19
- 21
- 106
- 3
- 259
- 222
- 7
- 1
- 3
- 15
- 27
- 2
- 2
- 2
- 31
- 22
- 2
- 17
- 1
- 2
- 11
- 1
- 9
- 2
- 2
- 4
- 1
- 2
- 1
- 15
- 1
- 1
- 1
- 6
- 3
- 1
- 1
- 7
- 4
- 6
- 1
- 5
- 4
- 1
- 1
- 2
- 1
- 2
- 9
- 2
- 4
- 1
- 1
- 4
- 1
- 1
- 2
- 9
- 1
- 2
- 15
- 11
- 16
- 1
- 2
- 2975
- 85
- 141
- 2
- 21
- 27
- 38
- 63
- 115
- 9
- 4
- 1
- 182
- 22
- 72
- 1
- 23
- 23
- 1
- 123
- 2
- 5
- 1
- 6
- 27
- 1
- 1
- 2
- 1
- Preis
-
- 56
- 574
- 2679
- 2050
- Sprachen
-
- 5150
- 209
- Verfügbarkeit
-
- 5304
- 55
- Eigenschaften
-
- 2
- Katalog
-
- 5359
- 792
-
Castro / van Renesse Peer-to-Peer Systems IV
4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29068-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nagl Gotik und Informatik
Intelligenter Entwurf damals und heute1. Auflage 2019Verlag: SpringerISBN: 978-3-662-55517-0Medium: Buch24,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage24,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Polani / Browning / Bonarini RoboCup 2003: Robot Soccer World Cup VII
1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22443-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34025-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Satu / Moni / Kaiser Machine Intelligence and Emerging Technologies
First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II1. Auflage 2023Verlag: SpringerISBN: 978-3-031-34621-7Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Verma / Pattanaik / Dhurandher Advanced Network Technologies and Intelligent Computing
Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part I2024Verlag: SpringerISBN: 978-3-031-64075-9Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dillig / Tasiran Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I1. Auflage 2019Verlag: SpringerISBN: 978-3-030-25539-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tomlin / Greenstreet Hybrid Systems: Computation and Control
5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43321-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hinchey / Rago / Rash Innovative Concepts for Autonomic and Agent-Based Systems
Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-69265-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wolper Computer Aided Verification
7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60045-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nesmachnow / Hernández Callejo Smart Cities
7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12-14, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-85323-4Medium: 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
10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-89158-9Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mitchell / Fernández-Vara / Thue Interactive Storytelling
7th International Conference on Interactive Digital Storytelling, ICIDS 2014, Singapore, Singapore, November 3-6, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-12336-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Martínez-Villaseñor / Ochoa-Ruiz / Montes Rivera Advances in Computational Intelligence. MICAI 2024 International Workshops
HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-83878-1Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mejia / Muñoz / Rocha Trends and Applications in Software Engineering
Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)1. Auflage 2018Verlag: SpringerISBN: 978-3-319-69340-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Clarke / Kurshan Computer-Aided Verification
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54477-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Agredo-Delgado / Ruiz / Meneses Escobar Human-Computer Interaction
10th Iberoamerican Conference, HCI-COLLAB 2024, Pereira, Colombia, June 4-7, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-91327-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ludäscher / Plale Provenance and Annotation of Data and Processes
5th International Provenance and Annotation Workshop, IPAW 2014, Cologne, Germany, June 9-13, 2014. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-16461-8Medium: 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. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03426-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cerone / Autili / Bucaioni Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers1. Auflage 2022Verlag: SpringerISBN: 978-3-031-12428-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Syrotiuk / Chávez Ad-Hoc, Mobile, and Wireless Networks
4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29132-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Langendoerfer / Liu / Matta Wired/Wireless Internet Communications
Second International Conference, WWIC 2004, Frankfurt/Oder, Germany, February 4-6, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20954-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zuse The Computer - My Life
1993. 1993Verlag: Springer-Verlag GmbHISBN: 978-3-540-56453-9Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage85,59 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Grigoras / Nicolau / Toursel Advanced Environments, Tools, and Applications for Cluster Computing
NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43672-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Davis Great Software Debates
1. Auflage 2004Verlag: WileyISBN: 978-0-471-67523-5Medium: Buch93,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage93,50 € (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