Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 66 Berechenbarkeitstheorie, Komplexitätstheorie
- 1309 Bildsignalverarbeitung
- 5001 Künstliche Intelligenz
- 2188 Logik, formale Sprachen, Automaten
- 1061 Mathematik für Informatiker
- 1340 Mensch-Maschine-Interaktion
- 172 Natürliche Sprachen & Maschinelle Übersetzung
- 346 Rechnerarchitektur
- 389 Theoretische Informatik
- 27 Tonsignalverarbeitung
- 63 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 8296
- Erscheinungsjahr
-
- 4
- 649
- 681
- 721
- 435
- 290
- 170
- 202
- 215
- 196
- 196
- 217
- 216
- 196
- 183
- 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
- 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
- 11
- 7
- 17
- 6
- 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
- 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
- 10
- 7
- 4
- 8
- 4
- 24
- 5
- 5
- 13
- 5
- 12
- 4
- 11
- 4
- 4
- 4
- 5
- 8
- 4
- 7
- 5
- 6
- 8
- 5
- 6
- 34
- 4
- 5
- 14
- 41
- 4
- 4
- 13
- 9
- 7
- 20
- 4
- 4
- 5
- 42
- 5
- 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
- 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
- 6
- 5
- 5
- 5
- 9
- 8
- 5
- 4
- 7
- 4
- 4
- 7
- 5
- 7
- 15
- 11
- 5
- 7
- 7
- 38
- 41
- 4
- 8
- 39
- 5
- 9
- 13
- 8
- 35
- 13
- 6
- 4
- 4
- 15
- 5
- 4
- 4
- 8
- 6
- 6
- 4
- 10
- 26
- 12
- 43
- 76
- 8
- 4
- 15
- 10
- 8
- 5
- 6
- 7
- 15
- 8
- 6
- 4
- 4
- 6
- 8
- 6
- 5
- 4
- 5
- 4
- 20
- 17
- 4
- 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
- 27
- 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
- 14
- 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
- 11
- 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
- 76
- 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
- 5
- 4
- 13
- 12
- 13
- 14
- 10
- 15
- 12
- 16
- 4
- 76
- 11
- 4
- 7
- 5
- 22
- 4
- 4
- 35
- 23
- 5
- 5
- 8
- 11
- 5
- 13
- 4
- 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
- 6
- 7
- 4
- 4
- 4
- 20
- 4
- 4
- 9
- 7
- 6
- 11
- 74
- 6
- 4
- 5
- 9
- 4
- 5
- 7
- 10
- 37
- 7
- 4
- 5
- 12
- 9
- 4
- 5
- 9
- 4
- 4
- 14
- 4
- 21
- 25
- 5
- 6
- 4
- 8
- 8
- 11
- 6
- 4
- 5
- 7
- 4
- 4
- 7
- 5
- 4
- 4
- 8
- 48
- 8
- 4
- 23
- 6
- 41
- 11
- 5
- 4
- 15
- 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
- 76
- 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
- 79
- 12
- 4
- 16
- 16
- 11
- 4
- 10
- 4
- 13
- 4
- 7
- 7
- 15
- 16
- 4
- 4
- 6
- 4
- 4
- 4
- 4
- 14
- 4
- 4
- 24
- 5
- 4
- 5
- 6
- 5
- 5
- 14
- 4
- 9
- 4
- 16
- 5
- 10
- 23
- 29
- 4
- 6
- 6
- 4
- 6
- 19
- 9
- 4
- 4
- 4
- 4
- 13
- 10
- 31
- 10
- 4
- 5
- 13
- 33
- 4
- 51
- 4
- 7
- 7
- 9
- 5
- 22
- 4
- 4
- 4
- 6
- 4
- 17
- 4
- 19
- 24
- 12
- 25
- 53
- 10
- 11
- 16
- 9
- 6
- 24
- 14
- 15
- 4
- 6
- 4
- 17
- 10
- 34
- 4
- 79
- 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
- 4
- 5
- 6
- 5
- 4
- 16
- 7
- 5
- 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
- 5
- 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
- 11
- 6
- 18
- 32
- 7
- 26
- 20
- 5
- 10
- 7
- 20
- Verlag
-
- 8
- 8145
- 3
- 5
- 1
- 91
- 3
- 1
- 11
- 28
- Preis
-
- 27
- 256
- 6167
- 1846
- Sprachen
-
- 8291
- 15
- 12
- Verfügbarkeit
-
- 8063
- 233
- Eigenschaften
-
- 1
- Katalog
-
- 8296
- 375
-
Chopard / Tomassini Cellular Automata
5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44304-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sehr / Banerjee / Gelernter Languages and Compilers for Parallel Computing
9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63091-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sannella Programming Languages and Systems - ESOP '94
5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-57880-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Azema / Balbo Application and Theory of Petri Nets 1997
18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63139-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Guo / Yang Parallel and Distributed Processing and Applications
International Symposium, ISPA 2003, Aizu, Japan, July 2-4, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40523-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grieskamp / Santen / Stoddart Integrated Formal Methods
Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41196-3Medium: 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: Discussion, Dissemination, Applications
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47168-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Böhme / Unger Innovative Internet Computing Systems
International Workshop IICS 2001 Ilmenau, Germany, June 21-22, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42275-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Meersman / Dillon / Herrero On the Move to Meaningful Internet Systems: OTM 2009
Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part IIErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-05150-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Beeri / Buneman Database Theory - ICDT'99
7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-65452-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhou / Wang / Sun Biometric Recognition
13th Chinese Conference, CCBR 2018, Urumqi, China, August 11-12, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-97908-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Butler / Petre / Sere Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.Erscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43703-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hedin Compiler Construction
12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00904-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Calinescu / Rumpe Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-22968-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nardin / Antunes Multi-Agent Based Simulation XVII
International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67476-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rash / Rouff / Truszkowski Formal Approaches to Agent-Based Systems
First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42716-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jacquet Conclog: A Methodological Approach to Concurrent Logic Programming
1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54938-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kowalczyk / Monière Design and Architecture for Signal and Image Processing
19th International Workshop, DASIP 2026, Krakow, Poland, January 26 - 28, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-23870-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Li Theory and Applications of Models of Computation
18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings2024Verlag: SpringerISBN: 978-981-97-2339-3Medium: Buch235,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage235,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gyimothy Compiler Construction
6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings.Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61053-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wismath / Wolff Graph Drawing
21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03840-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Odijk / Rem / Syre PARLE '89 - Parallel Architectures and Languages Europe
Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989; ProceedingsErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51285-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abate / Boldo Numerical Software Verification
10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-63500-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Börger / Hasenjaeger / Rödding Logic and Machines: Decision Problems and Complexity
Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/WestfalenSoftcover Nachdruck of the original 1. Auflage 1984Verlag: SpringerISBN: 978-3-540-13331-5Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fogarty Evolutionary Computing
AISB Workshop, Brighton, U.K., April 1 - 2, 1996. Selected PapersErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61749-5Medium: 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