Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 70 Berechenbarkeitstheorie, Komplexitätstheorie
- 1345 Bildsignalverarbeitung
- 5034 Künstliche Intelligenz
- 2218 Logik, formale Sprachen, Automaten
- 1058 Mathematik für Informatiker
- 1337 Mensch-Maschine-Interaktion
- 174 Natürliche Sprachen & Maschinelle Übersetzung
- 349 Rechnerarchitektur
- 388 Theoretische Informatik
- 22 Tonsignalverarbeitung
- 68 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 8354
- Erscheinungsjahr
-
- 78
- 690
- 675
- 718
- 431
- 287
- 168
- 190
- 215
- 188
- 195
- 211
- 224
- 191
- 200
- 184
- 194
- 169
- 190
- 176
- 222
- 216
- 180
- 273
- 233
- 197
- 196
- 129
- 130
- 108
- 118
- 106
- 92
- 90
- 69
- 57
- 70
- 44
- 46
- 31
- 32
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 11
- 5
- 12
- 9
- 10
- 10
- 3
- Autoren
-
- 4
- 4
- 5
- 4
- 4
- 9
- 4
- 11
- 25
- 8
- 7
- 5
- 4
- 6
- 4
- 8
- 16
- 4
- 4
- 20
- 4
- 8
- 5
- 4
- 4
- 5
- 4
- 6
- 8
- 4
- 4
- 4
- 5
- 6
- 13
- 4
- 32
- 36
- 5
- 30
- 7
- 5
- 4
- 4
- 4
- 6
- 7
- 11
- 7
- 21
- 4
- 13
- 4
- 4
- 39
- 5
- 5
- 4
- 4
- 8
- 4
- 7
- 6
- 4
- 6
- 4
- 9
- 9
- 46
- 6
- 4
- 5
- 4
- 6
- 5
- 4
- 23
- 4
- 4
- 4
- 7
- 4
- 10
- 8
- 9
- 4
- 5
- 4
- 4
- 4
- 4
- 19
- 7
- 11
- 5
- 5
- 4
- 4
- 8
- 4
- 4
- 4
- 7
- 8
- 4
- 12
- 4
- 4
- 6
- 40
- 7
- 4
- 5
- 4
- 19
- 9
- 5
- 4
- 6
- 7
- 7
- 4
- 4
- 10
- 6
- 4
- 4
- 7
- 10
- 4
- 4
- 5
- 13
- 4
- 10
- 5
- 4
- 13
- 9
- 14
- 9
- 4
- 4
- 6
- 6
- 8
- 4
- 4
- 4
- 39
- 17
- 7
- 4
- 7
- 4
- 5
- 4
- 8
- 6
- 5
- 16
- 10
- 5
- 13
- 4
- 4
- 10
- 7
- 7
- 9
- 8
- 4
- 4
- 9
- 4
- 23
- 4
- 11
- 8
- 5
- 8
- 4
- 14
- 5
- 4
- 7
- 4
- 6
- 6
- 6
- 10
- 4
- 4
- 5
- 5
- 4
- 34
- 5
- 12
- 41
- 4
- 12
- 10
- 7
- 19
- 4
- 4
- 42
- 4
- 4
- 39
- 6
- 4
- 5
- 10
- 15
- 8
- 4
- 5
- 7
- 12
- 5
- 4
- 5
- 4
- 6
- 5
- 5
- 5
- 4
- 4
- 39
- 7
- 7
- 12
- 4
- 4
- 11
- 6
- 4
- 7
- 5
- 6
- 4
- 4
- 4
- 6
- 6
- 8
- 4
- 9
- 6
- 13
- 6
- 6
- 6
- 5
- 6
- 4
- 9
- 4
- 6
- 6
- 6
- 4
- 4
- 5
- 5
- 7
- 8
- 26
- 4
- 23
- 15
- 25
- 8
- 8
- 7
- 4
- 5
- 6
- 4
- 4
- 15
- 8
- 23
- 5
- 5
- 5
- 7
- 4
- 5
- 4
- 4
- 4
- 8
- 4
- 4
- 4
- 5
- 11
- 6
- 5
- 5
- 6
- 5
- 6
- 22
- 11
- 7
- 7
- 6
- 38
- 43
- 9
- 41
- 12
- 9
- 9
- 4
- 6
- 29
- 13
- 5
- 5
- 15
- 4
- 9
- 6
- 4
- 10
- 26
- 14
- 43
- 78
- 7
- 4
- 14
- 10
- 6
- 6
- 7
- 4
- 9
- 17
- 9
- 6
- 4
- 7
- 4
- 6
- 8
- 4
- 4
- 5
- 5
- 19
- 17
- 4
- 4
- 6
- 4
- 7
- 4
- 8
- 9
- 10
- 4
- 19
- 4
- 47
- 6
- 4
- 9
- 4
- 17
- 9
- 15
- 24
- 5
- 81
- 4
- 11
- 4
- 4
- 5
- 14
- 4
- 5
- 4
- 8
- 4
- 18
- 4
- 6
- 4
- 7
- 4
- 6
- 16
- 4
- 4
- 4
- 5
- 5
- 4
- 4
- 26
- 4
- 6
- 9
- 4
- 5
- 4
- 15
- 7
- 5
- 7
- 23
- 39
- 8
- 18
- 9
- 4
- 5
- 4
- 4
- 15
- 4
- 10
- 15
- 5
- 4
- 5
- 5
- 8
- 95
- 4
- 8
- 6
- 5
- 10
- 5
- 6
- 4
- 4
- 6
- 4
- 15
- 4
- 4
- 13
- 5
- 5
- 5
- 18
- 9
- 11
- 7
- 5
- 6
- 4
- 18
- 4
- 6
- 5
- 12
- 13
- 6
- 9
- 5
- 4
- 16
- 6
- 5
- 6
- 12
- 5
- 5
- 4
- 15
- 9
- 4
- 34
- 4
- 7
- 6
- 8
- 6
- 10
- 4
- 4
- 15
- 25
- 9
- 15
- 12
- 32
- 4
- 6
- 10
- 4
- 4
- 12
- 4
- 4
- 4
- 13
- 6
- 4
- 12
- 4
- 18
- 21
- 5
- 7
- 11
- 4
- 14
- 6
- 26
- 78
- 14
- 21
- 4
- 45
- 4
- 4
- 5
- 7
- 7
- 6
- 5
- 12
- 4
- 4
- 6
- 7
- 8
- 14
- 7
- 4
- 4
- 5
- 17
- 4
- 91
- 13
- 6
- 43
- 6
- 4
- 4
- 4
- 10
- 7
- 6
- 5
- 10
- 14
- 9
- 12
- 5
- 4
- 34
- 4
- 6
- 5
- 18
- 20
- 6
- 28
- 6
- 4
- 5
- 77
- 11
- 15
- 6
- 12
- 22
- 5
- 5
- 6
- 6
- 4
- 4
- 4
- 30
- 5
- 6
- 4
- 24
- 6
- 4
- 4
- 5
- 4
- 13
- 16
- 13
- 7
- 14
- 15
- 15
- 10
- 23
- 8
- 4
- 4
- 78
- 11
- 8
- 12
- 21
- 5
- 4
- 27
- 23
- 5
- 4
- 7
- 7
- 5
- 6
- 13
- 5
- 15
- 4
- 9
- 6
- 4
- 7
- 7
- 4
- 13
- 6
- 5
- 4
- 4
- 9
- 11
- 4
- 9
- 4
- 8
- 15
- 4
- 4
- 4
- 6
- 5
- 23
- 4
- 4
- 14
- 4
- 4
- 4
- 6
- 6
- 4
- 4
- 22
- 4
- 9
- 4
- 7
- 7
- 4
- 6
- 72
- 6
- 4
- 5
- 11
- 8
- 6
- 12
- 35
- 4
- 4
- 5
- 14
- 8
- 5
- 5
- 9
- 4
- 12
- 21
- 25
- 4
- 4
- 4
- 6
- 9
- 12
- 4
- 6
- 5
- 4
- 4
- 6
- 8
- 10
- 4
- 6
- 9
- 49
- 4
- 4
- 17
- 6
- 4
- 38
- 6
- 4
- 4
- 4
- 4
- 4
- 12
- 20
- 4
- 11
- 10
- 15
- 4
- 12
- 4
- 8
- 27
- 9
- 11
- 6
- 5
- 4
- 14
- 5
- 12
- 14
- 8
- 8
- 9
- 5
- 7
- 7
- 8
- 4
- 23
- 6
- 7
- 4
- 10
- 6
- 8
- 4
- 37
- 5
- 8
- 6
- 6
- 4
- 7
- 5
- 7
- 5
- 4
- 10
- 29
- 6
- 16
- 5
- 36
- 4
- 6
- 4
- 8
- 4
- 90
- 4
- 7
- 6
- 5
- 6
- 13
- 14
- 5
- 78
- 5
- 8
- 8
- 6
- 8
- 11
- 19
- 18
- 6
- 92
- 39
- 11
- 9
- 9
- 89
- 22
- 6
- 20
- 7
- 9
- 11
- 16
- 5
- 6
- 7
- 90
- 5
- 21
- 8
- 11
- 6
- 82
- 11
- 18
- 13
- 15
- 10
- 13
- 5
- 15
- 13
- 8
- 6
- 7
- 7
- 13
- 22
- 5
- 5
- 6
- 5
- 7
- 14
- 8
- 14
- 13
- 23
- 28
- 7
- 6
- 5
- 5
- 16
- 6
- 7
- 13
- 6
- 33
- 16
- 5
- 10
- 5
- 6
- 33
- 50
- 7
- 10
- 9
- 6
- 5
- 24
- 5
- 6
- 8
- 5
- 16
- 23
- 5
- 6
- 6
- 25
- 13
- 22
- 51
- 10
- 9
- 17
- 9
- 22
- 13
- 15
- 6
- 21
- 8
- 33
- 81
- 23
- 12
- 6
- 10
- 8
- 6
- 5
- 12
- 17
- 7
- 14
- 6
- 7
- 7
- 8
- 5
- 89
- 11
- 17
- 15
- 6
- 13
- 5
- 7
- 24
- 5
- 11
- 5
- 5
- 6
- 13
- 37
- 6
- 5
- 6
- 5
- 5
- 8
- 16
- 11
- 7
- 5
- 10
- 6
- 9
- 22
- 6
- 8
- 10
- 7
- 5
- 6
- 6
- 7
- 5
- 8
- 9
- 9
- 5
- 18
- 5
- 13
- 17
- 6
- 19
- 26
- 11
- 14
- 23
- 7
- 13
- 5
- 11
- 5
- 8
- 18
- 6
- 6
- 22
- 6
- 12
- 5
- 35
- 7
- 5
- 21
- 46
- 37
- 18
- 40
- 5
- 11
- 21
- 5
- 32
- 7
- 27
- 20
- 10
- 5
- 8
- 5
- 6
- 21
- Verlag
-
- 6
- 8239
- 3
- 10
- 2
- 18
- 34
- 4
- 1
- 13
- 24
- Preis
-
- 27
- 263
- 6221
- 1843
- Sprachen
-
- 8349
- 16
- 12
- 1
- Verfügbarkeit
-
- 8150
- 204
- Eigenschaften
-
- 3
- Katalog
-
- 8354
- 373
-
Zu / Hu Human Centered Computing
Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-31853-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chau / Wang / Chen Intelligence and Security Informatics
11th Pacific Asia Workshop. PAISI 2016, Auckland, New Zealand, April 19, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-31862-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Duan Structured Object-Oriented Formal Language and Method
5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-31219-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lecomte / Pinger / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33950-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Creignou / Le Berre Theory and Applications of Satisfiability Testing - SAT 2016
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40969-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hillston / Soudjani / Waga Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-68415-9Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kuchen / Ueda Functional and Logic Programming
5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-41739-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wilhelm Compiler Construction
10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-41861-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margenstern / Rogozhin Machines, Computations, and Universality
Third International Conference, MCU 2001 Chisinau, Moldava, May 23-27, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42121-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Robertson / Shrobe / Laddaga Self-Adaptive Software
First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised PapersSoftcover Nachdruck of the original 1. Auflage 2001Verlag: SpringerISBN: 978-3-540-41655-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brebner / Woods Field-Programmable Logic and Applications
11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42499-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Raedt / Flach Machine Learning: ECML 2001
12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42536-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bauer / Gmytrasiewicz / Vassileva User Modeling 2001
8th International Conference, UM 2001, Sonthofen, Germany, July 13-17, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42325-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Peters Cross-Language Information Retrieval and Evaluation
Workshop of Cross-Language Evaluation Forum, CLEF 2000, Lisbon, Portugal, September 21-22, 2000, Revised Papers1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42446-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Picco Mobile Agents
5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42952-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Etzion / Scheuermann Cooperative Information Systems
7th International Conference, CoopIS 2000 Eilat, Israel, September 6-8, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41021-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thierauf The Computational Complexity of Equivalence and Isomorphism Problems
1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41032-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bachmair Rewriting Techniques and Applications
11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67778-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leuschel Logic Based Program Synthesis and Transformation
12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected PapersErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40438-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jansen / Margraf / Mastrolilli Experimental and Efficient Algorithms
Second International Workshop, WEA 2003, Ascona, Switzerland, May 26-28, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40205-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lemos / Gacek / Romanovsky Architecting Dependable Systems
1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40727-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
George / Miao Formal Methods and Software Engineering
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-00029-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deng / Bao / Zhou Information and Communications Security
4th International Conference, ICICS 2002, Singapore, December 9-12, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-00164-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nürnberg Metainformatics
International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40218-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hofmann Typed Lambda Calculi and Applications
6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40332-6Medium: 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