Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 73 Berechenbarkeitstheorie, Komplexitätstheorie
- 1095 Bildsignalverarbeitung
- 4537 Künstliche Intelligenz
- 2239 Logik, formale Sprachen, Automaten
- 933 Mathematik für Informatiker
- 1172 Mensch-Maschine-Interaktion
- 139 Natürliche Sprachen & Maschinelle Übersetzung
- 327 Rechnerarchitektur
- 408 Theoretische Informatik
- 28 Tonsignalverarbeitung
- 58 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 7747
- Erscheinungsjahr
-
- 130
- 689
- 714
- 434
- 296
- 156
- 176
- 198
- 186
- 205
- 208
- 221
- 189
- 207
- 206
- 172
- 176
- 204
- 167
- 230
- 221
- 186
- 280
- 240
- 209
- 193
- 132
- 127
- 99
- 108
- 103
- 96
- 88
- 76
- 60
- 69
- 45
- 48
- 30
- 32
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 11
- 5
- 12
- 9
- 10
- 10
- 3
- Autoren
-
- 6
- 5
- 5
- 4
- 3
- 6
- 3
- 3
- 3
- 5
- 9
- 5
- 3
- 9
- 8
- 6
- 7
- 3
- 3
- 3
- 4
- 4
- 3
- 9
- 5
- 3
- 8
- 3
- 3
- 16
- 4
- 21
- 4
- 7
- 4
- 3
- 3
- 3
- 4
- 4
- 4
- 4
- 6
- 8
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 8
- 4
- 14
- 25
- 36
- 6
- 3
- 27
- 7
- 4
- 4
- 3
- 6
- 3
- 7
- 11
- 3
- 16
- 4
- 4
- 11
- 3
- 3
- 3
- 3
- 3
- 3
- 39
- 4
- 6
- 4
- 4
- 4
- 4
- 4
- 7
- 4
- 6
- 4
- 4
- 4
- 9
- 4
- 3
- 4
- 3
- 14
- 4
- 4
- 5
- 6
- 3
- 3
- 5
- 6
- 6
- 3
- 4
- 6
- 6
- 7
- 7
- 5
- 5
- 4
- 17
- 4
- 6
- 7
- 9
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 7
- 6
- 5
- 10
- 5
- 5
- 6
- 40
- 4
- 6
- 14
- 8
- 5
- 7
- 9
- 10
- 4
- 4
- 8
- 7
- 4
- 10
- 4
- 4
- 4
- 5
- 14
- 4
- 9
- 4
- 4
- 15
- 14
- 5
- 4
- 4
- 4
- 5
- 7
- 4
- 39
- 10
- 7
- 4
- 7
- 5
- 7
- 6
- 5
- 4
- 16
- 6
- 9
- 10
- 4
- 8
- 7
- 6
- 11
- 4
- 4
- 7
- 24
- 11
- 5
- 10
- 5
- 11
- 4
- 4
- 4
- 8
- 6
- 6
- 4
- 10
- 4
- 4
- 6
- 4
- 34
- 11
- 41
- 4
- 11
- 9
- 7
- 16
- 4
- 4
- 4
- 5
- 19
- 38
- 5
- 4
- 5
- 10
- 15
- 8
- 4
- 4
- 7
- 6
- 12
- 4
- 4
- 4
- 4
- 9
- 5
- 4
- 8
- 4
- 4
- 4
- 39
- 5
- 7
- 5
- 4
- 10
- 4
- 4
- 5
- 4
- 4
- 11
- 4
- 4
- 4
- 5
- 6
- 7
- 4
- 6
- 6
- 6
- 11
- 5
- 5
- 6
- 8
- 4
- 6
- 4
- 10
- 5
- 4
- 4
- 4
- 4
- 5
- 6
- 4
- 4
- 4
- 15
- 22
- 7
- 9
- 6
- 4
- 8
- 10
- 6
- 24
- 4
- 6
- 5
- 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
- 8
- 23
- 7
- 8
- 4
- 14
- 8
- 5
- 24
- 12
- 4
- 5
- 6
- 15
- 6
- 4
- 4
- 4
- 4
- 4
- 5
- 6
- 4
- 8
- 6
- 4
- 6
- 6
- 27
- 4
- 4
- 13
- 46
- 8
- 4
- 16
- 7
- 6
- 6
- 4
- 7
- 16
- 7
- 8
- 6
- 4
- 4
- 4
- 14
- 7
- 5
- 4
- 5
- 4
- 4
- 9
- 5
- 5
- 9
- 15
- 35
- 5
- 4
- 20
- 9
- 17
- 21
- 67
- 4
- 11
- 4
- 14
- 4
- 4
- 4
- 19
- 4
- 5
- 5
- 9
- 13
- 5
- 5
- 4
- 4
- 5
- 22
- 4
- 6
- 7
- 16
- 8
- 7
- 19
- 39
- 9
- 17
- 10
- 4
- 7
- 6
- 4
- 4
- 4
- 4
- 8
- 15
- 6
- 6
- 4
- 6
- 67
- 4
- 5
- 10
- 5
- 4
- 6
- 15
- 6
- 11
- 5
- 8
- 4
- 19
- 5
- 8
- 6
- 4
- 4
- 16
- 7
- 4
- 13
- 4
- 4
- 13
- 6
- 4
- 5
- 5
- 4
- 13
- 6
- 5
- 6
- 9
- 4
- 6
- 6
- 22
- 4
- 4
- 6
- 6
- 5
- 8
- 4
- 8
- 14
- 21
- 4
- 4
- 6
- 7
- 15
- 4
- 6
- 29
- 4
- 6
- 9
- 10
- 4
- 4
- 10
- 6
- 5
- 5
- 14
- 4
- 20
- 17
- 4
- 5
- 9
- 9
- 7
- 19
- 9
- 5
- 4
- 5
- 25
- 5
- 14
- 22
- 36
- 7
- 9
- 6
- 6
- 4
- 12
- 5
- 4
- 4
- 6
- 6
- 4
- 7
- 8
- 13
- 4
- 90
- 12
- 17
- 4
- 4
- 10
- 6
- 11
- 12
- 4
- 5
- 4
- 6
- 18
- 20
- 22
- 6
- 4
- 62
- 5
- 19
- 9
- 4
- 12
- 21
- 5
- 6
- 5
- 4
- 6
- 4
- 4
- 4
- 4
- 14
- 5
- 5
- 23
- 6
- 4
- 13
- 12
- 13
- 15
- 14
- 12
- 6
- 18
- 4
- 11
- 4
- 7
- 7
- 4
- 6
- 18
- 32
- 21
- 6
- 4
- 6
- 4
- 7
- 10
- 5
- 4
- 6
- 6
- 8
- 6
- 4
- 11
- 6
- 6
- 4
- 5
- 7
- 8
- 8
- 13
- 4
- 4
- 8
- 4
- 5
- 4
- 22
- 4
- 8
- 4
- 4
- 16
- 4
- 9
- 7
- 5
- 9
- 59
- 4
- 4
- 7
- 6
- 5
- 6
- 11
- 36
- 13
- 5
- 10
- 6
- 5
- 5
- 10
- 4
- 4
- 6
- 5
- 4
- 4
- 4
- 5
- 8
- 6
- 8
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 7
- 43
- 5
- 5
- 18
- 5
- 6
- 18
- 8
- 4
- 13
- 7
- 13
- 15
- 8
- 14
- 5
- 4
- 5
- 23
- 9
- 4
- 4
- 4
- 11
- 4
- 5
- 6
- 4
- 15
- 10
- 11
- 4
- 9
- 7
- 11
- 5
- 4
- 4
- 8
- 24
- 7
- 7
- 6
- 9
- 6
- 5
- 10
- 7
- 9
- 7
- 4
- 4
- 6
- 4
- 9
- 4
- 4
- 6
- 9
- 24
- 12
- 4
- 5
- 19
- 4
- 5
- 91
- 5
- 6
- 4
- 5
- 6
- 9
- 10
- 9
- 8
- 4
- 7
- 4
- 7
- 19
- 8
- 4
- 90
- 4
- 39
- 11
- 11
- 89
- 21
- 14
- 7
- 4
- 5
- 9
- 11
- 6
- 6
- 4
- 4
- 4
- 8
- 89
- 4
- 5
- 15
- 20
- 4
- 8
- 10
- 4
- 11
- 4
- 17
- 11
- 12
- 4
- 5
- 4
- 11
- 4
- 10
- 15
- 7
- 4
- 4
- 5
- 4
- 4
- 4
- 4
- 9
- 11
- 4
- 22
- 6
- 4
- 5
- 4
- 5
- 14
- 4
- 5
- 8
- 5
- 9
- 11
- 40
- 4
- 6
- 6
- 6
- 18
- 9
- 4
- 11
- 6
- 10
- 11
- 6
- 5
- 7
- 5
- 29
- 34
- 4
- 8
- 7
- 8
- 22
- 4
- 6
- 8
- 4
- 14
- 23
- 22
- 7
- 12
- 22
- 46
- 10
- 5
- 16
- 9
- 9
- 19
- 14
- 11
- 4
- 4
- 4
- 6
- 8
- 32
- 24
- 12
- 6
- 4
- 12
- 4
- 12
- 9
- 12
- 5
- 7
- 6
- 4
- 15
- 4
- 5
- 6
- 4
- 7
- 89
- 10
- 7
- 4
- 15
- 5
- 5
- 4
- 4
- 13
- 6
- 4
- 24
- 5
- 11
- 4
- 5
- 13
- 5
- 21
- 6
- 4
- 5
- 17
- 8
- 7
- 6
- 6
- 8
- 6
- 4
- 4
- 4
- 4
- 26
- 6
- 10
- 10
- 5
- 4
- 6
- 6
- 6
- 5
- 6
- 4
- 6
- 9
- 4
- 18
- 5
- 8
- 4
- 11
- 6
- 24
- 4
- 14
- 4
- 4
- 5
- 4
- 18
- 4
- 10
- 5
- 5
- 4
- 18
- 6
- 6
- 5
- 17
- 4
- 10
- 4
- 6
- 4
- 5
- 5
- 21
- 43
- 4
- 14
- 22
- 18
- 4
- 4
- 4
- 5
- 6
- 4
- 4
- 32
- 7
- 9
- 5
- 18
- 5
- 19
- 4
- 6
- 4
- 10
- 4
- 6
- 6
- 4
- 21
- Verlag
-
- 1
- 7700
- 3
- 5
- 1
- 3
- 1
- 33
- Preis
-
- 27
- 228
- 5847
- 1645
- Sprachen
-
- 7742
- 16
- 12
- Verfügbarkeit
-
- 7737
- 10
- Katalog
-
- 7747
- 329
-
Muggleton / Tamaddoni-Nezhad / Lisi Inductive Logic Programming
21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31950-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Quinonero-Candela / Dagan / Magnini Machine Learning Challenges
Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33427-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jansen / Prabhakar Formal Modeling and Analysis of Timed Systems
16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-00150-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hooman Specification and Compositional Verification of Real-Time Systems
1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54947-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bichindaritz / López Case-Based Reasoning Research and Development
33rd International Conference, ICCBR 2025, Biarritz, France, June 30-July 3, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-96558-6Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jähne / Mester / Barth Complex Motion
First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-69864-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ausiello / Atzeni ICDT'86
International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-17187-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Koucheryavy / Aziz Internet of Things, Smart Spaces, and Next Generation Networks and Systems
24th International Conference, NEW2AN 2024, and 17th Conference, ruSMART 2024, Marrakesh, Morocco, December 11-12, 2024, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-95295-1Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kratochvil Graph Drawing
7th International Symposium, GD'99, Stirin Castle, Czech Republic, September 15-19, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66904-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bartocci / Majumdar Runtime Verification
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23819-7Medium: 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 -
Transactions on Petri Nets and Other Models of Concurrency III
Erscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04854-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mukund / Chakraborty Automated Technology for Verification and Analysis
10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33385-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chaudhuri / Das / Paul Distributed Computing and Networking
8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68139-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Lang / Amato Distributed Artificial Intelligence
Third International Conference, DAI 2021, Shanghai, China, December 17-18, 2021, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-030-94661-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Navathe / Wu / Shekhar Database Systems for Advanced Applications
21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part I1. Auflage 2016Verlag: SpringerISBN: 978-3-319-32024-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ng / Raghavan / Balasubramanian Algorithms and Computation
4th International Symposium, ISAAC '93, Hong Kong, December 15-17, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-57568-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Voronkov Rewriting Techniques and Applications
19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70588-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tanveer / Agarwal / Ozawa Neural Information Processing
29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II1. Auflage 2023Verlag: SpringerISBN: 978-3-031-30107-0Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aichernig / Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support
10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20527-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Medina / Obiedkov Formal Concept Analysis
6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78136-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barker-Plummer / Cox / Swoboda Diagrammatic Representation and Inference
4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35623-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stefani / Demeure / Hagimont Distributed Applications and Interoperable Systems
4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20529-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Yung / Liu Information and Communications Security
25th International Conference, ICICS 2023, Tianjin, China, November 18-20, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-981-99-7355-2Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kutylowski / Kutylowski / Zhang Network and System Security
14th International Conference, NSS 2020, Melbourne, VIC, Australia, November 25-27, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-65744-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (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