Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- 10433 EDV | Informatik
- 1091 Mathematik
- Medium
-
- 10471
- Erscheinungsjahr
-
- 129
- 812
- 843
- 635
- 478
- 281
- 272
- 308
- 312
- 283
- 312
- 307
- 304
- 300
- 283
- 301
- 271
- 262
- 213
- 266
- 260
- 219
- 356
- 299
- 252
- 252
- 179
- 176
- 126
- 141
- 134
- 117
- 103
- 98
- 73
- 83
- 61
- 58
- 44
- 46
- 33
- 26
- 19
- 13
- 17
- 27
- 18
- 12
- 7
- 12
- 9
- 12
- 13
- 4
- Autoren
-
- 4
- 6
- 4
- 6
- 4
- 5
- 4
- 4
- 5
- 4
- 8
- 8
- 9
- 6
- 8
- 7
- 4
- 4
- 4
- 4
- 5
- 9
- 5
- 9
- 8
- 5
- 6
- 16
- 6
- 15
- 4
- 8
- 5
- 5
- 5
- 8
- 5
- 9
- 8
- 5
- 5
- 4
- 4
- 5
- 4
- 7
- 14
- 29
- 36
- 5
- 40
- 6
- 4
- 4
- 5
- 4
- 5
- 4
- 9
- 13
- 4
- 4
- 16
- 4
- 4
- 4
- 10
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 39
- 9
- 4
- 4
- 5
- 8
- 7
- 4
- 7
- 5
- 4
- 6
- 4
- 5
- 4
- 16
- 5
- 4
- 4
- 6
- 5
- 7
- 5
- 6
- 6
- 8
- 5
- 4
- 5
- 4
- 7
- 6
- 6
- 7
- 12
- 4
- 4
- 6
- 6
- 16
- 5
- 4
- 6
- 4
- 4
- 14
- 4
- 11
- 5
- 4
- 7
- 6
- 4
- 7
- 4
- 4
- 4
- 8
- 23
- 4
- 5
- 4
- 10
- 4
- 4
- 9
- 5
- 4
- 6
- 40
- 4
- 4
- 4
- 4
- 6
- 4
- 15
- 15
- 6
- 5
- 4
- 9
- 4
- 7
- 6
- 5
- 4
- 5
- 4
- 4
- 6
- 4
- 4
- 10
- 6
- 4
- 7
- 4
- 4
- 11
- 4
- 6
- 4
- 5
- 6
- 5
- 6
- 12
- 5
- 4
- 11
- 8
- 4
- 14
- 11
- 16
- 4
- 7
- 4
- 5
- 5
- 4
- 4
- 5
- 4
- 5
- 6
- 4
- 4
- 39
- 13
- 9
- 4
- 4
- 4
- 4
- 9
- 5
- 5
- 9
- 9
- 4
- 4
- 16
- 5
- 10
- 4
- 12
- 5
- 14
- 5
- 5
- 11
- 6
- 4
- 4
- 7
- 24
- 5
- 5
- 10
- 6
- 5
- 9
- 4
- 5
- 5
- 6
- 5
- 8
- 4
- 7
- 34
- 10
- 41
- 11
- 8
- 18
- 4
- 14
- 12
- 20
- 7
- 40
- 4
- 9
- 14
- 10
- 4
- 4
- 12
- 4
- 4
- 7
- 13
- 9
- 7
- 4
- 39
- 4
- 5
- 10
- 8
- 4
- 10
- 4
- 4
- 4
- 7
- 9
- 12
- 7
- 7
- 4
- 15
- 6
- 7
- 12
- 4
- 7
- 4
- 4
- 15
- 21
- 8
- 10
- 5
- 9
- 5
- 4
- 6
- 6
- 14
- 11
- 24
- 6
- 4
- 8
- 6
- 6
- 4
- 5
- 7
- 4
- 8
- 9
- 4
- 7
- 6
- 4
- 4
- 7
- 15
- 10
- 4
- 9
- 10
- 4
- 5
- 46
- 41
- 4
- 23
- 7
- 10
- 5
- 12
- 5
- 4
- 4
- 26
- 10
- 6
- 8
- 19
- 5
- 6
- 6
- 4
- 10
- 5
- 5
- 4
- 27
- 4
- 12
- 43
- 6
- 7
- 5
- 4
- 15
- 6
- 4
- 6
- 13
- 11
- 4
- 6
- 4
- 5
- 4
- 6
- 8
- 6
- 4
- 4
- 4
- 4
- 7
- 14
- 11
- 7
- 4
- 4
- 7
- 4
- 4
- 4
- 9
- 5
- 7
- 6
- 4
- 4
- 5
- 15
- 5
- 15
- 4
- 56
- 25
- 17
- 9
- 16
- 21
- 92
- 6
- 11
- 5
- 6
- 15
- 5
- 6
- 5
- 19
- 13
- 5
- 6
- 10
- 6
- 6
- 13
- 11
- 5
- 5
- 6
- 6
- 5
- 13
- 7
- 36
- 6
- 5
- 8
- 6
- 6
- 5
- 6
- 13
- 5
- 5
- 19
- 39
- 10
- 18
- 5
- 8
- 7
- 5
- 5
- 6
- 5
- 15
- 15
- 5
- 5
- 5
- 5
- 9
- 73
- 5
- 5
- 13
- 5
- 6
- 15
- 11
- 5
- 5
- 7
- 20
- 6
- 13
- 5
- 6
- 6
- 12
- 17
- 13
- 10
- 7
- 5
- 13
- 8
- 13
- 7
- 5
- 5
- 15
- 5
- 5
- 5
- 10
- 7
- 6
- 8
- 8
- 10
- 5
- 8
- 7
- 9
- 31
- 8
- 6
- 8
- 6
- 5
- 6
- 21
- 14
- 35
- 5
- 9
- 15
- 34
- 6
- 7
- 5
- 5
- 8
- 16
- 6
- 14
- 8
- 14
- 31
- 6
- 12
- 5
- 7
- 17
- 5
- 15
- 27
- 15
- 28
- 40
- 6
- 8
- 7
- 12
- 6
- 5
- 12
- 6
- 8
- 6
- 6
- 7
- 9
- 9
- 13
- 89
- 14
- 18
- 12
- 6
- 6
- 12
- 13
- 7
- 6
- 9
- 5
- 8
- 14
- 10
- 18
- 20
- 7
- 5
- 24
- 8
- 5
- 63
- 9
- 17
- 12
- 21
- 5
- 10
- 5
- 11
- 5
- 5
- 7
- 9
- 6
- 6
- 8
- 25
- 6
- 6
- 5
- 5
- 11
- 12
- 5
- 13
- 15
- 11
- 12
- 9
- 17
- 11
- 11
- 6
- 23
- 8
- 30
- 25
- 7
- 8
- 10
- 5
- 14
- 6
- 10
- 5
- 11
- 5
- 10
- 5
- 17
- 11
- 5
- 6
- 6
- 8
- 11
- 7
- 5
- 6
- 32
- 12
- 7
- 7
- 6
- 5
- 10
- 6
- 5
- 6
- 21
- 5
- 9
- 9
- 6
- 7
- 8
- 5
- 83
- 6
- 7
- 7
- 5
- 5
- 9
- 10
- 7
- 5
- 8
- 12
- 48
- 5
- 13
- 5
- 10
- 14
- 5
- 7
- 8
- 5
- 5
- 8
- 7
- 6
- 6
- 9
- 5
- 5
- 9
- 5
- 6
- 43
- 6
- 15
- 6
- 18
- 15
- 6
- 7
- 13
- 14
- 13
- 15
- 14
- 9
- 6
- 6
- 10
- 24
- 12
- 12
- 8
- 20
- 6
- 15
- 16
- 7
- 12
- 7
- 6
- 8
- 7
- 8
- 13
- 5
- 14
- 5
- 11
- 5
- 7
- 24
- 6
- 6
- 12
- 6
- 10
- 15
- 8
- 5
- 9
- 6
- 11
- 5
- 7
- 9
- 18
- 27
- 13
- 5
- 5
- 6
- 7
- 15
- 8
- 11
- 6
- 90
- 7
- 6
- 27
- 7
- 9
- 19
- 10
- 8
- 7
- 10
- 6
- 18
- 6
- 92
- 6
- 50
- 11
- 9
- 7
- 89
- 19
- 5
- 5
- 14
- 11
- 9
- 6
- 9
- 14
- 14
- 6
- 6
- 6
- 6
- 5
- 5
- 8
- 5
- 10
- 90
- 5
- 6
- 12
- 18
- 7
- 11
- 11
- 12
- 12
- 6
- 11
- 6
- 5
- 11
- 5
- 5
- 6
- 22
- 10
- 8
- 5
- 6
- 5
- 6
- 5
- 13
- 5
- 5
- 23
- 5
- 6
- 6
- 7
- 7
- 6
- 14
- 5
- 6
- 15
- 9
- 45
- 5
- 6
- 6
- 17
- 5
- 5
- 11
- 11
- 10
- 5
- 5
- 9
- 11
- 34
- 8
- 44
- 16
- 5
- 5
- 7
- 10
- 21
- 11
- 10
- 14
- 14
- 21
- 5
- 5
- 5
- 16
- 16
- 8
- 17
- 22
- 58
- 10
- 13
- 20
- 8
- 9
- 8
- 7
- 17
- 20
- 13
- 6
- 52
- 24
- 12
- 10
- 6
- 7
- 16
- 6
- 12
- 11
- 13
- 5
- 5
- 5
- 14
- 11
- 7
- 12
- 11
- 5
- 89
- 10
- 11
- 15
- 5
- 5
- 5
- 7
- 12
- 9
- 6
- 30
- 5
- 11
- 8
- 6
- 7
- 6
- 13
- 13
- 22
- 6
- 5
- 8
- 16
- 6
- 5
- 21
- 14
- 5
- 7
- 6
- 6
- 5
- 10
- 7
- 5
- 8
- 20
- 5
- 10
- 10
- 9
- 6
- 6
- 5
- 9
- 10
- 9
- 7
- 18
- 5
- 6
- 20
- 7
- 28
- 7
- 6
- 14
- 7
- 17
- 8
- 5
- 8
- 6
- 5
- 18
- 7
- 6
- 5
- 42
- 6
- 5
- 26
- 7
- 49
- 13
- 61
- 16
- 5
- 9
- 5
- 5
- 5
- 32
- 7
- 6
- 18
- 16
- 20
- 7
- 7
- 14
- 12
- 6
- 17
- Verlag
-
- 2
- 10422
- 3
- 3
- 2
- 1
- 1
- 37
- Preis
-
- 47
- 370
- 8074
- 1980
- Sprachen
-
- 10465
- 18
- 13
- Verfügbarkeit
-
- 10457
- 14
- Katalog
-
- 10471
- 560
-
Gibbons / Nuno Oliveira Teaching Formal Methods
Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04911-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bunt / Beun Cooperative Multimodal Communication
Second International Conference, CMC'98, Tilburg, The Netherlands, January 28-30, 1998. Selected Papers1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42806-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bournez / Potapov Reachability Problems
Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04419-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Palsberg Static Analysis
7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67668-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Davies / Gibbons Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73209-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gey / Gonzalo / Mueller Accessing Multilingual Information Repositories
6th Workshop of the Cross-Language Evaluation Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45697-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Braschler / Gonzalo / Kluck Evaluation of Cross-Language Information Retrieval Systems
Second Workshop of the Cross-Language Evaluation Forum, CLEF 2001, Darmstadt, Germany, September 3-4, 2001. Revised PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44042-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fahringer / Scholz Advanced Symbolic Analysis for Compilers
New Techniques and Algorithms for Symbolic Program Analysis and OptimizationErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-01185-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hao / Velásquez / Li Behavioural and Social Computing
12th International Conference, BESC 2025, Hong Kong SAR, China, October 16-18, 2025, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-957137-6Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Berendt / Hotho / Mladenic Web Mining: From Web to Semantic Web
First European Web Mining Forum, EWMF 2003, Cavtat-Dubrovnik, Croatia, September 22, 2003, Revised Selected and Invited Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23258-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
ter Beek / Collart-Dutilleul / Lecomte Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-10761-9Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bramer / Stahl Artificial Intelligence XLII
45th SGAI International Conference on Artificial Intelligence, AI 2025, Cambridge, UK, December 16-18, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-11401-3Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Antunes / Takadama Multi-Agent-Based Simulation VII
International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76536-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cappiello / Hartig / Sellami Cooperative Information Systems
31st International Conference, CoopIS 2025, Marbella, Spain, October 20-22, 2025, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-15537-5Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Freitas / Furtado Intelligent Systems
35th Brazilian Conference, BRACIS 2025, Fortaleza-CE, Brazil, September 29 - October 2, 2025, Proceedings, Part IVErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-15992-2Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Senn / Sanguineti / Saudargiene Artificial Neural Networks and Machine Learning. ICANN 2025 International Workshops and Special Sessions
34th International Conference on Artificial Neural Networks, Kaunas, Lithuania, September 9-12, 2025, Proceedings, Part VErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-04551-5Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wrembel / Kotsis / Tjoa Database and Expert Systems Applications
36th International Conference, DEXA 2025, Bangkok, Thailand, August 25-27, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-02087-1Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage69,54 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Ko / Ko / Buccafurri Electronic Government and the Information Systems Perspective
14th International Conference, EGOVIS 2025, Bangkok, Thailand, August 25-27, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-02224-0Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage62,05 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Taniguchi / Leung / Kozuno Neural Information Processing
32nd International Conference, ICONIP 2025, Okinawa, Japan, November 20-24, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-954366-3Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IIErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45230-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kosmatov / Kovács Integrated Formal Methods
19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-76553-7Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Osman / Sierra Autonomous Agents and Multiagent Systems
AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46839-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lokoc / Lokoc / Peška MultiMedia Modeling
32nd International Conference on Multimedia Modeling, MMM 2026, Prague, Czech Republic, January 29-31, 2026, Proceedings, Part IVErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-956962-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wyrzykowski / Deelman / Dongarra Parallel Processing and Applied Mathematics
13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part II1. Auflage 2020Verlag: SpringerISBN: 978-3-030-43221-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kiayias / Kohlweiss / Wallden Public-Key Cryptography - PKC 2020
23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Edinburgh, UK, May 4-7, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-45373-2Medium: 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