Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 66 Berechenbarkeitstheorie, Komplexitätstheorie
- 1307 Bildsignalverarbeitung
- 5004 Künstliche Intelligenz
- 2187 Logik, formale Sprachen, Automaten
- 1063 Mathematik für Informatiker
- 1342 Mensch-Maschine-Interaktion
- 173 Natürliche Sprachen & Maschinelle Übersetzung
- 346 Rechnerarchitektur
- 389 Theoretische Informatik
- 27 Tonsignalverarbeitung
- 63 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 8297
- Erscheinungsjahr
-
- 3
- 650
- 681
- 721
- 435
- 290
- 169
- 201
- 217
- 195
- 196
- 217
- 216
- 197
- 184
- 185
- 182
- 191
- 192
- 154
- 225
- 217
- 187
- 273
- 241
- 204
- 196
- 132
- 129
- 116
- 112
- 102
- 96
- 87
- 73
- 59
- 73
- 47
- 48
- 31
- 32
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 11
- 5
- 12
- 9
- 10
- 10
- 3
- Autoren
-
- 5
- 5
- 5
- 4
- 6
- 9
- 5
- 11
- 25
- 10
- 7
- 4
- 4
- 7
- 6
- 4
- 17
- 13
- 7
- 5
- 4
- 4
- 4
- 6
- 8
- 6
- 4
- 5
- 4
- 6
- 14
- 4
- 33
- 36
- 7
- 30
- 5
- 4
- 5
- 5
- 4
- 8
- 9
- 4
- 21
- 13
- 4
- 39
- 5
- 6
- 4
- 5
- 4
- 4
- 4
- 6
- 7
- 4
- 4
- 4
- 10
- 7
- 17
- 8
- 4
- 5
- 4
- 6
- 6
- 24
- 4
- 8
- 10
- 11
- 7
- 4
- 6
- 4
- 4
- 4
- 19
- 6
- 9
- 8
- 5
- 4
- 7
- 5
- 4
- 7
- 10
- 10
- 5
- 4
- 6
- 40
- 4
- 5
- 4
- 8
- 5
- 20
- 11
- 5
- 4
- 4
- 4
- 4
- 6
- 10
- 8
- 4
- 10
- 5
- 7
- 10
- 4
- 4
- 4
- 4
- 4
- 12
- 4
- 10
- 5
- 4
- 12
- 9
- 14
- 7
- 4
- 5
- 6
- 10
- 4
- 39
- 18
- 6
- 4
- 7
- 4
- 4
- 5
- 7
- 5
- 4
- 4
- 16
- 6
- 5
- 9
- 4
- 5
- 13
- 8
- 4
- 10
- 7
- 4
- 8
- 4
- 24
- 5
- 5
- 13
- 5
- 12
- 4
- 11
- 4
- 4
- 4
- 5
- 8
- 4
- 7
- 5
- 6
- 7
- 5
- 6
- 34
- 4
- 5
- 14
- 41
- 4
- 4
- 13
- 9
- 7
- 20
- 4
- 4
- 5
- 42
- 5
- 4
- 38
- 4
- 4
- 5
- 10
- 15
- 11
- 4
- 5
- 4
- 7
- 12
- 4
- 4
- 4
- 4
- 6
- 5
- 7
- 4
- 5
- 4
- 4
- 39
- 7
- 4
- 12
- 4
- 4
- 6
- 4
- 13
- 5
- 4
- 4
- 5
- 5
- 6
- 4
- 7
- 6
- 13
- 6
- 5
- 5
- 4
- 4
- 6
- 10
- 5
- 5
- 4
- 4
- 5
- 7
- 4
- 6
- 23
- 4
- 26
- 15
- 4
- 28
- 9
- 7
- 8
- 5
- 7
- 5
- 4
- 5
- 16
- 9
- 24
- 6
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 7
- 5
- 5
- 5
- 5
- 9
- 8
- 5
- 4
- 7
- 4
- 4
- 7
- 5
- 7
- 15
- 11
- 5
- 7
- 7
- 38
- 41
- 4
- 8
- 39
- 5
- 10
- 13
- 8
- 35
- 13
- 6
- 4
- 4
- 15
- 5
- 4
- 8
- 6
- 6
- 4
- 10
- 26
- 12
- 43
- 78
- 8
- 4
- 15
- 10
- 8
- 5
- 7
- 4
- 7
- 15
- 8
- 6
- 4
- 6
- 8
- 6
- 5
- 4
- 5
- 4
- 20
- 17
- 4
- 4
- 11
- 4
- 6
- 4
- 9
- 8
- 5
- 5
- 12
- 4
- 22
- 48
- 8
- 19
- 16
- 23
- 84
- 11
- 4
- 15
- 6
- 4
- 4
- 6
- 4
- 19
- 5
- 9
- 8
- 4
- 15
- 4
- 4
- 4
- 4
- 4
- 4
- 8
- 4
- 4
- 26
- 4
- 6
- 8
- 4
- 16
- 6
- 5
- 8
- 23
- 39
- 17
- 4
- 8
- 4
- 4
- 4
- 15
- 14
- 15
- 6
- 4
- 5
- 4
- 94
- 4
- 4
- 4
- 4
- 8
- 6
- 5
- 6
- 15
- 4
- 12
- 4
- 6
- 19
- 4
- 10
- 7
- 8
- 6
- 4
- 17
- 4
- 11
- 4
- 4
- 13
- 13
- 7
- 8
- 5
- 6
- 4
- 13
- 6
- 4
- 6
- 7
- 5
- 8
- 5
- 4
- 15
- 10
- 35
- 4
- 4
- 5
- 5
- 7
- 10
- 4
- 4
- 15
- 25
- 4
- 4
- 9
- 15
- 9
- 33
- 4
- 6
- 7
- 4
- 9
- 4
- 4
- 13
- 6
- 7
- 11
- 4
- 17
- 21
- 4
- 8
- 7
- 10
- 5
- 17
- 4
- 25
- 5
- 78
- 14
- 20
- 44
- 6
- 7
- 11
- 4
- 5
- 12
- 4
- 4
- 6
- 7
- 5
- 9
- 7
- 4
- 4
- 5
- 16
- 90
- 13
- 43
- 4
- 4
- 4
- 4
- 7
- 6
- 6
- 5
- 6
- 14
- 9
- 11
- 5
- 4
- 4
- 7
- 4
- 18
- 19
- 27
- 4
- 5
- 80
- 5
- 17
- 6
- 7
- 10
- 21
- 5
- 6
- 5
- 4
- 4
- 4
- 32
- 4
- 9
- 4
- 25
- 6
- 4
- 4
- 5
- 4
- 13
- 12
- 13
- 14
- 10
- 15
- 10
- 16
- 4
- 78
- 11
- 4
- 7
- 7
- 22
- 4
- 4
- 34
- 23
- 5
- 5
- 8
- 11
- 5
- 13
- 4
- 7
- 4
- 4
- 4
- 9
- 10
- 4
- 10
- 5
- 9
- 4
- 9
- 8
- 9
- 7
- 15
- 4
- 4
- 7
- 5
- 25
- 4
- 12
- 4
- 4
- 4
- 7
- 4
- 4
- 4
- 20
- 4
- 4
- 9
- 7
- 6
- 11
- 74
- 6
- 4
- 5
- 9
- 4
- 5
- 7
- 10
- 36
- 7
- 4
- 5
- 12
- 9
- 4
- 5
- 9
- 4
- 4
- 14
- 4
- 21
- 25
- 4
- 5
- 6
- 4
- 8
- 8
- 12
- 6
- 4
- 5
- 7
- 4
- 4
- 7
- 5
- 4
- 4
- 8
- 48
- 8
- 4
- 23
- 6
- 41
- 11
- 5
- 4
- 13
- 18
- 4
- 8
- 12
- 15
- 6
- 11
- 28
- 11
- 11
- 7
- 5
- 4
- 14
- 5
- 15
- 11
- 6
- 4
- 8
- 6
- 4
- 4
- 8
- 24
- 5
- 6
- 4
- 38
- 7
- 8
- 4
- 6
- 4
- 12
- 5
- 30
- 6
- 14
- 5
- 36
- 6
- 4
- 9
- 90
- 7
- 6
- 5
- 6
- 16
- 15
- 78
- 9
- 12
- 8
- 4
- 9
- 13
- 19
- 18
- 9
- 93
- 4
- 40
- 11
- 11
- 7
- 6
- 89
- 17
- 4
- 4
- 20
- 6
- 4
- 9
- 15
- 10
- 5
- 9
- 4
- 4
- 5
- 90
- 5
- 17
- 4
- 7
- 7
- 81
- 12
- 4
- 16
- 15
- 11
- 4
- 10
- 4
- 13
- 4
- 7
- 7
- 15
- 16
- 4
- 4
- 6
- 4
- 4
- 4
- 4
- 13
- 4
- 4
- 25
- 5
- 4
- 5
- 6
- 5
- 5
- 14
- 4
- 9
- 4
- 16
- 4
- 10
- 23
- 29
- 4
- 6
- 6
- 4
- 6
- 19
- 9
- 4
- 4
- 4
- 4
- 13
- 10
- 31
- 8
- 4
- 5
- 13
- 33
- 4
- 50
- 4
- 7
- 7
- 9
- 5
- 22
- 4
- 4
- 4
- 6
- 6
- 17
- 4
- 19
- 24
- 12
- 25
- 53
- 10
- 11
- 16
- 9
- 6
- 24
- 14
- 14
- 4
- 6
- 4
- 17
- 10
- 33
- 4
- 81
- 4
- 24
- 12
- 6
- 13
- 8
- 7
- 7
- 12
- 15
- 4
- 4
- 8
- 7
- 4
- 15
- 9
- 6
- 6
- 5
- 89
- 11
- 18
- 4
- 16
- 4
- 5
- 6
- 5
- 4
- 16
- 7
- 4
- 4
- 4
- 25
- 4
- 5
- 11
- 4
- 4
- 4
- 4
- 13
- 7
- 6
- 36
- 6
- 5
- 5
- 4
- 4
- 16
- 12
- 4
- 6
- 6
- 4
- 8
- 8
- 5
- 24
- 7
- 11
- 10
- 5
- 7
- 6
- 6
- 5
- 6
- 4
- 5
- 7
- 9
- 5
- 4
- 5
- 18
- 5
- 8
- 4
- 4
- 12
- 6
- 4
- 17
- 25
- 9
- 6
- 14
- 5
- 19
- 4
- 14
- 5
- 7
- 6
- 4
- 18
- 10
- 6
- 15
- 4
- 6
- 8
- 6
- 4
- 5
- 21
- 4
- 4
- 48
- 4
- 40
- 22
- 41
- 4
- 5
- 4
- 11
- 4
- 6
- 18
- 32
- 7
- 26
- 21
- 4
- 5
- 10
- 7
- 20
- Verlag
-
- 8
- 8147
- 3
- 5
- 1
- 90
- 3
- 1
- 11
- 28
- Preis
-
- 27
- 256
- 6167
- 1847
- Sprachen
-
- 8292
- 15
- 12
- Verfügbarkeit
-
- 8068
- 229
- Eigenschaften
-
- 2
- Katalog
-
- 8297
- 375
-
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 -
Steels / Schreiber / Van de Velde A Future for Knowledge Acquisition
8th European Knowledge Acquisition Workshop, EKAW'94, Hoegaarden, Belgium, September 26 - 29, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58487-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Lemos / Giese / Müller Software Engineering for Self-Adaptive Systems
International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-35812-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Müller-Olm Variations on Constants
Flow Analysis of Sequential and Parallel Programs1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45385-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Montagna / Abreu / Giroux Agents and Multi-Agent Systems for Health Care
10th International Workshop, A2HC 2017, São Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017, Revised and Extended Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-70886-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Larsen / Niebert Formal Modeling and Analysis of Timed Systems
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21671-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Isokoski / Springare Haptics: Perception, Devices, Mobility, and Communication
8th International Conference, EuroHaptics 2012, Tampere, Finland, June 13-15, 2012 Proceedings, Part I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31400-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dau / Mugnier / Stumme Conceptual Structures: Common Semantics for Sharing Knowledge
13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27783-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aylett / Krenn / Pelachaud Intelligent Virtual Agents
13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40414-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhang / Jain Biometric Authentication
First International Conference, ICBA 2004, Hong Kong, China, July 15-17, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22146-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fomin / Xiao Computing and Combinatorics
31st International Computing and Combinatorics Conference, COCOON 2025, Chengdu, China, August 15-17, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-950217-2Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gonzalo / Braschler / Kluck Comparative Evaluation of Multilingual Information Access Systems
4th Workshop of the Cross-Language Evaluation Forum, CLEF 2003, Trondheim, Norway, August 21-22, 2003, Revised Selected Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-24017-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Klein / Martín-Vide / Shapira Language and Automata Theory and Applications
12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-77312-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lemos / Gacek / Romanovsky Architecting Dependable Systems
1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40727-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bouajjani / Fauconnier Networked Systems
Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26849-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nickel Interval Mathematics
Proceedings of the International Symposium Karlsruhe, West Germany, May 20-24, 19751. Auflage 1975Verlag: SpringerISBN: 978-3-540-07170-9Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage32,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jantke Analogical and Inductive Inference
International Workshop AII'86 Wendisch-Rietz, GDR, October 6-10, 1986, Proceedings1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18081-4Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage32,09 € (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 -
Horrocks / Hendler The Semantic Web - ISWC 2002
First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43760-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Taubner Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
Erscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51525-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Graf / Schwartzbach Tools and Algorithms for the Construction and Analysis of Systems
6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67282-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cao / Nejdl / Xu Advanced Parallel Processing Technologies
6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29639-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deng / Bao / Zhou Information and Communications Security
4th International Conference, ICICS 2002, Singapore, December 9-12, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-00164-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Polani / Browning / Bonarini RoboCup 2003: Robot Soccer World Cup VII
1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22443-3Medium: 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