Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 71 Berechenbarkeitstheorie, Komplexitätstheorie
- 1113 Bildsignalverarbeitung
- 4597 Künstliche Intelligenz
- 2236 Logik, formale Sprachen, Automaten
- 965 Mathematik für Informatiker
- 1163 Mensch-Maschine-Interaktion
- 149 Natürliche Sprachen & Maschinelle Übersetzung
- 327 Rechnerarchitektur
- 409 Theoretische Informatik
- 27 Tonsignalverarbeitung
- 57 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 7824
- Erscheinungsjahr
-
- 209
- 692
- 715
- 434
- 296
- 155
- 170
- 199
- 184
- 205
- 209
- 220
- 188
- 208
- 207
- 177
- 173
- 203
- 167
- 236
- 219
- 186
- 277
- 239
- 210
- 192
- 132
- 126
- 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
- 4
- 5
- 5
- 3
- 6
- 3
- 3
- 3
- 5
- 9
- 6
- 10
- 8
- 6
- 7
- 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
- 27
- 7
- 4
- 4
- 6
- 7
- 11
- 16
- 4
- 4
- 11
- 39
- 4
- 6
- 4
- 4
- 4
- 4
- 7
- 4
- 5
- 4
- 4
- 4
- 4
- 9
- 6
- 16
- 4
- 4
- 5
- 7
- 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
- 10
- 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
- 4
- 8
- 8
- 6
- 11
- 6
- 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
- 12
- 9
- 7
- 16
- 4
- 4
- 4
- 5
- 20
- 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
- 4
- 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
- 34
- 38
- 4
- 9
- 23
- 7
- 8
- 15
- 8
- 5
- 24
- 12
- 4
- 5
- 6
- 15
- 4
- 4
- 4
- 4
- 5
- 6
- 7
- 6
- 5
- 6
- 4
- 6
- 27
- 4
- 4
- 13
- 46
- 8
- 4
- 15
- 7
- 6
- 6
- 4
- 6
- 15
- 7
- 8
- 6
- 4
- 4
- 4
- 14
- 7
- 5
- 4
- 5
- 4
- 9
- 5
- 5
- 11
- 15
- 35
- 5
- 7
- 19
- 7
- 17
- 21
- 67
- 11
- 4
- 15
- 4
- 4
- 4
- 19
- 4
- 5
- 5
- 9
- 13
- 5
- 5
- 4
- 4
- 22
- 4
- 6
- 7
- 16
- 7
- 4
- 7
- 19
- 39
- 7
- 17
- 10
- 4
- 7
- 6
- 4
- 4
- 4
- 4
- 8
- 15
- 7
- 6
- 4
- 4
- 68
- 4
- 5
- 10
- 4
- 6
- 6
- 15
- 6
- 11
- 5
- 8
- 4
- 18
- 5
- 8
- 6
- 4
- 4
- 16
- 4
- 7
- 4
- 4
- 13
- 4
- 4
- 13
- 6
- 4
- 5
- 5
- 4
- 13
- 6
- 5
- 8
- 9
- 4
- 5
- 4
- 5
- 6
- 22
- 4
- 4
- 6
- 6
- 5
- 8
- 4
- 8
- 14
- 21
- 4
- 4
- 6
- 7
- 15
- 4
- 5
- 29
- 4
- 6
- 9
- 9
- 4
- 5
- 10
- 6
- 5
- 5
- 14
- 4
- 20
- 17
- 4
- 5
- 10
- 9
- 7
- 19
- 9
- 5
- 4
- 5
- 25
- 5
- 14
- 22
- 36
- 4
- 7
- 5
- 9
- 6
- 6
- 4
- 12
- 5
- 4
- 4
- 6
- 5
- 6
- 4
- 7
- 7
- 14
- 4
- 90
- 12
- 16
- 4
- 4
- 10
- 6
- 4
- 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
- 15
- 12
- 6
- 18
- 5
- 11
- 4
- 6
- 7
- 4
- 6
- 19
- 5
- 32
- 21
- 6
- 4
- 6
- 4
- 7
- 10
- 5
- 4
- 6
- 6
- 7
- 6
- 4
- 11
- 4
- 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
- 4
- 5
- 6
- 11
- 39
- 11
- 5
- 10
- 6
- 5
- 5
- 10
- 4
- 4
- 6
- 4
- 5
- 4
- 4
- 4
- 5
- 6
- 6
- 8
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 7
- 43
- 5
- 5
- 19
- 5
- 6
- 18
- 6
- 4
- 4
- 13
- 7
- 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
- 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
- 8
- 8
- 4
- 7
- 4
- 5
- 19
- 8
- 4
- 91
- 4
- 39
- 11
- 11
- 5
- 89
- 22
- 14
- 7
- 4
- 9
- 11
- 6
- 4
- 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
- 8
- 4
- 6
- 6
- 7
- 18
- 9
- 4
- 11
- 6
- 10
- 11
- 5
- 5
- 7
- 5
- 29
- 34
- 4
- 8
- 7
- 8
- 22
- 4
- 6
- 4
- 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
- 7
- 12
- 9
- 12
- 5
- 7
- 6
- 4
- 15
- 4
- 5
- 6
- 7
- 89
- 10
- 7
- 15
- 5
- 5
- 4
- 4
- 14
- 6
- 4
- 4
- 25
- 5
- 11
- 4
- 5
- 13
- 4
- 5
- 21
- 6
- 5
- 5
- 17
- 8
- 7
- 6
- 6
- 8
- 6
- 4
- 4
- 4
- 4
- 26
- 7
- 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
- 19
- 4
- 43
- 4
- 14
- 22
- 18
- 4
- 5
- 4
- 6
- 6
- 4
- 4
- 32
- 7
- 9
- 5
- 18
- 19
- 4
- 6
- 5
- 10
- 4
- 6
- 6
- 4
- 21
- Verlag
-
- 2
- 7775
- 3
- 5
- 1
- 1
- 2
- 3
- 1
- 31
- Preis
-
- 27
- 238
- 5900
- 1659
- Sprachen
-
- 7819
- 15
- 12
- Verfügbarkeit
-
- 7816
- 8
- Eigenschaften
-
- 4
- Katalog
-
- 7824
- 332
-
Ghose / Governatori / Sadananda Agent Computing and Multi-Agent Systems
10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01638-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Snyers / Thayse From Logic Design to Logic Programming
Theorem Proving Techniques and P-Functions1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18217-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Swart / Orlowska / Schmidt Theory and Applications of Relational Structures as Knowledge Instruments
COST Action 274, TARSKI, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20780-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chounta / Egi / Nugraha Collaboration Technologies and Social Computing
31st International Conference, CollabTech 2025, Jakarta, Indonesia, November 4-7, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-10155-6Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Futatsugi / Mizoguchi / Yonezaki Software Security - Theories and Systems
Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 20031. Auflage 2004Verlag: SpringerISBN: 978-3-540-23635-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hasegawa Typed Lambda Calculi and Applications
11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38945-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fischer / Dawant / Lorenz Biomedical Image Registration
4th International Workshop, WBIR 2010, Lübeck, July 11-13, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14365-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Graf / Markos Generative Systems and Intelligent Tutoring Systems
21st International Conference, ITS 2025, Alexandroupolis, Greece, June 2-6, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-98283-5Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Adam / Bhargava / Yesha Digital Libraries: Current Issues
Digital Libraries Workshop, DL '94, Newark, NJ, USA, May 19- 20, 1994. Selected Papers1. Auflage 1995Verlag: SpringerISBN: 978-3-540-59282-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Egly / Fernmüller Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43929-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tscheligi / Obrist / Lugmayr Changing Television Environments
6th European Conference, EuroITV 2008, Salzburg, Austria, July 3-4, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69477-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aiello / Deng / Murillo Service-Oriented Computing
23rd International Conference, ICSOC 2025, Shenzhen, China, December 1-4, 2025, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-955011-1Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Habel Hyperedge Replacement: Grammars and Languages
1. Auflage 1992Verlag: SpringerISBN: 978-3-540-56005-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ausiello / Böhm Automata, Languages and Programming
Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings1. Auflage 1978Verlag: SpringerISBN: 978-3-540-08860-8Medium: 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. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03426-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Weyns / Michel Agent Environments for Multi-Agent Systems IV
4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23849-4Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rothblum / Wee Theory of Cryptography
21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023, Proceedings, Part III1. Auflage 2023Verlag: SpringerISBN: 978-3-031-48620-3Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ichikawa / Cho / Satoh Ubiquitous Computing Systems
4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76771-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Konev / Reger Frontiers of Combining Systems
13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-86204-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (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 -
McAllester Automated Deduction - CADE-17
17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67664-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Duquesne / Petkova-Nikova Arithmetic of Finite Fields
6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-55226-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deransart / Jourdan Attribute Grammars and their Applications
International Conference, Paris, France, September 19-21, 1990Erscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-53101-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Shi Transactions on Data Hiding and Multimedia Security III
Erscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69016-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