Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 73 Berechenbarkeitstheorie, Komplexitätstheorie
- 1106 Bildsignalverarbeitung
- 4575 Künstliche Intelligenz
- 2244 Logik, formale Sprachen, Automaten
- 948 Mathematik für Informatiker
- 1164 Mensch-Maschine-Interaktion
- 144 Natürliche Sprachen & Maschinelle Übersetzung
- 327 Rechnerarchitektur
- 409 Theoretische Informatik
- 27 Tonsignalverarbeitung
- 57 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 7793
- Erscheinungsjahr
-
- 165
- 692
- 714
- 435
- 296
- 155
- 173
- 199
- 183
- 205
- 210
- 220
- 188
- 208
- 208
- 178
- 174
- 202
- 167
- 240
- 218
- 190
- 277
- 239
- 210
- 192
- 132
- 127
- 99
- 107
- 103
- 97
- 88
- 76
- 60
- 69
- 45
- 48
- 31
- 32
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 11
- 5
- 12
- 9
- 10
- 10
- 3
- Autoren
-
- 6
- 5
- 5
- 5
- 3
- 6
- 3
- 3
- 3
- 5
- 9
- 6
- 9
- 8
- 6
- 7
- 3
- 3
- 3
- 4
- 4
- 3
- 9
- 5
- 3
- 8
- 3
- 3
- 16
- 4
- 20
- 4
- 7
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 6
- 8
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 7
- 4
- 14
- 25
- 36
- 6
- 3
- 27
- 7
- 4
- 4
- 3
- 6
- 3
- 7
- 11
- 3
- 16
- 4
- 4
- 11
- 3
- 3
- 3
- 3
- 39
- 4
- 6
- 4
- 4
- 4
- 4
- 4
- 7
- 4
- 5
- 4
- 4
- 4
- 4
- 9
- 6
- 16
- 4
- 4
- 5
- 6
- 5
- 6
- 6
- 4
- 6
- 6
- 8
- 7
- 5
- 5
- 4
- 4
- 17
- 4
- 6
- 7
- 10
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 7
- 6
- 5
- 4
- 10
- 5
- 5
- 6
- 40
- 4
- 6
- 14
- 8
- 5
- 7
- 9
- 8
- 4
- 4
- 8
- 7
- 4
- 10
- 4
- 4
- 4
- 5
- 14
- 4
- 9
- 4
- 4
- 15
- 14
- 6
- 4
- 4
- 4
- 5
- 8
- 4
- 39
- 10
- 7
- 4
- 7
- 5
- 7
- 6
- 5
- 4
- 16
- 7
- 8
- 10
- 4
- 8
- 7
- 6
- 11
- 5
- 4
- 7
- 4
- 24
- 11
- 5
- 10
- 5
- 11
- 4
- 4
- 4
- 8
- 6
- 6
- 10
- 4
- 4
- 6
- 4
- 34
- 5
- 11
- 41
- 4
- 11
- 9
- 7
- 16
- 4
- 4
- 4
- 5
- 19
- 38
- 5
- 4
- 5
- 9
- 15
- 8
- 4
- 4
- 7
- 6
- 12
- 4
- 4
- 4
- 4
- 8
- 5
- 4
- 8
- 4
- 4
- 4
- 39
- 5
- 7
- 5
- 4
- 10
- 4
- 4
- 5
- 4
- 4
- 11
- 4
- 4
- 4
- 5
- 6
- 8
- 4
- 6
- 7
- 6
- 11
- 5
- 5
- 6
- 8
- 4
- 6
- 4
- 10
- 5
- 4
- 4
- 4
- 4
- 6
- 4
- 4
- 4
- 15
- 22
- 7
- 10
- 6
- 4
- 8
- 10
- 6
- 24
- 4
- 6
- 4
- 4
- 4
- 5
- 4
- 4
- 5
- 4
- 5
- 4
- 4
- 4
- 4
- 7
- 4
- 5
- 6
- 4
- 5
- 4
- 5
- 6
- 7
- 4
- 9
- 16
- 11
- 5
- 8
- 8
- 4
- 35
- 38
- 4
- 8
- 23
- 7
- 8
- 14
- 8
- 5
- 24
- 12
- 4
- 5
- 6
- 15
- 5
- 4
- 4
- 4
- 4
- 4
- 5
- 6
- 7
- 6
- 5
- 6
- 4
- 6
- 27
- 4
- 13
- 46
- 8
- 4
- 15
- 7
- 6
- 6
- 4
- 7
- 16
- 7
- 8
- 6
- 4
- 4
- 4
- 14
- 7
- 5
- 4
- 5
- 4
- 4
- 8
- 5
- 5
- 10
- 15
- 35
- 5
- 4
- 19
- 7
- 17
- 20
- 67
- 11
- 4
- 15
- 4
- 4
- 4
- 19
- 4
- 5
- 6
- 9
- 13
- 5
- 5
- 4
- 4
- 22
- 4
- 6
- 7
- 16
- 8
- 7
- 19
- 39
- 7
- 17
- 10
- 4
- 7
- 6
- 4
- 4
- 4
- 4
- 8
- 15
- 6
- 6
- 4
- 5
- 67
- 4
- 5
- 10
- 4
- 6
- 6
- 15
- 6
- 11
- 5
- 8
- 4
- 18
- 5
- 8
- 6
- 4
- 4
- 16
- 4
- 7
- 6
- 4
- 13
- 4
- 4
- 13
- 6
- 4
- 5
- 5
- 4
- 13
- 6
- 5
- 7
- 9
- 4
- 4
- 6
- 6
- 22
- 4
- 4
- 6
- 6
- 5
- 8
- 4
- 4
- 8
- 13
- 21
- 4
- 4
- 6
- 7
- 15
- 4
- 5
- 29
- 4
- 6
- 9
- 9
- 4
- 4
- 10
- 6
- 5
- 5
- 14
- 4
- 20
- 17
- 4
- 5
- 9
- 9
- 7
- 19
- 9
- 5
- 4
- 5
- 25
- 5
- 14
- 22
- 35
- 4
- 7
- 9
- 6
- 6
- 4
- 12
- 5
- 4
- 4
- 6
- 6
- 4
- 7
- 8
- 13
- 4
- 90
- 12
- 17
- 4
- 4
- 10
- 6
- 13
- 12
- 4
- 5
- 4
- 5
- 18
- 20
- 24
- 6
- 4
- 62
- 4
- 19
- 6
- 9
- 4
- 12
- 20
- 5
- 6
- 5
- 4
- 6
- 4
- 4
- 4
- 4
- 14
- 5
- 5
- 23
- 6
- 4
- 13
- 12
- 13
- 15
- 14
- 12
- 6
- 18
- 4
- 11
- 4
- 6
- 7
- 4
- 6
- 18
- 32
- 21
- 6
- 4
- 6
- 4
- 7
- 10
- 5
- 4
- 6
- 6
- 7
- 6
- 4
- 11
- 6
- 6
- 4
- 4
- 7
- 8
- 8
- 13
- 4
- 8
- 4
- 5
- 4
- 22
- 4
- 8
- 4
- 4
- 16
- 4
- 9
- 7
- 5
- 9
- 59
- 4
- 4
- 7
- 6
- 5
- 6
- 11
- 37
- 13
- 5
- 10
- 6
- 5
- 5
- 10
- 4
- 4
- 6
- 5
- 4
- 4
- 4
- 5
- 6
- 6
- 8
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 7
- 43
- 5
- 5
- 19
- 5
- 6
- 18
- 8
- 4
- 4
- 13
- 6
- 13
- 15
- 8
- 14
- 5
- 4
- 5
- 23
- 9
- 4
- 4
- 4
- 11
- 4
- 4
- 6
- 4
- 15
- 10
- 11
- 4
- 11
- 7
- 11
- 5
- 4
- 8
- 24
- 9
- 7
- 6
- 9
- 6
- 5
- 10
- 7
- 9
- 5
- 8
- 4
- 4
- 6
- 4
- 9
- 4
- 4
- 6
- 9
- 24
- 6
- 12
- 4
- 5
- 19
- 4
- 4
- 5
- 91
- 5
- 6
- 5
- 6
- 9
- 10
- 9
- 8
- 4
- 7
- 4
- 5
- 19
- 8
- 4
- 91
- 4
- 39
- 11
- 11
- 89
- 22
- 14
- 7
- 4
- 9
- 11
- 6
- 6
- 4
- 4
- 4
- 7
- 89
- 4
- 5
- 15
- 20
- 4
- 10
- 12
- 4
- 11
- 4
- 17
- 11
- 12
- 4
- 5
- 4
- 11
- 4
- 4
- 10
- 15
- 5
- 4
- 4
- 6
- 4
- 4
- 4
- 4
- 9
- 11
- 4
- 22
- 4
- 5
- 4
- 5
- 4
- 5
- 14
- 4
- 5
- 8
- 5
- 9
- 11
- 34
- 9
- 4
- 6
- 6
- 7
- 18
- 9
- 4
- 11
- 6
- 10
- 11
- 5
- 5
- 7
- 5
- 29
- 35
- 4
- 8
- 7
- 8
- 22
- 4
- 6
- 8
- 4
- 14
- 24
- 20
- 9
- 13
- 22
- 46
- 10
- 5
- 16
- 9
- 9
- 19
- 12
- 11
- 4
- 6
- 8
- 32
- 24
- 12
- 6
- 4
- 12
- 4
- 12
- 9
- 12
- 5
- 7
- 6
- 4
- 15
- 4
- 5
- 6
- 4
- 7
- 89
- 10
- 7
- 15
- 4
- 5
- 5
- 4
- 4
- 14
- 6
- 4
- 25
- 5
- 11
- 4
- 5
- 13
- 4
- 21
- 6
- 4
- 5
- 17
- 8
- 7
- 6
- 6
- 8
- 6
- 4
- 4
- 4
- 4
- 26
- 6
- 10
- 10
- 5
- 4
- 6
- 6
- 6
- 5
- 6
- 4
- 6
- 9
- 4
- 18
- 5
- 10
- 4
- 11
- 6
- 24
- 4
- 14
- 4
- 4
- 5
- 4
- 18
- 4
- 10
- 6
- 5
- 4
- 18
- 6
- 6
- 5
- 18
- 4
- 11
- 4
- 5
- 4
- 5
- 5
- 20
- 4
- 43
- 4
- 14
- 22
- 18
- 4
- 5
- 4
- 6
- 6
- 4
- 4
- 32
- 7
- 9
- 5
- 18
- 5
- 19
- 4
- 6
- 4
- 10
- 4
- 6
- 6
- 4
- 20
- Verlag
-
- 1
- 7743
- 3
- 5
- 1
- 1
- 3
- 1
- 35
- Preis
-
- 27
- 237
- 5877
- 1652
- Sprachen
-
- 7788
- 16
- 12
- Verfügbarkeit
-
- 7784
- 9
- Eigenschaften
-
- 4
- Katalog
-
- 7793
- 331
-
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 -
Galmiche / Schulz / Sebastiani Automated Reasoning
9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-94204-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ribeiro / Sampaio Unifying Theories of Programming
7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-31037-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Paolis / Arpaia / Sacco Extended Reality
International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-3-031-71706-2Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Giunchiglia / Tacchella Theory and Applications of Satisfiability Testing
6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20851-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Paolis / Arpaia / Sacco Extended Reality
International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-71703-1Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Del Pia / Kaibel Integer Programming and Combinatorial Optimization
24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-32725-4Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Beyer / Hartmanns / Kordon TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions2024Verlag: SpringerISBN: 978-3-031-67694-9Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ciucci / Inuiguchi / Yao Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41217-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sauer / Bogdan / Forbrig Human-Centered Software Engineering
5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44810-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kotz / Mattern Agent Systems, Mobile Agents, and Applications
Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000 Zurich, Switzerland, September 13-15, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41052-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kubota / Kiguchi / Liu Intelligent Robotics and Applications
9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I1. Auflage 2016Verlag: SpringerISBN: 978-3-319-43505-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gurney / Sukthankar Computational Theory of Mind for Human-Machine Teams
First International Symposium, ToM for Teams 2021, Virtual Event, November 4-6, 2021, Revised Selected Papers1. Auflage 2022Verlag: SpringerISBN: 978-3-031-21670-1Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Huang / Wu / Liu Intelligent Robotics and Applications
10th International Conference, ICIRA 2017, Wuhan, China, August 16-18, 2017, Proceedings, Part I1. Auflage 2017Verlag: SpringerISBN: 978-3-319-65288-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Auer / Bryl / Tramp Linked Open Data -- Creating Knowledge Out of Interlinked Data
Results of the LOD2 ProjectErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09845-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sergeyev / Kvasov Numerical Computations: Theory and Algorithms
Third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019, Revised Selected Papers, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-39080-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brisaboa / Pedreira / Zezula Similarity Search and Applications
6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41061-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Nie / Yu Intelligent Robotics and Applications
14th International Conference, ICIRA 2021, Yantai, China, October 22-25, 2021, Proceedings, Part II1. Auflage 2021Verlag: SpringerISBN: 978-3-030-89097-1Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
König-Ries / Makki / Pissinou Developing an Infrastructure for Mobile and Wireless Systems
NSF Workshop IMWS 2001, Scottsdale, AZ, October 15, 2001, Revised PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00289-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Meng / Yan / Piuri Information Security Practice and Experience
18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-981-99-7031-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Amato / Mic / Traina Similarity Search and Applications
18th International Conference, SISAP 2025, Reykjavik, Iceland, October 1-3, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-06068-6Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Singh / Ray / Knowles Evolutionary Multi-Criterion Optimization
13th International Conference, EMO 2025, Canberra, ACT, Australia, March 4-7, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-963505-4Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sifakis Automatic Verification Methods for Finite State Systems
International Workshop, Grenoble, France. June 12-14, 1989. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52148-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Zhang Artificial Intelligence and Mobile Services - AIMS 2019
8th International Conference, 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-23366-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Seo / Kim Information Security and Cryptology - ICISC 2023
26th International Conference on Information Security and Cryptology, ICISC 2023, Seoul, South Korea, November 29 - December 1, 2023, Revised Selected Papers, Part I2024Verlag: SpringerISBN: 978-981-97-1234-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (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