Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 71 Berechenbarkeitstheorie, Komplexitätstheorie
- 1096 Bildsignalverarbeitung
- 4533 Künstliche Intelligenz
- 2233 Logik, formale Sprachen, Automaten
- 933 Mathematik für Informatiker
- 1141 Mensch-Maschine-Interaktion
- 135 Natürliche Sprachen & Maschinelle Übersetzung
- 338 Rechnerarchitektur
- 400 Theoretische Informatik
- 27 Tonsignalverarbeitung
- 59 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 7711
- Erscheinungsjahr
-
- 124
- 685
- 715
- 430
- 297
- 144
- 166
- 193
- 194
- 203
- 212
- 210
- 184
- 194
- 197
- 183
- 195
- 194
- 169
- 233
- 229
- 170
- 279
- 240
- 212
- 193
- 135
- 128
- 101
- 111
- 104
- 95
- 88
- 78
- 59
- 70
- 46
- 48
- 30
- 32
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 11
- 5
- 12
- 9
- 10
- 10
- 3
- Autoren
-
- 6
- 3
- 5
- 4
- 6
- 3
- 3
- 5
- 3
- 9
- 4
- 3
- 9
- 7
- 5
- 7
- 3
- 4
- 3
- 4
- 4
- 3
- 4
- 3
- 5
- 3
- 9
- 4
- 16
- 3
- 20
- 3
- 7
- 4
- 3
- 3
- 3
- 3
- 4
- 6
- 8
- 3
- 3
- 3
- 3
- 4
- 3
- 11
- 4
- 14
- 26
- 36
- 8
- 3
- 30
- 7
- 4
- 4
- 6
- 6
- 9
- 15
- 4
- 4
- 11
- 39
- 4
- 5
- 4
- 5
- 4
- 7
- 4
- 5
- 4
- 4
- 7
- 4
- 4
- 15
- 4
- 4
- 5
- 5
- 4
- 6
- 6
- 4
- 4
- 6
- 4
- 6
- 8
- 7
- 5
- 5
- 4
- 17
- 5
- 5
- 6
- 9
- 5
- 4
- 5
- 4
- 5
- 4
- 5
- 7
- 6
- 7
- 10
- 5
- 5
- 6
- 40
- 4
- 4
- 6
- 14
- 9
- 5
- 6
- 8
- 9
- 4
- 5
- 7
- 7
- 4
- 10
- 4
- 4
- 5
- 13
- 4
- 9
- 4
- 4
- 16
- 14
- 7
- 4
- 4
- 4
- 5
- 8
- 4
- 39
- 10
- 6
- 4
- 7
- 5
- 7
- 5
- 5
- 4
- 16
- 7
- 10
- 13
- 4
- 10
- 7
- 6
- 11
- 5
- 4
- 8
- 24
- 13
- 4
- 11
- 4
- 4
- 13
- 4
- 4
- 4
- 7
- 6
- 4
- 7
- 4
- 10
- 4
- 4
- 6
- 4
- 4
- 34
- 11
- 4
- 41
- 4
- 11
- 9
- 7
- 17
- 4
- 4
- 5
- 19
- 35
- 5
- 4
- 5
- 10
- 15
- 9
- 4
- 4
- 7
- 6
- 12
- 4
- 4
- 4
- 11
- 5
- 4
- 8
- 5
- 4
- 4
- 39
- 5
- 7
- 4
- 10
- 4
- 4
- 4
- 4
- 12
- 5
- 5
- 4
- 5
- 6
- 4
- 4
- 9
- 4
- 4
- 5
- 6
- 11
- 5
- 4
- 6
- 4
- 8
- 4
- 6
- 4
- 11
- 4
- 4
- 4
- 4
- 4
- 5
- 8
- 4
- 4
- 5
- 4
- 4
- 15
- 22
- 4
- 8
- 10
- 5
- 4
- 9
- 10
- 6
- 24
- 6
- 6
- 4
- 5
- 4
- 4
- 4
- 5
- 5
- 4
- 4
- 5
- 4
- 4
- 4
- 6
- 4
- 6
- 5
- 4
- 4
- 4
- 5
- 6
- 7
- 5
- 9
- 16
- 11
- 5
- 7
- 8
- 36
- 37
- 4
- 9
- 23
- 8
- 7
- 5
- 13
- 5
- 5
- 25
- 12
- 6
- 6
- 15
- 5
- 5
- 4
- 4
- 4
- 4
- 5
- 6
- 4
- 7
- 6
- 5
- 6
- 4
- 7
- 5
- 4
- 6
- 27
- 4
- 13
- 46
- 4
- 8
- 5
- 4
- 4
- 15
- 7
- 7
- 8
- 5
- 9
- 4
- 13
- 4
- 4
- 7
- 8
- 4
- 4
- 5
- 4
- 4
- 4
- 15
- 6
- 4
- 4
- 4
- 4
- 7
- 5
- 4
- 5
- 8
- 4
- 16
- 35
- 4
- 5
- 22
- 9
- 17
- 23
- 69
- 4
- 11
- 4
- 5
- 15
- 4
- 4
- 4
- 19
- 9
- 4
- 4
- 12
- 7
- 4
- 4
- 5
- 21
- 4
- 6
- 7
- 18
- 7
- 7
- 19
- 39
- 9
- 17
- 11
- 4
- 4
- 4
- 4
- 4
- 5
- 4
- 4
- 4
- 10
- 15
- 7
- 6
- 4
- 64
- 4
- 4
- 7
- 5
- 4
- 4
- 15
- 5
- 11
- 5
- 4
- 4
- 19
- 8
- 7
- 6
- 4
- 15
- 11
- 4
- 13
- 4
- 4
- 13
- 4
- 4
- 5
- 5
- 4
- 4
- 14
- 6
- 5
- 6
- 10
- 5
- 6
- 4
- 22
- 5
- 4
- 7
- 6
- 5
- 8
- 4
- 8
- 12
- 19
- 4
- 6
- 7
- 15
- 4
- 31
- 4
- 6
- 9
- 9
- 4
- 10
- 6
- 5
- 5
- 15
- 17
- 16
- 4
- 5
- 8
- 10
- 6
- 15
- 5
- 13
- 5
- 7
- 24
- 4
- 13
- 19
- 36
- 6
- 8
- 4
- 4
- 4
- 12
- 4
- 4
- 4
- 6
- 8
- 4
- 5
- 8
- 4
- 13
- 90
- 12
- 17
- 4
- 4
- 10
- 6
- 14
- 13
- 5
- 4
- 4
- 6
- 18
- 20
- 20
- 4
- 4
- 59
- 6
- 4
- 16
- 8
- 5
- 11
- 21
- 5
- 4
- 4
- 5
- 7
- 4
- 4
- 6
- 6
- 13
- 4
- 4
- 5
- 23
- 6
- 4
- 11
- 12
- 13
- 14
- 13
- 14
- 6
- 18
- 4
- 4
- 11
- 4
- 7
- 7
- 4
- 6
- 18
- 31
- 19
- 5
- 4
- 4
- 5
- 7
- 9
- 6
- 9
- 5
- 4
- 6
- 4
- 9
- 7
- 4
- 6
- 9
- 5
- 6
- 4
- 5
- 4
- 6
- 8
- 12
- 4
- 4
- 4
- 5
- 24
- 8
- 4
- 4
- 4
- 17
- 4
- 9
- 5
- 4
- 8
- 62
- 4
- 4
- 7
- 6
- 7
- 4
- 11
- 35
- 8
- 5
- 9
- 6
- 5
- 4
- 11
- 4
- 4
- 8
- 4
- 5
- 4
- 4
- 4
- 6
- 6
- 6
- 10
- 6
- 4
- 5
- 4
- 4
- 4
- 4
- 4
- 8
- 43
- 5
- 5
- 4
- 16
- 7
- 4
- 19
- 5
- 13
- 5
- 12
- 15
- 6
- 4
- 15
- 5
- 4
- 24
- 9
- 4
- 4
- 6
- 4
- 4
- 6
- 4
- 11
- 11
- 9
- 8
- 5
- 10
- 4
- 4
- 4
- 4
- 8
- 24
- 5
- 6
- 6
- 4
- 7
- 6
- 5
- 9
- 7
- 7
- 5
- 8
- 4
- 4
- 6
- 4
- 5
- 4
- 4
- 9
- 24
- 12
- 5
- 18
- 4
- 5
- 91
- 5
- 8
- 4
- 6
- 6
- 10
- 10
- 10
- 8
- 4
- 5
- 4
- 7
- 18
- 8
- 4
- 89
- 4
- 39
- 11
- 10
- 5
- 89
- 21
- 14
- 7
- 4
- 5
- 9
- 11
- 6
- 6
- 4
- 8
- 89
- 5
- 12
- 20
- 5
- 7
- 9
- 6
- 11
- 4
- 14
- 12
- 11
- 4
- 5
- 4
- 9
- 4
- 4
- 9
- 15
- 9
- 4
- 4
- 7
- 4
- 6
- 4
- 7
- 11
- 5
- 4
- 21
- 5
- 4
- 5
- 4
- 4
- 14
- 4
- 7
- 8
- 4
- 11
- 14
- 39
- 4
- 6
- 7
- 4
- 18
- 8
- 4
- 9
- 4
- 11
- 12
- 7
- 7
- 4
- 29
- 34
- 4
- 5
- 4
- 7
- 8
- 21
- 5
- 4
- 9
- 5
- 14
- 23
- 4
- 22
- 7
- 10
- 21
- 48
- 10
- 5
- 19
- 9
- 7
- 18
- 14
- 11
- 4
- 8
- 31
- 24
- 12
- 6
- 6
- 13
- 5
- 12
- 12
- 13
- 5
- 5
- 6
- 4
- 4
- 15
- 4
- 4
- 6
- 6
- 7
- 89
- 10
- 6
- 15
- 4
- 6
- 5
- 4
- 14
- 8
- 4
- 4
- 20
- 5
- 11
- 8
- 4
- 5
- 13
- 6
- 21
- 6
- 4
- 4
- 5
- 4
- 17
- 4
- 8
- 7
- 6
- 7
- 6
- 5
- 4
- 4
- 5
- 4
- 22
- 6
- 11
- 10
- 5
- 4
- 6
- 6
- 6
- 5
- 4
- 4
- 7
- 4
- 9
- 4
- 18
- 5
- 4
- 9
- 4
- 4
- 11
- 6
- 24
- 9
- 14
- 4
- 7
- 5
- 4
- 16
- 4
- 7
- 7
- 5
- 5
- 18
- 8
- 6
- 5
- 18
- 4
- 14
- 4
- 7
- 4
- 5
- 5
- 20
- 4
- 40
- 4
- 15
- 20
- 19
- 4
- 4
- 4
- 4
- 33
- 7
- 11
- 6
- 20
- 18
- 4
- 6
- 4
- 9
- 4
- 6
- 9
- 4
- 22
- Verlag
-
- 2
- 7664
- 3
- 3
- 1
- 2
- 2
- 1
- 33
- Preis
-
- 27
- 228
- 5835
- 1621
- Sprachen
-
- 7706
- 16
- 12
- Verfügbarkeit
-
- 7700
- 11
- Katalog
-
- 7711
- 334
-
Falaschi Logic-Based Program Synthesis and Transformation
25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27435-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bishop Component Deployment
IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43847-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Albert Logic-Based Program Synthesis and Transformation
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38196-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hand / Adams / Bolton Pattern Detection and Discovery
ESF Exploratory Workshop, London, UK, September 16-19, 2002.Erscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44148-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Li Simulated Evolution and Learning
6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-47331-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Martinelli / Rios Security and Trust Management
20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19-20, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-76370-0Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Arge / Hoffmann / Welzl Algorithms - ESA 2007
15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75519-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shacham / Waters Pairing-Based Cryptography - Pairing 2009
Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-03297-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nguyen / Trawinski / Trawinski Intelligent Information and Database Systems
7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II2015Verlag: SpringerISBN: 978-3-319-15704-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Drossopoulou Programming Languages and Systems
17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78738-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Apostolico / Crochemore / Park Combinatorial Pattern Matching
16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26201-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Likas / Blekas / Kalles Artificial Intelligence: Methods and Applications
8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May, 15-17, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07063-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dwyer / Purchase / Delaney Diagrammatic Representation and Inference
8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44042-1Medium: Buch59,92 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage59,92 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Geist / Tronci Correct Hardware Design and Verification Methods
12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20363-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Parisi-Presicce / Westfechtel Graph Transformation
8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-21144-2Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grieskamp / Weise Formal Approaches to Software Testing
5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34454-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ulrich Formal Approaches to Software Testing
Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 20031. Auflage 2004Verlag: SpringerISBN: 978-3-540-20894-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
El-Fakih / Barlas / Yevtushenko Testing Software and Systems
27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25944-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Markopoulos / IJsselsteijn / Rowland Fun and Games
Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-88321-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gilbert / Handschuh Fast Software Encryption
12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26541-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Espinosa-Anke / Martín-Vide / Spasic Statistical Language and Speech Processing
9th International Conference, SLSP 2021, Virtual Event, November 22-26, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-89578-5Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gao / Zhou Human Aspects of IT for the Aged Population. Supporting Everyday Life Activities
7th International Conference, ITAP 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II1. Auflage 2021Verlag: SpringerISBN: 978-3-030-78110-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gutiérrez-Basulto / Kliegr / Soylu Rules and Reasoning
4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-57976-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mogensen / Schmidt / Sudborough The Essence of Computation
Complexity, Analysis, Transformation. Essays Dedicated to Neil D. JonesErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00326-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bird / Morgan / Woodcock Mathematics of Program Construction
Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56625-0Medium: 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