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
-
Braschler / Gonzalo / Kluck Evaluation of Cross-Language Information Retrieval Systems
Second Workshop of the Cross-Language Evaluation Forum, CLEF 2001, Darmstadt, Germany, September 3-4, 2001. Revised PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44042-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Arnborg / Ivansson Algorithm Theory - SWAT'98
6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64682-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sifakis Automatic Verification Methods for Finite State Systems
International Workshop, Grenoble, France. June 12-14, 1989. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52148-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Seo / Kim Information Security and Cryptology - ICISC 2023
26th International Conference on Information Security and Cryptology, ICISC 2023, Seoul, South Korea, November 29 - December 1, 2023, Revised Selected Papers, Part I2024Verlag: SpringerISBN: 978-981-97-1234-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Mendes / Yan Intelligent Robotics and Applications
11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018, Proceedings, Part II1. Auflage 2018Verlag: SpringerISBN: 978-3-319-97588-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Richards / Kang Knowledge Acquisition: Approaches, Algorithms and Applications
Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-01714-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lirkov / Margenov / Wasniewski Large-Scale Scientific Computing
4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21090-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cointe Meta-Level Architectures and Reflection
Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66280-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tokuyama Algorithms and Computation
18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77118-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dhaenens / Jourdan / Marmion Learning and Intelligent Optimization
9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-19083-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bang / Ragnemalm Persuasive Technology: Design for Health and Safety
7th International Conference on Persuasive Technology, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31036-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Peled / Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002
22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00141-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lehner / Meyer / Streit Euro-Par 2006 Workshops: Parallel Processing
CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72226-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pfenning Logic Programming and Automated Reasoning
5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58216-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ohlbach / Schaffert Principles and Practice of Semantic Web Reasoning
Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22961-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baier / Haverkort / Hermanns Validation of Stochastic Systems
A Guide to Current Research1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22265-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Williams Instantiation Theory
On the Foundations of Automated DeductionErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54333-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ronzhin / Truong / Meshcheryakov Interactive Collaborative Robotics
10th International Conference, ICR 2025, Hanoi, Vietnam, November 10-13, 2025, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-11899-8Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ronzhin / Truong / Meshcheryakov Interactive Collaborative Robotics
10th International Conference, ICR 2025, Hanoi, Vietnam, November 10-13, 2025, Proceedings, Part IIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-11902-5Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Das / Uehara WALCOM: Algorithms and Computation
Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-00201-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gibbons / Nuno Oliveira Teaching Formal Methods
Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04911-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baeten / Groote CONCUR '91
2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54430-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fink / Fornés / Kise Document Analysis and Recognition – ICDAR 2026
20th International Conference, Vienna, Austria, August 31 – September 2, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-36022-9Medium: Buch104,85 € (inkl. MwSt.)
vorbestellbar104,85 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. September 2026 -
Shafait / Ulges / Moetesum Document Analysis Systems
17th IAPR International Workshop, DAS 2026, Vienna, Austria, September 3–4, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-36206-3Medium: Buch79,17 € (inkl. MwSt.)
vorbestellbar79,17 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. September 2026 -
Chen / Tschaikowski Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Third International Joint Conference, QEST+FORMATS 2026, Liverpool, UK, September 2–4, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-35297-2Medium: Buch87,73 € (inkl. MwSt.)
vorbestellbar87,73 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. September 2026
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort