Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 64 Berechenbarkeitstheorie, Komplexitätstheorie
- 1107 Bildsignalverarbeitung
- 4612 Künstliche Intelligenz
- 2201 Logik, formale Sprachen, Automaten
- 1014 Mathematik für Informatiker
- 1198 Mensch-Maschine-Interaktion
- 167 Natürliche Sprachen & Maschinelle Übersetzung
- 334 Rechnerarchitektur
- 382 Theoretische Informatik
- 28 Tonsignalverarbeitung
- 54 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 7853
- Erscheinungsjahr
-
- 243
- 690
- 727
- 433
- 293
- 147
- 195
- 205
- 191
- 172
- 227
- 201
- 196
- 199
- 195
- 176
- 179
- 198
- 164
- 233
- 214
- 203
- 277
- 240
- 205
- 194
- 125
- 122
- 106
- 112
- 110
- 97
- 91
- 72
- 57
- 71
- 41
- 48
- 31
- 32
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 11
- 5
- 12
- 9
- 10
- 10
- 3
- Autoren
-
- 3
- 3
- 6
- 3
- 6
- 3
- 3
- 4
- 4
- 5
- 9
- 3
- 3
- 10
- 7
- 8
- 7
- 4
- 4
- 4
- 8
- 5
- 4
- 5
- 17
- 21
- 7
- 5
- 5
- 4
- 6
- 8
- 4
- 4
- 6
- 6
- 14
- 23
- 36
- 6
- 33
- 4
- 5
- 4
- 7
- 4
- 6
- 10
- 5
- 15
- 5
- 11
- 4
- 39
- 4
- 4
- 4
- 7
- 4
- 5
- 4
- 5
- 4
- 6
- 6
- 4
- 15
- 6
- 5
- 4
- 6
- 6
- 4
- 4
- 8
- 6
- 11
- 7
- 4
- 5
- 4
- 4
- 4
- 18
- 5
- 9
- 9
- 5
- 4
- 5
- 5
- 5
- 9
- 10
- 12
- 6
- 5
- 6
- 40
- 4
- 4
- 4
- 19
- 8
- 5
- 5
- 5
- 8
- 8
- 4
- 4
- 4
- 7
- 4
- 10
- 4
- 4
- 4
- 4
- 9
- 4
- 9
- 5
- 4
- 12
- 14
- 4
- 4
- 4
- 6
- 11
- 4
- 5
- 39
- 15
- 8
- 5
- 7
- 5
- 9
- 7
- 4
- 16
- 5
- 5
- 10
- 4
- 4
- 12
- 6
- 6
- 8
- 8
- 4
- 10
- 4
- 24
- 5
- 12
- 5
- 11
- 5
- 10
- 4
- 5
- 9
- 6
- 5
- 6
- 5
- 4
- 4
- 7
- 6
- 4
- 34
- 4
- 5
- 13
- 41
- 4
- 12
- 9
- 6
- 16
- 4
- 4
- 5
- 19
- 4
- 4
- 36
- 4
- 4
- 5
- 9
- 15
- 7
- 4
- 4
- 7
- 12
- 4
- 4
- 4
- 4
- 5
- 5
- 9
- 5
- 4
- 4
- 39
- 4
- 7
- 5
- 4
- 10
- 4
- 4
- 4
- 4
- 14
- 4
- 5
- 4
- 5
- 6
- 5
- 5
- 5
- 11
- 5
- 5
- 4
- 4
- 4
- 4
- 6
- 11
- 4
- 5
- 4
- 4
- 4
- 4
- 5
- 4
- 4
- 9
- 15
- 19
- 5
- 6
- 9
- 5
- 5
- 7
- 6
- 11
- 9
- 24
- 6
- 4
- 4
- 5
- 4
- 5
- 6
- 4
- 4
- 4
- 4
- 5
- 7
- 6
- 6
- 5
- 4
- 4
- 6
- 6
- 4
- 8
- 16
- 11
- 5
- 5
- 8
- 39
- 39
- 5
- 8
- 23
- 4
- 9
- 7
- 14
- 4
- 4
- 5
- 25
- 10
- 6
- 6
- 5
- 16
- 4
- 4
- 4
- 5
- 4
- 4
- 6
- 6
- 5
- 7
- 4
- 5
- 27
- 4
- 12
- 41
- 8
- 5
- 4
- 4
- 14
- 6
- 7
- 7
- 6
- 4
- 5
- 12
- 17
- 4
- 6
- 4
- 4
- 6
- 6
- 8
- 5
- 5
- 5
- 4
- 14
- 16
- 4
- 5
- 4
- 10
- 5
- 5
- 4
- 10
- 6
- 5
- 4
- 6
- 5
- 4
- 4
- 17
- 37
- 4
- 4
- 20
- 7
- 16
- 22
- 75
- 11
- 4
- 5
- 16
- 4
- 4
- 4
- 16
- 5
- 8
- 4
- 6
- 13
- 4
- 4
- 4
- 4
- 17
- 4
- 6
- 6
- 4
- 5
- 5
- 17
- 6
- 4
- 7
- 19
- 39
- 4
- 4
- 17
- 7
- 4
- 4
- 9
- 15
- 7
- 4
- 68
- 4
- 5
- 7
- 6
- 6
- 6
- 15
- 4
- 4
- 14
- 5
- 10
- 5
- 19
- 4
- 8
- 4
- 6
- 4
- 13
- 9
- 4
- 4
- 13
- 4
- 13
- 6
- 10
- 4
- 6
- 4
- 5
- 4
- 15
- 6
- 4
- 6
- 7
- 7
- 5
- 4
- 8
- 6
- 24
- 4
- 5
- 4
- 8
- 4
- 8
- 4
- 13
- 23
- 4
- 8
- 15
- 5
- 5
- 7
- 29
- 4
- 4
- 5
- 4
- 6
- 4
- 5
- 9
- 6
- 12
- 17
- 18
- 4
- 8
- 4
- 7
- 19
- 15
- 7
- 4
- 6
- 25
- 4
- 15
- 12
- 41
- 4
- 5
- 11
- 6
- 6
- 12
- 4
- 4
- 4
- 6
- 5
- 4
- 9
- 7
- 6
- 14
- 4
- 83
- 7
- 12
- 4
- 16
- 4
- 4
- 7
- 7
- 5
- 4
- 6
- 12
- 10
- 4
- 7
- 5
- 4
- 4
- 6
- 6
- 18
- 20
- 23
- 4
- 4
- 4
- 57
- 10
- 14
- 6
- 9
- 10
- 22
- 5
- 5
- 6
- 8
- 4
- 4
- 4
- 11
- 7
- 25
- 6
- 4
- 11
- 12
- 13
- 15
- 14
- 13
- 11
- 4
- 19
- 6
- 11
- 4
- 6
- 22
- 5
- 4
- 35
- 16
- 6
- 4
- 8
- 4
- 5
- 8
- 18
- 7
- 4
- 7
- 6
- 6
- 6
- 11
- 6
- 4
- 6
- 5
- 4
- 5
- 4
- 8
- 15
- 4
- 7
- 7
- 5
- 28
- 4
- 4
- 11
- 4
- 5
- 4
- 18
- 4
- 8
- 7
- 6
- 4
- 11
- 4
- 65
- 4
- 4
- 5
- 7
- 6
- 6
- 13
- 45
- 8
- 5
- 10
- 7
- 5
- 5
- 11
- 4
- 4
- 4
- 4
- 11
- 6
- 6
- 4
- 5
- 7
- 7
- 6
- 4
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 7
- 43
- 5
- 6
- 4
- 20
- 7
- 6
- 17
- 6
- 5
- 13
- 4
- 5
- 11
- 15
- 4
- 12
- 6
- 4
- 4
- 22
- 10
- 13
- 4
- 4
- 5
- 4
- 4
- 15
- 7
- 4
- 12
- 9
- 6
- 9
- 4
- 6
- 7
- 24
- 5
- 6
- 6
- 8
- 12
- 4
- 8
- 6
- 4
- 6
- 4
- 6
- 4
- 7
- 11
- 27
- 6
- 13
- 4
- 5
- 21
- 6
- 4
- 8
- 89
- 4
- 6
- 4
- 5
- 13
- 5
- 8
- 10
- 8
- 8
- 7
- 9
- 5
- 22
- 7
- 90
- 4
- 4
- 41
- 11
- 8
- 89
- 22
- 4
- 14
- 6
- 5
- 8
- 12
- 11
- 8
- 4
- 4
- 5
- 7
- 14
- 89
- 5
- 20
- 4
- 6
- 11
- 4
- 4
- 11
- 4
- 18
- 14
- 10
- 5
- 4
- 12
- 4
- 9
- 4
- 15
- 10
- 4
- 4
- 4
- 6
- 4
- 9
- 4
- 6
- 12
- 26
- 6
- 4
- 4
- 4
- 5
- 4
- 5
- 14
- 4
- 8
- 12
- 4
- 12
- 21
- 26
- 4
- 5
- 5
- 4
- 18
- 9
- 4
- 12
- 7
- 4
- 13
- 10
- 4
- 4
- 11
- 9
- 27
- 41
- 8
- 8
- 7
- 5
- 22
- 4
- 4
- 4
- 4
- 10
- 4
- 14
- 23
- 4
- 7
- 24
- 10
- 25
- 53
- 10
- 8
- 17
- 4
- 8
- 6
- 18
- 15
- 14
- 4
- 4
- 6
- 9
- 31
- 4
- 24
- 12
- 6
- 6
- 12
- 5
- 4
- 7
- 12
- 4
- 17
- 4
- 7
- 4
- 15
- 4
- 4
- 7
- 4
- 5
- 10
- 4
- 89
- 10
- 14
- 16
- 4
- 4
- 10
- 7
- 4
- 5
- 5
- 16
- 5
- 11
- 5
- 7
- 13
- 6
- 6
- 21
- 6
- 4
- 5
- 4
- 6
- 5
- 4
- 17
- 11
- 5
- 4
- 8
- 5
- 5
- 4
- 4
- 4
- 21
- 4
- 9
- 10
- 6
- 6
- 6
- 5
- 7
- 4
- 7
- 8
- 6
- 4
- 4
- 4
- 18
- 7
- 8
- 4
- 4
- 4
- 13
- 6
- 6
- 4
- 4
- 27
- 5
- 4
- 14
- 4
- 4
- 16
- 4
- 8
- 6
- 7
- 18
- 7
- 6
- 16
- 4
- 10
- 7
- 6
- 4
- 5
- 21
- 4
- 4
- 43
- 4
- 14
- 21
- 15
- 4
- 5
- 4
- 5
- 5
- 4
- 4
- 6
- 32
- 4
- 7
- 9
- 23
- 19
- 4
- 5
- 5
- 5
- 10
- 5
- 4
- 9
- 7
- 6
- 4
- 21
- Verlag
-
- 1
- 7810
- 3
- 3
- 3
- 2
- 1
- 30
- Preis
-
- 27
- 241
- 5873
- 1712
- Sprachen
-
- 7848
- 15
- 12
- 1
- Verfügbarkeit
-
- 7847
- 6
- Eigenschaften
-
- 8
- Katalog
-
- 7853
- 346
-
Knoop / Karl / Schulz Architecture of Computing Systems - ARCS 2017
30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-54998-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dillig / Palsberg Verification, Model Checking, and Abstract Interpretation
19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-73720-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Szymanski / Velegrakis 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: SpringerISBN: 978-3-319-74496-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Frati / Ma Graph Drawing and Network Visualization
25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-73914-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rahman / Sung / Uehara WALCOM: Algorithms and Computation
12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-75171-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Balandin / Andreev / Koucheryavy Internet of Things, Smart Spaces, and Next Generation Networks and Systems
15th International Conference, NEW2AN 2015, and 8th Conference, ruSMART 2015, St. Petersburg, Russia, August 26-28, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23125-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Combemale / Pearce / Barais Software Language Engineering
7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11244-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Merz / Pang Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11736-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Legay / Bozga Formal Modeling and Analysis of Timed Systems
12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10511-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Escobar Rewriting Logic and Its Applications
10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-12903-7Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gupta / Peña Logic-Based Program Synthesis and Transformation
23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-14124-4Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vaudenay Fast Software Encryption
5th International Workshop, FSE '98, Paris, France, March 23-25, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64265-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Atmanspacher / Haven / Kitto Quantum Interaction
7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54942-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gerstner / Germond / Hasler Artificial Neural Networks - ICANN '97
7th International Conference Lausanne, Switzerland, October 8-10, 1997 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63631-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tuosto / Ouyang Web Services and Formal Methods
10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08259-2Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fouilhoux / Gouveia / Mahjoub Combinatorial Optimization
Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09173-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Duff / Lepora / Mura Biomimetic and Biohybrid Systems
Third International Conference, Living Machines 2014, Milan, Italy, July 30--August 1, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09434-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cai / Zelikovsky / Bourgeois Computing and Combinatorics
20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08782-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pardalos / Resende / Vogiatzis Learning and Intelligent Optimization
8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09583-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Behnke / Veloso / Visser RoboCup 2013: Robot World Cup XVII
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44467-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cassez / Raskin Automated Technology for Verification and Analysis
12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11935-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bonato / Bouganis / Gorgon Applied Reconfigurable Computing
12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-30480-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Murakami / Lin Worldwide Language Service Infrastructure
Second International Workshop, WLSI 2015, Kyoto, Japan, January 22-23, 2015. Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-31467-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hildebrandt / Ravara / van der Werf Web Services, Formal Methods, and Behavioral Types
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33611-4Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Duan Structured Object-Oriented Formal Language and Method
Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-04914-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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