Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- 10479 EDV | Informatik
- 1111 Mathematik
- Medium
-
- 10515
- Erscheinungsjahr
-
- 141
- 806
- 833
- 624
- 490
- 278
- 293
- 296
- 292
- 311
- 304
- 316
- 282
- 309
- 313
- 265
- 272
- 274
- 231
- 261
- 274
- 221
- 366
- 306
- 259
- 251
- 177
- 176
- 117
- 133
- 135
- 117
- 108
- 96
- 73
- 84
- 57
- 59
- 44
- 46
- 33
- 26
- 19
- 13
- 17
- 27
- 20
- 12
- 7
- 12
- 10
- 12
- 13
- 4
- Autoren
-
- 6
- 5
- 5
- 4
- 4
- 6
- 4
- 5
- 5
- 5
- 6
- 9
- 5
- 10
- 8
- 6
- 7
- 4
- 4
- 4
- 4
- 5
- 4
- 11
- 4
- 11
- 8
- 4
- 5
- 6
- 16
- 6
- 4
- 21
- 5
- 8
- 4
- 6
- 4
- 4
- 6
- 5
- 9
- 9
- 6
- 4
- 4
- 8
- 5
- 14
- 5
- 25
- 36
- 6
- 39
- 7
- 7
- 4
- 6
- 7
- 15
- 16
- 5
- 4
- 11
- 4
- 5
- 4
- 4
- 7
- 4
- 39
- 6
- 6
- 4
- 4
- 4
- 5
- 4
- 4
- 6
- 4
- 6
- 4
- 4
- 4
- 9
- 4
- 5
- 6
- 14
- 5
- 4
- 7
- 6
- 6
- 6
- 6
- 6
- 8
- 4
- 6
- 7
- 6
- 7
- 7
- 7
- 4
- 12
- 5
- 4
- 5
- 5
- 4
- 17
- 7
- 6
- 7
- 4
- 14
- 4
- 10
- 5
- 5
- 4
- 4
- 7
- 4
- 4
- 4
- 7
- 6
- 16
- 4
- 10
- 5
- 5
- 8
- 4
- 6
- 40
- 4
- 4
- 4
- 4
- 6
- 14
- 11
- 6
- 7
- 8
- 11
- 11
- 4
- 4
- 4
- 5
- 4
- 9
- 6
- 4
- 8
- 4
- 4
- 11
- 4
- 5
- 4
- 6
- 5
- 8
- 14
- 5
- 4
- 11
- 7
- 4
- 16
- 4
- 11
- 16
- 5
- 5
- 5
- 4
- 4
- 5
- 7
- 4
- 39
- 10
- 9
- 4
- 4
- 4
- 4
- 8
- 5
- 5
- 8
- 9
- 4
- 4
- 16
- 5
- 9
- 10
- 5
- 9
- 7
- 6
- 4
- 14
- 4
- 7
- 4
- 24
- 4
- 13
- 4
- 10
- 4
- 4
- 9
- 8
- 4
- 5
- 11
- 4
- 8
- 34
- 12
- 41
- 10
- 8
- 18
- 14
- 4
- 5
- 7
- 4
- 4
- 20
- 8
- 38
- 4
- 9
- 14
- 10
- 4
- 7
- 12
- 4
- 4
- 9
- 13
- 8
- 7
- 39
- 4
- 5
- 5
- 10
- 8
- 10
- 4
- 5
- 4
- 5
- 4
- 4
- 11
- 10
- 5
- 4
- 4
- 7
- 6
- 4
- 4
- 14
- 10
- 5
- 13
- 5
- 7
- 4
- 6
- 4
- 4
- 4
- 15
- 21
- 8
- 5
- 8
- 4
- 6
- 4
- 6
- 14
- 5
- 24
- 6
- 7
- 4
- 6
- 4
- 7
- 4
- 6
- 5
- 4
- 4
- 4
- 6
- 4
- 4
- 4
- 8
- 4
- 15
- 10
- 6
- 8
- 10
- 5
- 42
- 38
- 6
- 23
- 5
- 4
- 17
- 8
- 23
- 11
- 5
- 5
- 7
- 19
- 6
- 4
- 4
- 4
- 5
- 5
- 4
- 5
- 4
- 27
- 4
- 15
- 46
- 4
- 10
- 7
- 4
- 15
- 7
- 6
- 6
- 11
- 15
- 5
- 6
- 8
- 6
- 4
- 4
- 4
- 4
- 5
- 14
- 7
- 6
- 4
- 4
- 5
- 4
- 4
- 4
- 9
- 6
- 5
- 4
- 5
- 9
- 4
- 4
- 15
- 55
- 30
- 4
- 4
- 24
- 9
- 18
- 21
- 90
- 5
- 11
- 6
- 6
- 14
- 4
- 4
- 7
- 19
- 12
- 5
- 5
- 5
- 5
- 9
- 13
- 7
- 5
- 8
- 7
- 5
- 4
- 4
- 6
- 4
- 11
- 40
- 5
- 7
- 7
- 4
- 5
- 5
- 16
- 8
- 4
- 7
- 19
- 39
- 6
- 4
- 9
- 17
- 10
- 6
- 7
- 6
- 5
- 4
- 4
- 8
- 5
- 8
- 15
- 6
- 6
- 4
- 6
- 8
- 5
- 67
- 5
- 6
- 10
- 5
- 6
- 15
- 6
- 11
- 5
- 8
- 19
- 7
- 10
- 5
- 6
- 5
- 11
- 17
- 11
- 7
- 6
- 13
- 5
- 7
- 13
- 6
- 6
- 7
- 5
- 13
- 6
- 5
- 9
- 9
- 11
- 7
- 8
- 7
- 6
- 6
- 29
- 8
- 6
- 5
- 8
- 26
- 6
- 16
- 36
- 6
- 6
- 8
- 9
- 15
- 6
- 29
- 6
- 9
- 5
- 5
- 10
- 5
- 5
- 14
- 6
- 5
- 5
- 16
- 20
- 33
- 5
- 16
- 9
- 8
- 19
- 5
- 9
- 5
- 5
- 25
- 5
- 14
- 30
- 36
- 9
- 9
- 6
- 17
- 6
- 5
- 12
- 5
- 8
- 7
- 6
- 6
- 7
- 8
- 5
- 13
- 90
- 5
- 12
- 18
- 6
- 14
- 6
- 5
- 8
- 11
- 12
- 5
- 5
- 11
- 13
- 18
- 20
- 5
- 22
- 8
- 5
- 62
- 5
- 19
- 9
- 5
- 12
- 21
- 5
- 9
- 5
- 6
- 7
- 5
- 5
- 8
- 5
- 14
- 5
- 5
- 5
- 23
- 6
- 13
- 12
- 13
- 15
- 15
- 12
- 8
- 18
- 11
- 10
- 9
- 9
- 25
- 7
- 32
- 29
- 6
- 6
- 8
- 7
- 16
- 8
- 6
- 8
- 5
- 6
- 8
- 6
- 11
- 21
- 6
- 5
- 7
- 8
- 8
- 13
- 8
- 5
- 33
- 8
- 11
- 5
- 5
- 7
- 5
- 5
- 5
- 16
- 5
- 9
- 9
- 5
- 9
- 82
- 10
- 5
- 7
- 6
- 13
- 5
- 6
- 5
- 9
- 12
- 36
- 13
- 5
- 16
- 6
- 5
- 5
- 10
- 6
- 6
- 5
- 5
- 8
- 5
- 8
- 8
- 6
- 8
- 6
- 7
- 5
- 6
- 7
- 43
- 5
- 5
- 5
- 18
- 7
- 6
- 18
- 14
- 5
- 13
- 14
- 13
- 15
- 8
- 16
- 6
- 5
- 10
- 23
- 11
- 9
- 5
- 12
- 5
- 6
- 21
- 11
- 12
- 11
- 6
- 9
- 7
- 7
- 16
- 5
- 15
- 13
- 8
- 24
- 7
- 7
- 6
- 11
- 6
- 5
- 10
- 13
- 10
- 7
- 5
- 6
- 16
- 6
- 6
- 12
- 24
- 12
- 6
- 7
- 19
- 5
- 11
- 91
- 5
- 6
- 8
- 5
- 22
- 7
- 9
- 5
- 18
- 9
- 8
- 8
- 12
- 7
- 19
- 8
- 90
- 6
- 49
- 11
- 11
- 5
- 89
- 21
- 14
- 13
- 5
- 12
- 9
- 13
- 8
- 8
- 6
- 5
- 8
- 8
- 89
- 5
- 7
- 15
- 20
- 8
- 10
- 11
- 17
- 11
- 12
- 6
- 5
- 11
- 5
- 10
- 22
- 8
- 6
- 5
- 5
- 9
- 13
- 5
- 24
- 5
- 6
- 6
- 6
- 5
- 5
- 14
- 7
- 8
- 8
- 11
- 12
- 41
- 5
- 6
- 6
- 6
- 18
- 9
- 11
- 8
- 10
- 11
- 6
- 5
- 7
- 11
- 5
- 38
- 7
- 34
- 12
- 7
- 8
- 5
- 6
- 10
- 8
- 22
- 6
- 8
- 8
- 15
- 14
- 23
- 8
- 26
- 7
- 14
- 24
- 57
- 10
- 11
- 19
- 8
- 9
- 6
- 10
- 19
- 21
- 14
- 6
- 6
- 9
- 56
- 24
- 12
- 8
- 12
- 12
- 6
- 12
- 9
- 12
- 5
- 10
- 7
- 6
- 15
- 11
- 7
- 10
- 10
- 5
- 89
- 10
- 7
- 15
- 5
- 5
- 5
- 6
- 14
- 8
- 8
- 36
- 5
- 11
- 7
- 7
- 12
- 5
- 13
- 16
- 10
- 21
- 6
- 5
- 17
- 20
- 5
- 10
- 7
- 6
- 6
- 8
- 6
- 9
- 8
- 27
- 6
- 14
- 10
- 5
- 9
- 6
- 6
- 5
- 8
- 11
- 8
- 9
- 18
- 5
- 11
- 5
- 11
- 5
- 6
- 24
- 7
- 14
- 5
- 5
- 23
- 11
- 5
- 5
- 5
- 5
- 9
- 18
- 6
- 6
- 6
- 46
- 10
- 6
- 5
- 5
- 22
- 6
- 43
- 14
- 62
- 18
- 5
- 6
- 5
- 6
- 32
- 7
- 9
- 5
- 18
- 21
- 19
- 9
- 9
- 12
- 10
- 6
- 6
- 21
- Verlag
-
- 1
- 10458
- 3
- 5
- 1
- 1
- 3
- 1
- 42
- Preis
-
- 47
- 381
- 8054
- 2033
- Sprachen
-
- 10509
- 18
- 13
- Verfügbarkeit
-
- 10501
- 14
- Eigenschaften
-
- 2
- Katalog
-
- 10515
- 542
-
Galmiche Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62920-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 -
Bobaru / Havelund / Holzmann NASA Formal Methods
Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20397-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ras / Ohsuga Foundations of Intelligent Systems
12th International Symposium, ISMIS 2000, Charlotte, NC, USA October 11-14, 2000 Proceedings2010Verlag: SpringerISBN: 978-3-540-41094-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chechik / Katoen / Leucker Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-27480-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jourdan / Mounier / Adams Foundations and Practice of Security
15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers1. Auflage 2023Verlag: SpringerISBN: 978-3-031-30121-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Younas / Awan / Petcu Mobile Web and Intelligent Information Systems
20th International Conference, MobiWIS 2024, Vienna, Austria, August 19-21, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-68004-5Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Gregorio / Di Maio / Frucci Brain, Vision, and Artificial Intelligence
First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29282-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leite / Omicini / Sterling Declarative Agent Languages and Technologies
First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22124-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Apostolico / Melucci String Processing and Information Retrieval
11th International Conference, SPIRE 2004, Padova, Italy, October 5-8, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23210-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Robinet International Symposium on Programming
Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 19801. Auflage 1980Verlag: SpringerISBN: 978-3-540-09981-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Manulis / Maimut / Maimut Innovative Security Solutions for Information Technology and Communications
16th International Conference, SecITC 2023, Bucharest, Romania, November 23-24, 2023, Revised Selected Papers1. Auflage 2024Verlag: SpringerISBN: 978-3-031-52946-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kamel / Campilho Image Analysis and Recognition
12th International Conference, ICIAR 2015, Niagara Falls, ON, Canada, July 22-24, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-20800-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hinchey / Rash / Truszkowski Formal Approaches to Agent-Based Systems
Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40665-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Göbel / Mueller / Urban E-Learning and Games for Training, Education, Health and Sports
7th International Conference, Edutainment 2012, and 3rd International Conference, GameDays 2012, Darmstadt, Germany, September 18-20, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33465-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Helmy / Jennings / Murphy Autonomic Management of Mobile Multimedia Services
9th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2006, Dublin, Ireland, October 25-27, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-47654-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bhatele / Boehme / Levine Programming and Performance Visualization Tools
International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-17871-0Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kuchen Functional and Constraint Logic Programming
20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22530-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Klein / Staring / Durrleman Biomedical Image Registration
8th International Workshop, WBIR 2018, Leiden, The Netherlands, June 28-29, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92257-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Disser / Verykios Algorithmic Aspects of Cloud Computing
4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20-21, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-19758-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kertesz / Li / Supnithi Computational Data and Social Networks
13th International Conference, CSoNet 2024, Bangkok, Thailand, December 16-18, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-966388-0Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mahmud / Doborjeh / Wong Neural Information Processing
31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part IXErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-966601-0Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hentenryck Static Analysis
4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63468-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Davidor / Schwefel / Männer Parallel Problem Solving from Nature - PPSN III
International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9 - 14, 1994. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58484-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Robinet ESOP 86
European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16442-5Medium: 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