Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2235
- 191
- 11
- Erscheinungsjahr
-
- 1
- 11
- 281
- 296
- 254
- 241
- 209
- 158
- 196
- 121
- 128
- 83
- 80
- 44
- 44
- 61
- 77
- 25
- 20
- 1
- 6
- 5
- 9
- 10
- 6
- 7
- 1
- 2
- 3
- 5
- 8
- 2
- 3
- 3
- 2
- 1
- 3
- 6
- 2
- 4
- 2
- 1
- 1
- 1
- 1
- Autoren
-
- 2
- 4
- 2
- 5
- 5
- 3
- 9
- 2
- 3
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 5
- 4
- 2
- 3
- 2
- 3
- 9
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 9
- 5
- 2
- 2
- 4
- 4
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 6
- 3
- 3
- 2
- 2
- 2
- 5
- 3
- 3
- 3
- 5
- 5
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 7
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 17
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 27
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 7
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 8
- 2
- 2
- 2
- 8
- 2
- 4
- 2
- 2
- 6
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 30
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 12
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 9
- 2
- 3
- 2
- 3
- 9
- 2
- 2
- 2
- 7
- 7
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 3
- 9
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 4
- 4
- 3
- 7
- 3
- 3
- 3
- 3
- 4
- 5
- 5
- 3
- 4
- 3
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 4
- 4
- 5
- 4
- 3
- 3
- 4
- 6
- 15
- 5
- 3
- 5
- 4
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 6
- 7
- 3
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 6
- 4
- 5
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 4
- 3
- 7
- 3
- 6
- 3
- 3
- 5
- 3
- 5
- 8
- 3
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 4
- 5
- 9
- 3
- 4
- 4
- 3
- 4
- 3
- 3
- 8
- 30
- 3
- 6
- 3
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 11
- 3
- 4
- 7
- 3
- 7
- 5
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 6
- 5
- 3
- 3
- 4
- 3
- 6
- 3
- 6
- 3
- 4
- 8
- 4
- 3
- 3
- 5
- 4
- 3
- 3
- 4
- 3
- 6
- 7
- 8
- 9
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 4
- 7
- 6
- 4
- 4
- 3
- 3
- Verlag
-
- 2
- 2
- 10
- 4
- 8
- 1
- 5
- 2
- 1
- 7
- 7
- 1
- 83
- 3
- 249
- 140
- 1
- 2
- 1
- 3
- 3
- 3
- 2
- 1
- 1
- 4
- 1
- 7
- 3
- 1
- 333
- 61
- 638
- 3
- 2
- 174
- 133
- 9
- 7
- 21
- 1
- 52
- 16
- 165
- 239
- 17
- 5
- 1
- 2
- Preis
-
- 16
- 240
- 1172
- 1009
- Sprachen
-
- 2365
- 71
- 3
- Verfügbarkeit
-
- 2381
- 56
- Katalog
-
- 2437
- 282
-
Villani / Serra / Cagnoni Artificial Life and Evolutionary Computation
17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6¿8, 2023, Revised Selected Papers2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-57429-0Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cavalcanti / Beyer Fundamental Approaches to Software Engineering
27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-57258-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Worrell / Kobayashi Foundations of Software Science and Computation Structures
27th International Conference, FoSSaCS 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 I2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-57227-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Weil Computer Science ¿ Theory and Applications
12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-58746-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nguyen / Hoang / Trawinski Intelligent Information and Database Systems
10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part II1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-75419-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lu / Chen Frontiers in Algorithmics
12th International Workshop, FAW 2018, Guangzhou, China, May 8¿10, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-78454-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Brankovic / Smyth / Ryan Combinatorial Algorithms
28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-78824-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wong / Carro / Beck Applied Reconfigurable Computing
13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-56257-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Oikonomou / Sellis Algorithmic Aspects of Cloud Computing
Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-57044-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Walsh / Gaspers Theory and Applications of Satisfiability Testing ¿ SAT 2017
20th International Conference, Melbourne, VIC, Australia, August 28 ¿ September 1, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66262-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Riolo / Kordon / Worzel Genetic Programming Theory and Practice XIII
Softcover Nachdruck of the original 1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-81706-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mavronicolas Algorithms and Complexity
13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13¿16, 2023, Proceedings1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-30447-7Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Herzig / Pardo / Luo Logic and Argumentation
5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-40874-8Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sun / André Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24¿27, 2023, Proceedings, Part I1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-45328-1Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sun / André Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24¿27, 2023, Proceedings, Part II1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-45331-1Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sproston / Petrucci Formal Modeling and Analysis of Timed Systems
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19¿21, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-42625-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chimani / Bekos Graph Drawing and Network Visualization
31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20¿22, 2023, Revised Selected Papers, Part II1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-49274-7Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Orjuela-Cañón / Arias-Londoño / Lopez Applications of Computational Intelligence
6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023, Revised Selected Papers1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-48414-8Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zohar / Barbosa Formal Methods: Foundations and Applications
26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4¿8, 2023, Proceedings1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-49341-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dimitrova / Wolff / Lahav Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15¿16, 2024, Proceedings, Part II1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-50520-1Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Arcaini / Fredericks / Yue Search-Based Software Engineering
15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-48795-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vass Regional Failure Events in Communication Networks
Models, Algorithms and Applications1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-14258-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chopard / Arabi Haddad / Bandini Cellular Automata
15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, Geneva, Switzerland, September 12¿15, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-14925-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Boulier / Vorozhtsov / England Computer Algebra in Scientific Computing
24th International Workshop, CASC 2022, Gebze, Turkey, August 22¿26, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-14787-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Farmer Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-21114-0Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort