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
-
Haxthausen / Serwe Formal Methods for Industrial Critical Systems
29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-68149-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mugnier / Chein Conceptual Structures: Theory, Tools and Applications
6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64791-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Duenas-Cid / Roenne / Volkamer Electronic Voting
9th International Joint Conference, E-Vote-ID 2024, Tarragona, Spain, October 2-4, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-72243-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Yin / Jiang Intelligent Robotics and Applications
15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part II1. Auflage 2022Verlag: SpringerISBN: 978-3-031-13821-8Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ursino Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources
Semi-Automatic Approaches and Tools1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43347-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cohen Algorithmic Number Theory
Second International Symposium, ANTS-II, Talence, France, May 18 - 23, 1996, Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61581-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Feng / Xu Theory and Applications of Models of Computation
16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-59266-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Machado / Heywood / McDermott Genetic Programming
18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-16500-4Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Feitelson / Rudolph Job Scheduling Strategies for Parallel Processing
IPPS '96 Workshop, Honolulu, Hawaii, April 16, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61864-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zachmann / Alcañiz Raya / Bourdot Virtual Reality and Mixed Reality
19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14-16, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-16233-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lokoc / Lokoc / Peška MultiMedia Modeling
32nd International Conference on Multimedia Modeling, MMM 2026, Prague, Czech Republic, January 29-31, 2026, Proceedings, Part IVErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-956962-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Balachandran / Inkulu Algorithms and Discrete Applied Mathematics
8th International Conference, CALDAM 2022, Puducherry, India, February 10-12, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-030-95017-0Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shankaranarayanan / Sankaranarayanan / Trivedi Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-82702-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stajano / Matyáš / Christianson Security Protocols XXVIII
28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers1. Auflage 2023Verlag: SpringerISBN: 978-3-031-43032-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007
10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72787-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Maler / Halász / Dang Hybrid Systems Biology
Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27655-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ciucci / Wang / Mitra Rough Sets and Knowledge Technology
10th International Conference, RSKT 2015, Held as Part of the International Joint Conference on Rough Sets, IJCRS 2015, Tianjin, China, November 20-23, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25753-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Midkiff / Moreira / Gupta Languages and Compilers for Parallel Computing
13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42862-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lucena / Garcia / Romanovsky Software Engineering for Multi-Agent Systems II
Research Issues and Practical Applications1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21182-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sakaibara / Kobayashi / Sato Grammatical Inference: Algorithms and Applications
8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45264-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bougé / Prasanna High Performance Computing - HiPC 2004
11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-24129-4Medium: 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. Specialized Techniques and Applications
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IIErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45230-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Roth / Vetter Pattern Recognition
39th German Conference, GCPR 2017, Basel, Switzerland, September 12-15, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66708-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dau The Logic System of Concept Graphs with Negation
And Its Relationship to Predicate Logic1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20607-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vogt Concurrency 88
International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-50403-0Medium: 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