Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 72 Berechenbarkeitstheorie, Komplexitätstheorie
- 1120 Bildsignalverarbeitung
- 4535 Künstliche Intelligenz
- 2191 Logik, formale Sprachen, Automaten
- 917 Mathematik für Informatiker
- 1199 Mensch-Maschine-Interaktion
- 154 Natürliche Sprachen & Maschinelle Übersetzung
- 326 Rechnerarchitektur
- 377 Theoretische Informatik
- 25 Tonsignalverarbeitung
- 64 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 7720
- Erscheinungsjahr
-
- 84
- 698
- 725
- 431
- 287
- 170
- 185
- 232
- 205
- 189
- 211
- 205
- 192
- 174
- 201
- 197
- 180
- 192
- 172
- 228
- 196
- 178
- 277
- 235
- 201
- 196
- 132
- 126
- 107
- 116
- 109
- 101
- 88
- 75
- 58
- 70
- 48
- 46
- 30
- 32
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 11
- 5
- 12
- 9
- 10
- 10
- 3
- Autoren
-
- 5
- 6
- 4
- 5
- 4
- 7
- 5
- 4
- 9
- 5
- 4
- 9
- 4
- 6
- 7
- 4
- 4
- 5
- 7
- 6
- 4
- 17
- 19
- 7
- 4
- 4
- 6
- 8
- 4
- 5
- 4
- 9
- 14
- 23
- 36
- 6
- 26
- 7
- 5
- 4
- 4
- 5
- 8
- 4
- 8
- 5
- 15
- 4
- 5
- 11
- 4
- 4
- 39
- 5
- 4
- 6
- 5
- 4
- 4
- 8
- 4
- 7
- 5
- 5
- 4
- 13
- 4
- 4
- 4
- 6
- 4
- 4
- 5
- 4
- 6
- 5
- 4
- 4
- 4
- 9
- 6
- 11
- 8
- 5
- 22
- 6
- 7
- 5
- 5
- 4
- 5
- 4
- 7
- 5
- 4
- 6
- 4
- 5
- 9
- 6
- 5
- 6
- 40
- 4
- 4
- 4
- 4
- 4
- 19
- 10
- 5
- 5
- 4
- 7
- 7
- 4
- 4
- 10
- 6
- 4
- 10
- 5
- 4
- 5
- 4
- 14
- 4
- 10
- 5
- 4
- 13
- 14
- 7
- 4
- 4
- 5
- 4
- 5
- 4
- 4
- 5
- 10
- 4
- 5
- 4
- 39
- 16
- 7
- 4
- 7
- 4
- 8
- 5
- 4
- 4
- 16
- 4
- 7
- 10
- 4
- 10
- 5
- 6
- 11
- 6
- 8
- 24
- 4
- 5
- 13
- 4
- 5
- 13
- 4
- 9
- 5
- 4
- 6
- 7
- 4
- 6
- 7
- 4
- 6
- 4
- 6
- 4
- 4
- 34
- 4
- 7
- 41
- 12
- 9
- 6
- 4
- 19
- 5
- 5
- 19
- 7
- 39
- 4
- 4
- 5
- 11
- 15
- 10
- 4
- 6
- 7
- 5
- 12
- 4
- 4
- 7
- 5
- 4
- 7
- 4
- 4
- 4
- 39
- 4
- 7
- 4
- 10
- 4
- 4
- 4
- 4
- 10
- 4
- 6
- 5
- 4
- 4
- 8
- 4
- 5
- 7
- 5
- 10
- 4
- 6
- 4
- 8
- 4
- 6
- 4
- 9
- 4
- 4
- 4
- 6
- 5
- 8
- 7
- 4
- 4
- 4
- 6
- 15
- 22
- 5
- 9
- 10
- 4
- 6
- 6
- 4
- 4
- 11
- 9
- 4
- 24
- 6
- 4
- 5
- 4
- 4
- 4
- 8
- 6
- 4
- 4
- 4
- 4
- 4
- 5
- 4
- 8
- 4
- 5
- 6
- 4
- 4
- 8
- 7
- 4
- 5
- 16
- 11
- 6
- 6
- 4
- 8
- 33
- 41
- 4
- 7
- 23
- 7
- 13
- 5
- 11
- 4
- 6
- 27
- 13
- 6
- 16
- 7
- 4
- 4
- 4
- 5
- 5
- 13
- 4
- 4
- 8
- 4
- 8
- 5
- 27
- 13
- 43
- 8
- 4
- 15
- 9
- 6
- 4
- 11
- 5
- 15
- 4
- 5
- 4
- 7
- 8
- 4
- 5
- 4
- 17
- 13
- 5
- 4
- 5
- 4
- 5
- 4
- 7
- 9
- 4
- 7
- 4
- 16
- 33
- 6
- 4
- 4
- 16
- 9
- 15
- 20
- 64
- 11
- 5
- 18
- 7
- 4
- 19
- 4
- 10
- 5
- 9
- 16
- 4
- 4
- 4
- 4
- 6
- 4
- 21
- 4
- 6
- 7
- 5
- 4
- 22
- 7
- 5
- 19
- 39
- 10
- 18
- 4
- 9
- 4
- 4
- 4
- 10
- 4
- 4
- 4
- 12
- 15
- 6
- 5
- 4
- 4
- 4
- 70
- 4
- 8
- 5
- 4
- 4
- 15
- 5
- 12
- 4
- 4
- 4
- 22
- 6
- 8
- 4
- 5
- 6
- 4
- 15
- 4
- 10
- 5
- 13
- 4
- 4
- 13
- 4
- 5
- 4
- 5
- 4
- 16
- 6
- 4
- 7
- 6
- 6
- 8
- 6
- 4
- 20
- 4
- 4
- 5
- 5
- 8
- 5
- 6
- 6
- 15
- 20
- 4
- 7
- 15
- 5
- 6
- 29
- 4
- 9
- 4
- 11
- 4
- 5
- 11
- 6
- 4
- 8
- 12
- 4
- 13
- 18
- 5
- 4
- 8
- 4
- 15
- 5
- 5
- 12
- 7
- 4
- 4
- 27
- 15
- 23
- 41
- 4
- 5
- 6
- 12
- 5
- 4
- 4
- 6
- 7
- 4
- 9
- 7
- 4
- 13
- 88
- 15
- 17
- 4
- 4
- 11
- 6
- 14
- 12
- 4
- 4
- 4
- 4
- 4
- 9
- 17
- 21
- 25
- 7
- 4
- 63
- 5
- 21
- 11
- 20
- 5
- 4
- 8
- 4
- 4
- 4
- 13
- 6
- 4
- 9
- 23
- 6
- 4
- 4
- 11
- 14
- 13
- 16
- 8
- 15
- 6
- 16
- 4
- 7
- 4
- 11
- 4
- 6
- 5
- 7
- 4
- 4
- 14
- 5
- 4
- 4
- 29
- 14
- 6
- 4
- 7
- 4
- 8
- 4
- 5
- 14
- 5
- 6
- 5
- 4
- 4
- 8
- 4
- 4
- 8
- 4
- 7
- 4
- 8
- 13
- 4
- 4
- 6
- 7
- 22
- 12
- 4
- 6
- 4
- 19
- 4
- 4
- 6
- 9
- 6
- 5
- 56
- 6
- 7
- 9
- 8
- 7
- 9
- 35
- 9
- 5
- 9
- 10
- 5
- 5
- 11
- 4
- 5
- 4
- 9
- 7
- 4
- 4
- 7
- 4
- 4
- 6
- 4
- 5
- 4
- 4
- 4
- 5
- 11
- 7
- 4
- 5
- 44
- 9
- 4
- 4
- 17
- 5
- 5
- 4
- 20
- 7
- 4
- 5
- 4
- 4
- 13
- 5
- 6
- 13
- 15
- 12
- 4
- 5
- 4
- 24
- 10
- 4
- 8
- 7
- 4
- 6
- 4
- 13
- 5
- 9
- 4
- 12
- 5
- 12
- 5
- 8
- 5
- 4
- 4
- 8
- 24
- 4
- 10
- 7
- 4
- 5
- 10
- 14
- 5
- 8
- 4
- 4
- 6
- 4
- 6
- 5
- 4
- 10
- 26
- 14
- 5
- 17
- 4
- 7
- 90
- 7
- 6
- 6
- 5
- 9
- 7
- 6
- 11
- 10
- 8
- 4
- 6
- 4
- 8
- 19
- 7
- 93
- 4
- 42
- 4
- 4
- 9
- 8
- 89
- 16
- 14
- 6
- 4
- 5
- 4
- 9
- 11
- 13
- 4
- 4
- 5
- 5
- 9
- 89
- 4
- 5
- 9
- 16
- 6
- 11
- 5
- 11
- 4
- 18
- 12
- 11
- 4
- 5
- 4
- 12
- 4
- 9
- 7
- 15
- 9
- 4
- 4
- 4
- 6
- 4
- 7
- 4
- 8
- 4
- 9
- 4
- 22
- 4
- 4
- 4
- 5
- 4
- 6
- 14
- 8
- 5
- 11
- 12
- 45
- 4
- 5
- 6
- 4
- 19
- 12
- 5
- 4
- 12
- 10
- 13
- 11
- 6
- 4
- 4
- 12
- 4
- 7
- 23
- 41
- 4
- 13
- 4
- 7
- 21
- 4
- 5
- 4
- 7
- 16
- 19
- 5
- 4
- 19
- 9
- 13
- 22
- 42
- 10
- 4
- 18
- 9
- 5
- 9
- 21
- 10
- 7
- 4
- 5
- 4
- 9
- 17
- 4
- 24
- 12
- 6
- 6
- 7
- 10
- 6
- 12
- 4
- 5
- 11
- 14
- 4
- 4
- 8
- 6
- 4
- 14
- 4
- 7
- 6
- 9
- 89
- 10
- 13
- 16
- 4
- 4
- 5
- 4
- 14
- 4
- 5
- 23
- 5
- 4
- 11
- 6
- 5
- 5
- 13
- 5
- 6
- 21
- 6
- 4
- 4
- 5
- 5
- 17
- 9
- 6
- 4
- 12
- 6
- 5
- 23
- 5
- 10
- 10
- 4
- 6
- 6
- 4
- 5
- 4
- 4
- 5
- 9
- 5
- 4
- 17
- 7
- 5
- 4
- 4
- 13
- 6
- 5
- 5
- 27
- 6
- 14
- 4
- 4
- 4
- 17
- 4
- 12
- 6
- 17
- 5
- 6
- 18
- 4
- 8
- 6
- 5
- 24
- 7
- 46
- 4
- 14
- 19
- 5
- 18
- 4
- 4
- 5
- 6
- 4
- 5
- 6
- 6
- 4
- 32
- 4
- 7
- 4
- 21
- 5
- 20
- 6
- 5
- 10
- 7
- 5
- 8
- 7
- 5
- 5
- 17
- Verlag
-
- 6
- 7665
- 3
- 9
- 5
- 2
- 1
- 29
- Preis
-
- 27
- 223
- 5810
- 1660
- Sprachen
-
- 7715
- 16
- 12
- 1
- Verfügbarkeit
-
- 7713
- 7
- Eigenschaften
-
- 1
- Katalog
-
- 7720
- 353
-
Asperti / Bancerek / Trybulec Mathematical Knowledge Management
Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23029-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Boulicaut / De Raedt / Mannila Constraint-Based Mining and Inductive Databases
European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31331-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kohlhase Mathematical Knowledge Management
4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31430-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Batten / Safavi-Naini Information Security and Privacy
11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35458-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Degano Programming Languages and Systems
12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00886-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tixeuil / Herman Self-Stabilizing Systems
7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 20051. Auflage 2005Verlag: SpringerISBN: 978-3-540-29814-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ramos / Lrios Rosillo / Unger Advanced Distributed Systems
5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28063-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Eskin / Workman Regulatory Genomics
RECOMB 2004 International Workshop, RRG 2004, San Diego, CA, USA, March 26-27, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24456-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Morari / Thiele / Rossi Hybrid Systems: Computation and Control
8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25108-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leite / Omicini / Torroni Declarative Agent Languages and Technologies II
Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26172-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dourish / Friday UbiComp 2006: Ubiquitous Computing
8th International Conference, UbiComp 2006, Orange County, CA, USA, September 17-21, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-39634-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schlechta Nonmonotonic Logics
Basic Concepts, Results, and TechniquesErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62482-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Berardi / Coppo Types for Proofs and Programs
International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected PapersErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61780-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sipper Evolution of Parallel Cellular Machines
The Cellular Programming ApproachErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62613-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kasturi / Tombre Graphics Recognition. Methods and Applications
First International Workshop, University Park, PA, USA, August (10-11), 1995. Selected PapersErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61226-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cunningham / McCormick / Queyranne Integer Programming and Combinatorial Optimization
5th International IPCO Conference Vancouver, British Columbia, Canada June 3-5, 1996 ProceedingsSoftcover Nachdruck of the original 1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61310-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jampel / Freuder / Maher Over-Constrained Systems
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61479-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brünnler / Metcalfe Automated Reasoning with Analytic Tableaux and Related Methods
20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22118-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pogodalla / Prost Logical Aspects of Computational Linguistics
6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22220-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sojka / Horak / Kopecek Text, Speech and Dialogue
13th International Conference, TSD 2010, Brno, Czech Republic, September 6-10, 2010.Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15759-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Clarke / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-17510-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kaufmann / Paulson Interactive Theorem Proving
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14051-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kittler / Roli Multiple Classifier Systems
Second International Workshop, MCS 2001 Cambridge, UK, July 2-4, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42284-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Datta / Herman Self-Stabilizing Systems
5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42653-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fitzgerald / Jones / Lucas FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63533-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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