Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 59 Berechenbarkeitstheorie, Komplexitätstheorie
- 685 Bildsignalverarbeitung
- 3152 Künstliche Intelligenz
- 2013 Logik, formale Sprachen, Automaten
- 602 Mathematik für Informatiker
- 836 Mensch-Maschine-Interaktion
- 70 Natürliche Sprachen & Maschinelle Übersetzung
- 300 Rechnerarchitektur
- 338 Theoretische Informatik
- 25 Tonsignalverarbeitung
- 37 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 5857
- Erscheinungsjahr
-
- 249
- 437
- 293
- 176
- 190
- 212
- 194
- 177
- 217
- 199
- 187
- 187
- 143
- 26
- 51
- 162
- 161
- 187
- 121
- 174
- 254
- 221
- 192
- 189
- 131
- 123
- 108
- 117
- 101
- 94
- 92
- 72
- 59
- 68
- 45
- 46
- 30
- 31
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 10
- 5
- 12
- 9
- 11
- 10
- 3
- Autoren
-
- 3
- 3
- 4
- 3
- 6
- 3
- 3
- 4
- 5
- 3
- 5
- 6
- 3
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 5
- 11
- 3
- 3
- 4
- 4
- 3
- 3
- 4
- 14
- 20
- 4
- 27
- 3
- 7
- 3
- 6
- 4
- 5
- 4
- 4
- 3
- 5
- 5
- 4
- 6
- 3
- 3
- 3
- 39
- 6
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 5
- 3
- 4
- 11
- 4
- 4
- 5
- 6
- 3
- 4
- 4
- 3
- 6
- 5
- 4
- 4
- 6
- 5
- 5
- 8
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 12
- 3
- 4
- 3
- 7
- 3
- 5
- 3
- 3
- 4
- 5
- 7
- 4
- 6
- 4
- 9
- 3
- 3
- 7
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 5
- 14
- 3
- 4
- 6
- 3
- 3
- 4
- 5
- 3
- 4
- 11
- 3
- 4
- 3
- 5
- 6
- 3
- 10
- 3
- 3
- 9
- 4
- 8
- 4
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 7
- 4
- 3
- 3
- 39
- 13
- 7
- 3
- 3
- 3
- 8
- 4
- 3
- 3
- 8
- 5
- 3
- 8
- 4
- 3
- 8
- 5
- 6
- 4
- 6
- 4
- 3
- 4
- 6
- 3
- 3
- 6
- 4
- 4
- 4
- 8
- 4
- 8
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 4
- 7
- 5
- 5
- 11
- 3
- 4
- 4
- 20
- 3
- 4
- 11
- 8
- 3
- 3
- 7
- 3
- 3
- 3
- 4
- 7
- 3
- 3
- 4
- 3
- 39
- 3
- 3
- 7
- 3
- 3
- 6
- 4
- 5
- 6
- 4
- 5
- 3
- 3
- 3
- 6
- 8
- 3
- 6
- 8
- 3
- 4
- 6
- 5
- 4
- 3
- 6
- 3
- 5
- 3
- 5
- 8
- 14
- 11
- 3
- 4
- 8
- 4
- 8
- 4
- 7
- 9
- 5
- 4
- 4
- 4
- 4
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 3
- 6
- 6
- 5
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 5
- 3
- 31
- 32
- 8
- 9
- 3
- 4
- 8
- 9
- 3
- 3
- 24
- 11
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 17
- 5
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 4
- 8
- 3
- 4
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 8
- 3
- 4
- 3
- 3
- 4
- 9
- 3
- 3
- 43
- 3
- 8
- 3
- 3
- 4
- 4
- 3
- 6
- 6
- 3
- 6
- 3
- 9
- 6
- 3
- 9
- 3
- 4
- 5
- 10
- 4
- 3
- 4
- 6
- 5
- 3
- 3
- 4
- 3
- 8
- 9
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 12
- 12
- 4
- 6
- 5
- 4
- 5
- 3
- 4
- 9
- 3
- 5
- 3
- 7
- 4
- 6
- 3
- 3
- 9
- 3
- 3
- 3
- 3
- 4
- 3
- 9
- 4
- 3
- 3
- 3
- 13
- 13
- 3
- 3
- 3
- 3
- 3
- 3
- 18
- 3
- 20
- 6
- 47
- 3
- 3
- 4
- 3
- 5
- 5
- 3
- 4
- 5
- 6
- 6
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 3
- 4
- 3
- 5
- 8
- 9
- 7
- 14
- 4
- 6
- 4
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 8
- 3
- 4
- 5
- 4
- 19
- 3
- 4
- 3
- 4
- 4
- 7
- 4
- 3
- 3
- 5
- 3
- 7
- 6
- 13
- 5
- 4
- 6
- 10
- 39
- 3
- 4
- 3
- 3
- 3
- 6
- 11
- 4
- 3
- 3
- 3
- 3
- 5
- 5
- 5
- 4
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 14
- 5
- 4
- 5
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 23
- 5
- 3
- 3
- 3
- 4
- 4
- 6
- 3
- 12
- 3
- 3
- 4
- 6
- 3
- 6
- 3
- 4
- 12
- 5
- 3
- 6
- 3
- 3
- 16
- 6
- 3
- 4
- 3
- 5
- 3
- 6
- 4
- 3
- 6
- 7
- 14
- 3
- 3
- 10
- 3
- 3
- 3
- 14
- 3
- 4
- 3
- 3
- 13
- 4
- 4
- 3
- 5
- 8
- 3
- 4
- 3
- 12
- 5
- 7
- 3
- 6
- 3
- 5
- 4
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 4
- 3
- 4
- 5
- 6
- 4
- 5
- 3
- 8
- 3
- 5
- 3
- 9
- 8
- 3
- 3
- 4
- 5
- 3
- 5
- 4
- 4
- 6
- 3
- 5
- 6
- 3
- 10
- 4
- 4
- 3
- 5
- 6
- 9
- 3
- 5
- 5
- 3
- 6
- 4
- 15
- 6
- 3
- 4
- 9
- 4
- 5
- 3
- 3
- 24
- 3
- 4
- 14
- 36
- 4
- 3
- 6
- 4
- 3
- 3
- 4
- 3
- 7
- 4
- 7
- 6
- 4
- 4
- 4
- 3
- 6
- 13
- 7
- 3
- 5
- 4
- 6
- 3
- 4
- 9
- 6
- 4
- 3
- 4
- 6
- 11
- 4
- 10
- 21
- 4
- 3
- 4
- 6
- 5
- 3
- 4
- 8
- 9
- 13
- 9
- 5
- 13
- 5
- 3
- 4
- 7
- 3
- 6
- 4
- 34
- 9
- 4
- 3
- 5
- 5
- 9
- 6
- 4
- 4
- 3
- 4
- 4
- 5
- 4
- 4
- 4
- 11
- 3
- 5
- 4
- 3
- 3
- 10
- 6
- 8
- 11
- 4
- 4
- 4
- 4
- 4
- 27
- 3
- 4
- 4
- 4
- 6
- 4
- 14
- 9
- 3
- 5
- 5
- 6
- 39
- 7
- 4
- 6
- 3
- 9
- 34
- 5
- 7
- 5
- 6
- 5
- 11
- 4
- 5
- 5
- 4
- 5
- 6
- 4
- 3
- 10
- 5
- 11
- 4
- 3
- 4
- 13
- 3
- 8
- 5
- 6
- 4
- 18
- 11
- 5
- 5
- 6
- 4
- 11
- 12
- 8
- 6
- 4
- 5
- 4
- 3
- 4
- 8
- 4
- 4
- 4
- 4
- 8
- 10
- 3
- 4
- 6
- 7
- 20
- 9
- 3
- 5
- 12
- 6
- 6
- 5
- 3
- 7
- 5
- 7
- 6
- 3
- 7
- 8
- 3
- 3
- 5
- 18
- 5
- 4
- 3
- 4
- 40
- 4
- 10
- 4
- 3
- 9
- 4
- 3
- 6
- 3
- 9
- 11
- 14
- 3
- 4
- 4
- 4
- 5
- 10
- 3
- 8
- 5
- 10
- 4
- 13
- 7
- 8
- 4
- 7
- 10
- 4
- 3
- 4
- 4
- 4
- 4
- 5
- 3
- 13
- 5
- 6
- 4
- 9
- 4
- 38
- 4
- 4
- 9
- 16
- 6
- 3
- 5
- 8
- 3
- 11
- 10
- 10
- 33
- 4
- 5
- 4
- 4
- 4
- 4
- 4
- 5
- 7
- 14
- 10
- 12
- 6
- 9
- 13
- 41
- 7
- 16
- 9
- 13
- 3
- 3
- 4
- 22
- 9
- 9
- 4
- 10
- 13
- 5
- 7
- 7
- 6
- 5
- 10
- 6
- 3
- 8
- 4
- 3
- 19
- 13
- 6
- 5
- 18
- 6
- 4
- 5
- 14
- 5
- 4
- 4
- 9
- 4
- 7
- 5
- 4
- 18
- 6
- 9
- 4
- 6
- 5
- 4
- 7
- 4
- 4
- 16
- 5
- 4
- 4
- 4
- 6
- 6
- 4
- 5
- 5
- 10
- 8
- 5
- 4
- 18
- 16
- 4
- 15
- 6
- 4
- 4
- 4
- 14
- 4
- 7
- 6
- 20
- 4
- 7
- 8
- 5
- 10
- Verlag
-
- 684
- 2675
- 1680
- 1
- 79
- 656
- 82
- Preis
-
- 26
- 197
- 4506
- 1128
- Sprachen
-
- 5852
- 15
- 13
- Verfügbarkeit
-
- 5836
- 21
- Katalog
-
- 5857
- 294
-
Chechik / Blazy Verified Software. Theories, Tools, and Experiments
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17¿18, 2016, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-48868-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Arbel / Bloem Hardware and Software: Verification and Testing
12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-49051-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sack / Rizzo / Lange The Semantic Web
ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29 ¿ June 2, 2016, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-47601-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sirjani / Cimatti Software Engineering and Formal Methods
15th International Conference, SEFM 2017, Trento, Italy, September 4¿8, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66196-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wang / Zhang / Turhan Semantic Technology
7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-70681-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rahman / Uehara / Sung WALCOM: Algorithms and Computation
12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-75171-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lintas / Villa / Rovetta Artificial Neural Networks and Machine Learning ¿ ICANN 2017
26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68599-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Reddy / Bhalla / Sureka Big Data Analytics
5th International Conference, BDA 2017, Hyderabad, India, December 12-15, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-72412-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
González-Beltrán / Peroni / Osborne Semantics, Analytics, Visualization. Enhancing Scholarly Data
Second International Workshop, SAVE-SD 2016, Montreal, QC, Canada, April 11, 2016, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-53636-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tryfonas Human Aspects of Information Security, Privacy and Trust
5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-58459-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Velegrakis / Szymanski / Szymanski Semantic Keyword-Based Search on Structured Data Sources
Third International KEYSTONE Conference, IKC 2017, Gda¿sk, Poland, September 11-12, 2017, Revised Selected Papers and COST Action IC1302 Reports1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-74496-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Duan / Liu Structured Object-Oriented Formal Language and Method
Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers2014Verlag: Springer International PublishingISBN: 978-3-319-04914-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Shafait / Iwamura Camera-Based Document Analysis and Recognition
5th International Workshop, CBDAR 2013, Washington, DC, USA, August 23, 2013, Revised Selected Papers2014Verlag: Springer International PublishingISBN: 978-3-319-05166-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
O'Sullivan Principles and Practice of Constraint Programming
20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-10427-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
ter Beek / Knapp / Gnesi Critical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-45942-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Markey / Fränzle Formal Modeling and Analysis of Timed Systems
14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-44877-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kochetov / Khachay / Pardalos Discrete Optimization and Operations Research
9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-44913-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Villa / Pons Rivero / Masulli Artificial Neural Networks and Machine Learning ¿ ICANN 2016
25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-44780-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bogdan / Gulliksen / Sauer Human-Centered and Error-Resilient Systems Development
IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, Augu1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-44901-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Alboul / Aitken / Damian Towards Autonomous Robotic Systems
17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-40378-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bornschlegl / Hemmje / Engel Advanced Visual Interfaces. Supporting Big Data Applications
AVI 2016 Workshop, AVI-BDA 2016, Bari, Italy, June 7¿10, 2016, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-50069-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Siarry / Idoumghar / Lepagnot Swarm Intelligence Based Optimization
Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers1. Auflage 2016Verlag: Springer-Verlag GmbHISBN: 978-3-319-50306-6Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jamnik / Elzer Schwartz / Uesaka Diagrammatic Representation and Inference
9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-42332-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cerulli / Mahjoub / Fujishige Combinatorial Optimization
4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-45586-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Valmari / Devillers Application and Theory of Petri Nets and Concurrency
36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-19487-5Medium: 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