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
-
Platzer / Rozier / Pradella Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II2025Verlag: SpringerISBN: 978-3-031-71176-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Laddaga / Robertson / Shrobe Self-Adaptive Software
Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00731-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ge / Yung Information Security and Cryptology
19th International Conference, Inscrypt 2023, Hangzhou, China, December 9-10, 2023, Revised Selected Papers, Part II2024Verlag: SpringerISBN: 978-981-97-0944-1Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jamnik / Uesaka / Elzer Schwartz Diagrammatic Representation and Inference
9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-42332-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jampel / Freuder / Maher Over-Constrained Systems
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61479-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Galmiche Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62920-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aiello / Chakraborty / Gaito Social Networks Analysis and Mining
16th International Conference, ASONAM 2024, Rende, Italy, September 2-5, 2024, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-78540-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Li / Lan / Chen Information Retrieval
31st China Conference, CCIR 2025, Shihezi, China, August 15-17, 2025, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-955636-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Koutny / Desel / Kleijn Transactions on Petri Nets and Other Models of Concurrency XI
1. Auflage 2016Verlag: SpringerISBN: 978-3-662-53400-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Salomaa / Steinby Automata, Languages and Programming
Fourth Colloquium, University of Turku, Finnland, July 18-22, 19771. Auflage 1977Verlag: SpringerISBN: 978-3-540-08342-9Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barbic / D'Cruz / Latoschik Virtual Reality and Augmented Reality
14th EuroVR International Conference, EuroVR 2017, Laval, France, December 12-14, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-72322-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. Software Engineering Methodologies
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV2024Verlag: SpringerISBN: 978-3-031-75386-2Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Remke / Steffen Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-00941-8Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage62,05 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Imai / Wang Information and Communications Security
9th International Conference, ICICS 2007, Zhengzhou, China, December 12-15, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77047-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schiele / Dey / Gellersen Ambient Intelligence
European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76651-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nieuwenhuis Rewriting Techniques and Applications
14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40254-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Younas / Awan / Petcu Mobile Web and Intelligent Information Systems
20th International Conference, MobiWIS 2024, Vienna, Austria, August 19-21, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-68004-5Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ras / Ohsuga Foundations of Intelligent Systems
12th International Symposium, ISMIS 2000, Charlotte, NC, USA October 11-14, 2000 Proceedings2010Verlag: SpringerISBN: 978-3-540-41094-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bobaru / Havelund / Holzmann NASA Formal Methods
Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20397-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kamel / Campilho Image Analysis and Recognition
Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005, Proceedings1. edVerlag: Springer-Verlag GmbHISBN: 978-3-540-29069-8Medium: Buch149,75 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,75 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Henglein / Shoham / Vizel Verification, Model Checking, and Abstract Interpretation
22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-67066-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nurmi / Ukkonen Algorithm Theory - SWAT '92
Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992. Proceedings1. Auflage 1992Verlag: SpringerISBN: 978-3-540-55706-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fernández Logic-Based Program Synthesis and Transformation
30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-68445-7Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Suomela Structural Information and Communication Complexity
23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48313-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Freksa / Knauff / Krieg-Brückner Spatial Cognition IV, Reasoning, Action, Interaction
International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25048-7Medium: 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