Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 73 Berechenbarkeitstheorie, Komplexitätstheorie
- 1095 Bildsignalverarbeitung
- 4537 Künstliche Intelligenz
- 2239 Logik, formale Sprachen, Automaten
- 933 Mathematik für Informatiker
- 1172 Mensch-Maschine-Interaktion
- 139 Natürliche Sprachen & Maschinelle Übersetzung
- 327 Rechnerarchitektur
- 408 Theoretische Informatik
- 28 Tonsignalverarbeitung
- 58 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 7747
- Erscheinungsjahr
-
- 130
- 689
- 714
- 434
- 296
- 156
- 176
- 198
- 186
- 205
- 208
- 221
- 189
- 207
- 206
- 172
- 176
- 204
- 167
- 230
- 221
- 186
- 280
- 240
- 209
- 193
- 132
- 127
- 99
- 108
- 103
- 96
- 88
- 76
- 60
- 69
- 45
- 48
- 30
- 32
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 11
- 5
- 12
- 9
- 10
- 10
- 3
- Autoren
-
- 6
- 5
- 5
- 4
- 3
- 6
- 3
- 3
- 3
- 5
- 9
- 5
- 3
- 9
- 8
- 6
- 7
- 3
- 3
- 3
- 4
- 4
- 3
- 9
- 5
- 3
- 8
- 3
- 3
- 16
- 4
- 21
- 4
- 7
- 4
- 3
- 3
- 3
- 4
- 4
- 4
- 4
- 6
- 8
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 8
- 4
- 14
- 25
- 36
- 6
- 3
- 27
- 7
- 4
- 4
- 3
- 6
- 3
- 7
- 11
- 3
- 16
- 4
- 4
- 11
- 3
- 3
- 3
- 3
- 3
- 3
- 39
- 4
- 6
- 4
- 4
- 4
- 4
- 4
- 7
- 4
- 6
- 4
- 4
- 4
- 9
- 4
- 3
- 4
- 3
- 14
- 4
- 4
- 5
- 6
- 3
- 3
- 5
- 6
- 6
- 3
- 4
- 6
- 6
- 7
- 7
- 5
- 5
- 4
- 17
- 4
- 6
- 7
- 9
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 7
- 6
- 5
- 10
- 5
- 5
- 6
- 40
- 4
- 6
- 14
- 8
- 5
- 7
- 9
- 10
- 4
- 4
- 8
- 7
- 4
- 10
- 4
- 4
- 4
- 5
- 14
- 4
- 9
- 4
- 4
- 15
- 14
- 5
- 4
- 4
- 4
- 5
- 7
- 4
- 39
- 10
- 7
- 4
- 7
- 5
- 7
- 6
- 5
- 4
- 16
- 6
- 9
- 10
- 4
- 8
- 7
- 6
- 11
- 4
- 4
- 7
- 24
- 11
- 5
- 10
- 5
- 11
- 4
- 4
- 4
- 8
- 6
- 6
- 4
- 10
- 4
- 4
- 6
- 4
- 34
- 11
- 41
- 4
- 11
- 9
- 7
- 16
- 4
- 4
- 4
- 5
- 19
- 38
- 5
- 4
- 5
- 10
- 15
- 8
- 4
- 4
- 7
- 6
- 12
- 4
- 4
- 4
- 4
- 9
- 5
- 4
- 8
- 4
- 4
- 4
- 39
- 5
- 7
- 5
- 4
- 10
- 4
- 4
- 5
- 4
- 4
- 11
- 4
- 4
- 4
- 5
- 6
- 7
- 4
- 6
- 6
- 6
- 11
- 5
- 5
- 6
- 8
- 4
- 6
- 4
- 10
- 5
- 4
- 4
- 4
- 4
- 5
- 6
- 4
- 4
- 4
- 15
- 22
- 7
- 9
- 6
- 4
- 8
- 10
- 6
- 24
- 4
- 6
- 5
- 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
- 34
- 38
- 4
- 8
- 23
- 7
- 8
- 4
- 14
- 8
- 5
- 24
- 12
- 4
- 5
- 6
- 15
- 6
- 4
- 4
- 4
- 4
- 4
- 5
- 6
- 4
- 8
- 6
- 4
- 6
- 6
- 27
- 4
- 4
- 13
- 46
- 8
- 4
- 16
- 7
- 6
- 6
- 4
- 7
- 16
- 7
- 8
- 6
- 4
- 4
- 4
- 14
- 7
- 5
- 4
- 5
- 4
- 4
- 9
- 5
- 5
- 9
- 15
- 35
- 5
- 4
- 20
- 9
- 17
- 21
- 67
- 4
- 11
- 4
- 14
- 4
- 4
- 4
- 19
- 4
- 5
- 5
- 9
- 13
- 5
- 5
- 4
- 4
- 5
- 22
- 4
- 6
- 7
- 16
- 8
- 7
- 19
- 39
- 9
- 17
- 10
- 4
- 7
- 6
- 4
- 4
- 4
- 4
- 8
- 15
- 6
- 6
- 4
- 6
- 67
- 4
- 5
- 10
- 5
- 4
- 6
- 15
- 6
- 11
- 5
- 8
- 4
- 19
- 5
- 8
- 6
- 4
- 4
- 16
- 7
- 4
- 13
- 4
- 4
- 13
- 6
- 4
- 5
- 5
- 4
- 13
- 6
- 5
- 6
- 9
- 4
- 6
- 6
- 22
- 4
- 4
- 6
- 6
- 5
- 8
- 4
- 8
- 14
- 21
- 4
- 4
- 6
- 7
- 15
- 4
- 6
- 29
- 4
- 6
- 9
- 10
- 4
- 4
- 10
- 6
- 5
- 5
- 14
- 4
- 20
- 17
- 4
- 5
- 9
- 9
- 7
- 19
- 9
- 5
- 4
- 5
- 25
- 5
- 14
- 22
- 36
- 7
- 9
- 6
- 6
- 4
- 12
- 5
- 4
- 4
- 6
- 6
- 4
- 7
- 8
- 13
- 4
- 90
- 12
- 17
- 4
- 4
- 10
- 6
- 11
- 12
- 4
- 5
- 4
- 6
- 18
- 20
- 22
- 6
- 4
- 62
- 5
- 19
- 9
- 4
- 12
- 21
- 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
- 7
- 7
- 4
- 6
- 18
- 32
- 21
- 6
- 4
- 6
- 4
- 7
- 10
- 5
- 4
- 6
- 6
- 8
- 6
- 4
- 11
- 6
- 6
- 4
- 5
- 7
- 8
- 8
- 13
- 4
- 4
- 8
- 4
- 5
- 4
- 22
- 4
- 8
- 4
- 4
- 16
- 4
- 9
- 7
- 5
- 9
- 59
- 4
- 4
- 7
- 6
- 5
- 6
- 11
- 36
- 13
- 5
- 10
- 6
- 5
- 5
- 10
- 4
- 4
- 6
- 5
- 4
- 4
- 4
- 5
- 8
- 6
- 8
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 7
- 43
- 5
- 5
- 18
- 5
- 6
- 18
- 8
- 4
- 13
- 7
- 13
- 15
- 8
- 14
- 5
- 4
- 5
- 23
- 9
- 4
- 4
- 4
- 11
- 4
- 5
- 6
- 4
- 15
- 10
- 11
- 4
- 9
- 7
- 11
- 5
- 4
- 4
- 8
- 24
- 7
- 7
- 6
- 9
- 6
- 5
- 10
- 7
- 9
- 7
- 4
- 4
- 6
- 4
- 9
- 4
- 4
- 6
- 9
- 24
- 12
- 4
- 5
- 19
- 4
- 5
- 91
- 5
- 6
- 4
- 5
- 6
- 9
- 10
- 9
- 8
- 4
- 7
- 4
- 7
- 19
- 8
- 4
- 90
- 4
- 39
- 11
- 11
- 89
- 21
- 14
- 7
- 4
- 5
- 9
- 11
- 6
- 6
- 4
- 4
- 4
- 8
- 89
- 4
- 5
- 15
- 20
- 4
- 8
- 10
- 4
- 11
- 4
- 17
- 11
- 12
- 4
- 5
- 4
- 11
- 4
- 10
- 15
- 7
- 4
- 4
- 5
- 4
- 4
- 4
- 4
- 9
- 11
- 4
- 22
- 6
- 4
- 5
- 4
- 5
- 14
- 4
- 5
- 8
- 5
- 9
- 11
- 40
- 4
- 6
- 6
- 6
- 18
- 9
- 4
- 11
- 6
- 10
- 11
- 6
- 5
- 7
- 5
- 29
- 34
- 4
- 8
- 7
- 8
- 22
- 4
- 6
- 8
- 4
- 14
- 23
- 22
- 7
- 12
- 22
- 46
- 10
- 5
- 16
- 9
- 9
- 19
- 14
- 11
- 4
- 4
- 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
- 4
- 15
- 5
- 5
- 4
- 4
- 13
- 6
- 4
- 24
- 5
- 11
- 4
- 5
- 13
- 5
- 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
- 8
- 4
- 11
- 6
- 24
- 4
- 14
- 4
- 4
- 5
- 4
- 18
- 4
- 10
- 5
- 5
- 4
- 18
- 6
- 6
- 5
- 17
- 4
- 10
- 4
- 6
- 4
- 5
- 5
- 21
- 43
- 4
- 14
- 22
- 18
- 4
- 4
- 4
- 5
- 6
- 4
- 4
- 32
- 7
- 9
- 5
- 18
- 5
- 19
- 4
- 6
- 4
- 10
- 4
- 6
- 6
- 4
- 21
- Verlag
-
- 1
- 7700
- 3
- 5
- 1
- 3
- 1
- 33
- Preis
-
- 27
- 228
- 5847
- 1645
- Sprachen
-
- 7742
- 16
- 12
- Verfügbarkeit
-
- 7737
- 10
- Katalog
-
- 7747
- 329
-
Nieuwenhuis Automated Deduction - CADE-20
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28005-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Peltier / Sofronie-Stokkermans Automated Reasoning
10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II1. Auflage 2020Verlag: SpringerISBN: 978-3-030-51053-4Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hermanns / Sun / Bu Dependable Software Engineering. Theories, Tools, and Applications
9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings1. Auflage 2024Verlag: SpringerISBN: 978-981-99-8663-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Akiyama / Kano / Urabe Discrete and Computational Geometry
Japanese Conference, JCDCG'98 Tokyo, Japan, December 9-12, 1998 Revised Papers1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67181-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Groote / Nederhof Formal Grammar
15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 20111. Auflage 2012Verlag: SpringerISBN: 978-3-642-32023-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Reed SDL 2003: System Design
11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40539-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Günther Mobile Communications - Advanced Systems and Components
1994 International Zurich Seminar on Digital Communications, Zurich, Switzerland, March 8-11, 1994. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57856-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
The Munich Project CIP
Volume II: The Programme Transformation System CIP-S1. Auflage 1988Verlag: SpringerISBN: 978-3-540-18779-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hailpern Verifying Concurrent Processes Using Temporal Logic
1. Auflage 1982Verlag: SpringerISBN: 978-3-540-11205-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Weiland / Neuwirth / Kruse High Performance Computing. ISC High Performance 2024 International Workshops
Hamburg, Germany, May 12-16, 2024, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-73715-2Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Makedon / Mehlhorn / Papatheodorou VLSI Algorithms and Architectures
Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16766-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hu / Martin Computational Visual Media
First International Conference, CVM 2012, Beijing, China, November 8-10, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34262-2Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhu / Yu / Nadamoto Database Systems for Advanced Applications
30th International Conference, DASFAA 2025, Singapore, Singapore, May 26-29, 2025, Proceedings, Part VErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-954154-6Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
García Bringas / Hameurlain / Quirchmayr Database and Expert Systems Applications
21st International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part II1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15250-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Koutny / Desel / Haddad Transactions on Petri Nets and Other Models of Concurrency X
1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48649-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dowek / Heering / Meinke Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61254-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Crochemore / Paterson Combinatorial Pattern Matching
10th Annual Symposium, CPM 99, Warwick University, UK, July 22-24, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66278-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dinh / Thai Computing and Combinatorics
22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-42633-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deb / Harman / Poli Genetic and Evolutionary Computation - GECCO 2004
Genetic and Evolutionary Computation Conference Seattle, WA, USA, June 26-30, 2004, Proceedings, Part I1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22344-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ventre / Domingo-Pascual / Danthine Multimedia, Telecommunications, and Applications
Third International COST 237 Workshop, Barcelona, Spain, November 25 - 27, 1996, Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-62096-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ogata / Mery / Sun Formal Methods and Software Engineering
25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, ProceedingsErscheinungsjahr 2024Verlag: SpringerISBN: 978-981-960616-0Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brinksma / Cleaveland / Larsen Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected PapersErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60630-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kloks Treewidth
Computations and Approximations1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58356-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ishikawa / He / Xu Advanced Web and Network Technologies, and Applications
APWeb 2008 International Workshops: BIDM, IWHDM, and DeWeb Shenyang, China, April 26-28, 2008, Shenyang, China Revised PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89375-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Halldórsson / Iwama / Kobayashi Automata, Languages, and Programming
42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I2015Verlag: SpringerISBN: 978-3-662-47671-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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