Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 60 Berechenbarkeitstheorie, Komplexitätstheorie
- 729 Bildsignalverarbeitung
- 3252 Künstliche Intelligenz
- 2007 Logik, formale Sprachen, Automaten
- 629 Mathematik für Informatiker
- 873 Mensch-Maschine-Interaktion
- 74 Natürliche Sprachen & Maschinelle Übersetzung
- 298 Rechnerarchitektur
- 358 Theoretische Informatik
- 24 Tonsignalverarbeitung
- 37 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 5983
- Erscheinungsjahr
-
- 367
- 430
- 296
- 169
- 190
- 213
- 196
- 186
- 221
- 204
- 191
- 184
- 144
- 27
- 53
- 168
- 149
- 179
- 125
- 175
- 257
- 221
- 193
- 190
- 130
- 121
- 105
- 115
- 100
- 97
- 93
- 71
- 60
- 70
- 44
- 46
- 31
- 31
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 10
- 5
- 12
- 9
- 11
- 10
- 3
- Autoren
-
- 3
- 3
- 4
- 3
- 6
- 4
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 6
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 7
- 14
- 3
- 4
- 4
- 5
- 3
- 5
- 3
- 14
- 19
- 3
- 24
- 3
- 6
- 3
- 3
- 6
- 4
- 5
- 4
- 4
- 3
- 4
- 4
- 4
- 6
- 3
- 3
- 3
- 39
- 6
- 4
- 4
- 3
- 5
- 3
- 3
- 5
- 4
- 3
- 5
- 3
- 3
- 11
- 4
- 4
- 4
- 7
- 3
- 3
- 4
- 5
- 3
- 6
- 5
- 3
- 4
- 6
- 5
- 5
- 10
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 12
- 3
- 4
- 3
- 7
- 3
- 5
- 3
- 3
- 3
- 5
- 7
- 3
- 4
- 6
- 4
- 10
- 3
- 3
- 6
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 17
- 3
- 4
- 4
- 6
- 3
- 4
- 5
- 3
- 3
- 10
- 3
- 4
- 3
- 3
- 5
- 6
- 3
- 10
- 3
- 3
- 8
- 4
- 8
- 4
- 7
- 5
- 4
- 4
- 4
- 3
- 5
- 3
- 9
- 4
- 3
- 39
- 16
- 7
- 3
- 3
- 7
- 4
- 3
- 3
- 3
- 8
- 5
- 3
- 12
- 3
- 3
- 8
- 8
- 5
- 6
- 5
- 6
- 6
- 3
- 3
- 5
- 3
- 4
- 6
- 5
- 3
- 3
- 3
- 10
- 3
- 4
- 3
- 8
- 3
- 5
- 3
- 4
- 5
- 3
- 3
- 3
- 3
- 4
- 7
- 3
- 5
- 6
- 11
- 3
- 4
- 19
- 3
- 4
- 11
- 8
- 5
- 3
- 3
- 7
- 3
- 3
- 3
- 4
- 4
- 8
- 3
- 3
- 3
- 39
- 3
- 3
- 7
- 3
- 6
- 4
- 5
- 6
- 4
- 5
- 3
- 3
- 3
- 3
- 4
- 6
- 9
- 3
- 5
- 8
- 3
- 3
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 8
- 3
- 5
- 3
- 7
- 15
- 10
- 3
- 8
- 4
- 8
- 3
- 8
- 9
- 5
- 4
- 5
- 4
- 3
- 4
- 4
- 6
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 6
- 3
- 4
- 3
- 3
- 5
- 7
- 6
- 4
- 6
- 5
- 4
- 3
- 3
- 3
- 5
- 30
- 33
- 6
- 21
- 3
- 5
- 5
- 11
- 3
- 25
- 11
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 5
- 4
- 17
- 5
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 5
- 3
- 4
- 4
- 3
- 4
- 8
- 3
- 3
- 4
- 12
- 3
- 4
- 3
- 3
- 6
- 9
- 3
- 3
- 3
- 43
- 3
- 8
- 3
- 3
- 3
- 4
- 4
- 14
- 6
- 6
- 3
- 5
- 3
- 12
- 6
- 3
- 10
- 3
- 4
- 3
- 10
- 3
- 3
- 4
- 6
- 6
- 3
- 3
- 3
- 8
- 3
- 3
- 9
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 12
- 15
- 5
- 7
- 4
- 4
- 5
- 3
- 4
- 8
- 6
- 3
- 6
- 4
- 6
- 3
- 9
- 3
- 3
- 3
- 3
- 4
- 3
- 9
- 4
- 3
- 3
- 3
- 3
- 12
- 16
- 3
- 3
- 3
- 3
- 3
- 16
- 3
- 17
- 6
- 47
- 3
- 3
- 3
- 12
- 4
- 3
- 5
- 5
- 3
- 16
- 5
- 4
- 6
- 4
- 6
- 3
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 3
- 5
- 8
- 10
- 7
- 4
- 13
- 4
- 5
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 8
- 3
- 4
- 4
- 5
- 3
- 21
- 4
- 3
- 4
- 3
- 4
- 7
- 4
- 3
- 5
- 3
- 6
- 6
- 12
- 5
- 4
- 6
- 10
- 39
- 3
- 4
- 3
- 3
- 3
- 6
- 14
- 4
- 3
- 4
- 3
- 5
- 3
- 4
- 5
- 4
- 4
- 4
- 3
- 3
- 5
- 3
- 15
- 4
- 5
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 27
- 5
- 4
- 3
- 4
- 3
- 4
- 6
- 3
- 11
- 3
- 3
- 6
- 3
- 6
- 3
- 4
- 14
- 5
- 3
- 6
- 3
- 3
- 16
- 5
- 3
- 3
- 3
- 5
- 3
- 6
- 3
- 4
- 3
- 6
- 7
- 14
- 3
- 3
- 10
- 3
- 3
- 3
- 13
- 3
- 3
- 3
- 13
- 3
- 4
- 3
- 11
- 5
- 6
- 3
- 4
- 3
- 5
- 4
- 5
- 5
- 3
- 3
- 3
- 4
- 4
- 4
- 4
- 4
- 3
- 5
- 3
- 8
- 3
- 8
- 8
- 4
- 3
- 5
- 3
- 4
- 3
- 3
- 6
- 4
- 5
- 11
- 4
- 3
- 5
- 6
- 6
- 3
- 5
- 5
- 3
- 6
- 6
- 16
- 6
- 4
- 9
- 4
- 25
- 4
- 14
- 36
- 6
- 4
- 6
- 3
- 3
- 4
- 3
- 6
- 3
- 4
- 7
- 8
- 12
- 26
- 4
- 4
- 4
- 3
- 7
- 3
- 11
- 7
- 3
- 4
- 4
- 4
- 3
- 4
- 4
- 19
- 6
- 3
- 3
- 4
- 6
- 9
- 4
- 6
- 21
- 4
- 4
- 3
- 4
- 4
- 6
- 5
- 3
- 4
- 9
- 9
- 13
- 9
- 5
- 13
- 5
- 6
- 4
- 11
- 5
- 9
- 4
- 33
- 9
- 4
- 3
- 5
- 5
- 11
- 9
- 5
- 4
- 3
- 4
- 5
- 6
- 4
- 4
- 11
- 3
- 5
- 4
- 3
- 3
- 8
- 3
- 3
- 8
- 13
- 4
- 4
- 4
- 4
- 24
- 4
- 4
- 4
- 6
- 4
- 14
- 3
- 9
- 3
- 3
- 3
- 3
- 6
- 39
- 3
- 5
- 4
- 4
- 3
- 9
- 35
- 5
- 7
- 5
- 6
- 5
- 11
- 4
- 3
- 4
- 3
- 5
- 7
- 5
- 4
- 6
- 4
- 3
- 5
- 5
- 9
- 4
- 3
- 4
- 13
- 5
- 7
- 6
- 6
- 4
- 3
- 19
- 11
- 5
- 7
- 4
- 4
- 4
- 14
- 12
- 11
- 4
- 3
- 6
- 4
- 5
- 4
- 3
- 4
- 7
- 5
- 4
- 4
- 7
- 4
- 7
- 4
- 5
- 4
- 6
- 20
- 9
- 3
- 5
- 13
- 8
- 27
- 6
- 5
- 6
- 5
- 7
- 6
- 4
- 6
- 8
- 5
- 5
- 17
- 4
- 29
- 4
- 40
- 4
- 10
- 8
- 25
- 7
- 4
- 6
- 9
- 11
- 14
- 4
- 4
- 5
- 9
- 26
- 6
- 5
- 10
- 11
- 4
- 13
- 14
- 8
- 8
- 7
- 12
- 4
- 4
- 7
- 4
- 4
- 7
- 5
- 15
- 5
- 6
- 4
- 8
- 4
- 38
- 4
- 4
- 10
- 15
- 7
- 8
- 5
- 11
- 6
- 10
- 32
- 4
- 4
- 4
- 4
- 4
- 5
- 7
- 14
- 8
- 12
- 4
- 9
- 15
- 41
- 4
- 14
- 9
- 13
- 13
- 4
- 24
- 8
- 9
- 4
- 10
- 13
- 5
- 7
- 7
- 6
- 4
- 25
- 5
- 13
- 4
- 6
- 4
- 10
- 4
- 4
- 18
- 11
- 13
- 4
- 5
- 17
- 6
- 5
- 4
- 5
- 15
- 5
- 4
- 10
- 6
- 4
- 4
- 4
- 19
- 6
- 8
- 6
- 7
- 4
- 7
- 4
- 4
- 16
- 4
- 4
- 6
- 4
- 7
- 5
- 7
- 4
- 5
- 5
- 10
- 8
- 5
- 18
- 19
- 5
- 12
- 6
- 4
- 6
- 14
- 4
- 7
- 5
- 19
- 4
- 4
- 7
- 8
- 5
- 4
- 9
- Verlag
-
- 796
- 2680
- 1704
- 1
- 87
- 687
- 28
- Preis
-
- 26
- 192
- 4618
- 1147
- Sprachen
-
- 5978
- 15
- 12
- Verfügbarkeit
-
- 5898
- 85
- Katalog
-
- 5983
- 291
-
Blockeel / Vinciotti / van Leeuwen Advances in Intelligent Data Analysis XIII
13th International Symposium, IDA 2014, Leuven, Belgium, October 30 -- November 1, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-12570-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Slind / Gopalakrishnan / Bunker Theorem Proving in Higher Order Logics
17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23017-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ehrig / Reichel / Jantke Recent Trends in Data Type Specification
7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54496-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Harrison / Aagaard Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67863-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jarke / Jeffery / Bubenko Advances in Database Technology - EDBT '94
4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28 - 31, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57818-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Parisi-Presicce Recent Trends in Algebraic Development Techniques
12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64299-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wang / Yi / Hujun Advances in Neural Networks - ISNN 2006
Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-34439-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Du / Wu Algorithmic Aspects in Information and Management
15th International Conference, AAIM 2021, Virtual Event, December 20¿22, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-93175-9Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Codescu / ?u?u / Diaconescu Recent Trends in Algebraic Development Techniques
22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-28113-1Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Burgos / Zhao / Svoboda Simulation and Synthesis in Medical Imaging
5th International Workshop, SASHIMI 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-59519-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sharma / Nayak PRICAI 2019: Trends in Artificial Intelligence
16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26¿30, 2019, Proceedings, Part II1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-29910-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Baader / Eiter / Brewka KI 2001: Advances in Artificial Intelligence
Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42612-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ghosh / Zhang Algorithmic Aspects in Information and Management
18th International Conference, AAIM 2024, Virtual Event, September 21–23, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-981-97-7800-3Medium: Buch62,05 € (inkl. MwSt.)
vorbestellbar62,05 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. Oktober 2024 -
Miliou / Papapetrou / Piatkowski Advances in Intelligent Data Analysis XXII
22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24¿26, 2024, Proceedings, Part I2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-58546-3Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hernández Heredia / Ruiz Shulcloper / Milián Núñez Progress in Artificial Intelligence and Pattern Recognition
7th International Workshop on Artificial Intelligence and Pattern Recognition, IWAIPR 2021, Havana, Cuba, October 5¿7, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-89690-4Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Reggio / Astesiano Recent Trends in Data Type Specification
10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59132-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bertot / Dowek / Thery Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66463-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ait Mohamed / Tahar / Munoz Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71065-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Küsters Non-Standard Inferences in Description Logics
From Foundations and Definitions to Algorithms and Analysis2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42397-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Krüger / Glimm KI 2012: Advances in Artificial Intelligence
35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-33346-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kang / Geng PRICAI 2018: Trends in Artificial Intelligence
15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28¿31, 2018, Proceedings, Part II1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-97309-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Biletskiy / Paschke Advances in Rule Interchange and Applications
International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75974-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kwok / Lu / Zhang Advances in Neural Networks -- ISNN 2010
7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part II2010Verlag: SpringerISBN: 978-3-642-13317-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Omicini / Zambonelli / Tolksdorf Engineering Societies in the Agents World
First International Workshop, ESAW 2000, Berlin, Germany, August 21, 2000. Revised Papers2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41477-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Abe Topics in Cryptology ¿ CT-RSA 2007
The Cryptographers' Track at the RSA Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69327-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort