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
-
Heule / Weaver Theory and Applications of Satisfiability Testing -- SAT 2015
18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24317-7Medium: Buch68,48 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage68,48 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Weber / Simons / Lafontaine The Generic Development Language Deva
Presentation and Case StudiesErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57335-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Faron Zucker / Ghidini / Napoli Knowledge Engineering and Knowledge Management
21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03666-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Goranko / Shi / Wang Logic, Rationality, and Interaction
10th International Conference on Logic, Rationality and Interaction, LORI 2025, Xi'an, China, October 16-19, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-952480-8Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Spaccapietra / Aberer / Cudré-Mauroux Journal on Data Semantics VI
1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36712-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bowen / Hinchey / Till ZUM'97: The Z Formal Specification Notation
10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-62717-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ciardo / Kindler Application and Theory of Petri Nets and Concurrency
35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07733-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Win / Ali / Karapanos Persuasive Technology
20th International Conference, PERSUASIVE 2025, Limassol, Cyprus, May 5-7, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-94958-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Trujillo / Davis / Du Conceptual Modeling
37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-00846-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hightower / Schiele / Strang Location- and Context-Awareness
Third International Symposium, LoCA 2007, Oberpfaffenhofen, Germany, September 20-21, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75159-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Luo Cooperative Design, Visualization, and Engineering
12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24131-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hameurlain / Küng / Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVIII
Special Issue on Database- and Expert-Systems Applications1. Auflage 2016Verlag: SpringerISBN: 978-3-662-53454-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pieprzyk / Sadeghiyan Design of Hashing Algorithms
1. Auflage 1993Verlag: SpringerISBN: 978-3-540-57500-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hermenegildo / Puebla Static Analysis
9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44235-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pacheco-Gutierrez / Cryer / Caliskanelli Towards Autonomous Robotic Systems
23rd Annual Conference, TAROS 2022, Culham, UK, September 7-9, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-15907-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marmsoler / Sun Formal Aspects of Component Software
20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-71260-9Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Namjoshi / Yoneda / Higashino Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75595-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Conte / Navarro / Hwu High Performance Embedded Architectures and Compilers
First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30317-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pereira / Przymusinski Non-Monotonic Extensions of Logic Programming
ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected PapersErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59467-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tucci Multimedia Databases and Image Communication
Second International Workshop, MDIC 2001, Amalfi, Italy, September 17-18, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42587-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Duan / Ong Formal Methods and Software Engineering
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68689-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schaus Integration of Constraint Programming, Artificial Intelligence, and Operations Research
19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-08010-4Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Coman / Vasilache Social Computing and Social Media
15th International Conference, SCSM 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I2023Verlag: SpringerISBN: 978-3-031-35914-9Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Burmester / Yasinsac Secure Mobile Ad-hoc Networks and Sensors
First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36646-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chatterjee / Prins / Carter Languages and Compilers for Parallel Computing
11th International Workshop, LCPC'98, Chapel Hill, NC, USA, August 7-9, 1998, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66426-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