Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- 10650 EDV | Informatik
- 1105 Mathematik
- Medium
-
- 10684
- Erscheinungsjahr
-
- 329
- 803
- 839
- 619
- 486
- 286
- 308
- 305
- 310
- 266
- 317
- 299
- 301
- 317
- 304
- 260
- 267
- 247
- 216
- 257
- 272
- 234
- 362
- 301
- 257
- 253
- 178
- 176
- 135
- 137
- 134
- 116
- 105
- 93
- 73
- 88
- 59
- 59
- 45
- 46
- 33
- 26
- 19
- 13
- 17
- 27
- 20
- 12
- 7
- 12
- 10
- 12
- 13
- 4
- Autoren
-
- 5
- 7
- 6
- 4
- 4
- 6
- 4
- 6
- 6
- 4
- 9
- 4
- 12
- 8
- 10
- 7
- 4
- 4
- 4
- 4
- 5
- 9
- 9
- 6
- 4
- 4
- 7
- 17
- 4
- 18
- 4
- 8
- 5
- 4
- 4
- 5
- 5
- 9
- 9
- 4
- 5
- 4
- 4
- 5
- 4
- 6
- 14
- 32
- 36
- 4
- 41
- 4
- 5
- 4
- 4
- 4
- 7
- 5
- 5
- 5
- 15
- 4
- 16
- 13
- 4
- 4
- 4
- 4
- 6
- 39
- 10
- 6
- 4
- 6
- 5
- 4
- 7
- 6
- 7
- 4
- 4
- 8
- 4
- 6
- 16
- 10
- 9
- 6
- 5
- 5
- 6
- 6
- 8
- 6
- 5
- 7
- 9
- 10
- 11
- 7
- 7
- 4
- 11
- 4
- 4
- 5
- 4
- 20
- 6
- 6
- 11
- 6
- 9
- 5
- 5
- 5
- 10
- 6
- 4
- 8
- 4
- 26
- 5
- 4
- 9
- 4
- 5
- 9
- 5
- 6
- 40
- 4
- 4
- 4
- 4
- 8
- 6
- 20
- 16
- 6
- 4
- 7
- 6
- 4
- 9
- 10
- 4
- 4
- 4
- 7
- 4
- 5
- 12
- 4
- 4
- 5
- 4
- 5
- 11
- 4
- 5
- 7
- 4
- 6
- 9
- 12
- 5
- 4
- 13
- 9
- 4
- 15
- 9
- 16
- 4
- 8
- 4
- 7
- 4
- 4
- 7
- 10
- 4
- 39
- 15
- 8
- 6
- 4
- 4
- 9
- 4
- 5
- 4
- 8
- 6
- 15
- 5
- 7
- 10
- 4
- 5
- 14
- 5
- 6
- 14
- 4
- 8
- 24
- 4
- 4
- 8
- 6
- 4
- 4
- 8
- 4
- 9
- 6
- 5
- 6
- 5
- 4
- 5
- 34
- 4
- 12
- 41
- 14
- 8
- 14
- 15
- 11
- 22
- 9
- 35
- 4
- 9
- 14
- 15
- 4
- 4
- 4
- 12
- 4
- 6
- 12
- 10
- 8
- 5
- 4
- 39
- 5
- 4
- 10
- 6
- 9
- 4
- 4
- 4
- 8
- 6
- 10
- 13
- 6
- 5
- 6
- 4
- 4
- 15
- 5
- 7
- 12
- 6
- 5
- 4
- 6
- 4
- 6
- 9
- 15
- 23
- 7
- 7
- 5
- 6
- 6
- 8
- 6
- 6
- 11
- 11
- 4
- 24
- 6
- 7
- 4
- 5
- 4
- 4
- 6
- 4
- 8
- 6
- 7
- 4
- 4
- 5
- 4
- 6
- 4
- 15
- 10
- 6
- 9
- 9
- 4
- 4
- 5
- 45
- 40
- 11
- 23
- 8
- 13
- 6
- 32
- 13
- 5
- 19
- 4
- 4
- 4
- 4
- 8
- 4
- 5
- 4
- 9
- 4
- 25
- 4
- 4
- 13
- 43
- 4
- 7
- 7
- 4
- 14
- 6
- 7
- 5
- 6
- 8
- 11
- 6
- 4
- 4
- 4
- 6
- 8
- 8
- 6
- 5
- 5
- 4
- 7
- 16
- 14
- 4
- 6
- 4
- 10
- 4
- 4
- 4
- 13
- 8
- 5
- 4
- 7
- 6
- 18
- 55
- 34
- 9
- 4
- 22
- 7
- 17
- 22
- 93
- 6
- 11
- 6
- 4
- 4
- 8
- 5
- 16
- 4
- 11
- 4
- 6
- 6
- 18
- 12
- 8
- 5
- 5
- 4
- 13
- 4
- 7
- 5
- 4
- 4
- 4
- 6
- 7
- 12
- 5
- 5
- 41
- 6
- 8
- 10
- 5
- 5
- 10
- 13
- 6
- 8
- 8
- 21
- 39
- 8
- 17
- 8
- 5
- 16
- 15
- 8
- 8
- 67
- 7
- 6
- 6
- 7
- 15
- 7
- 11
- 7
- 18
- 7
- 6
- 5
- 6
- 10
- 18
- 10
- 11
- 7
- 13
- 5
- 7
- 13
- 6
- 6
- 8
- 5
- 12
- 6
- 5
- 6
- 10
- 7
- 8
- 10
- 5
- 5
- 8
- 7
- 10
- 31
- 13
- 8
- 24
- 8
- 16
- 34
- 5
- 6
- 9
- 15
- 7
- 5
- 33
- 6
- 6
- 10
- 5
- 8
- 5
- 7
- 16
- 6
- 6
- 15
- 15
- 32
- 20
- 8
- 8
- 6
- 5
- 15
- 23
- 5
- 8
- 26
- 43
- 8
- 5
- 5
- 5
- 8
- 5
- 10
- 6
- 5
- 6
- 12
- 6
- 6
- 5
- 6
- 9
- 7
- 6
- 15
- 91
- 12
- 19
- 7
- 12
- 7
- 8
- 6
- 13
- 5
- 7
- 7
- 5
- 12
- 11
- 7
- 18
- 19
- 6
- 25
- 8
- 5
- 58
- 5
- 16
- 6
- 7
- 11
- 22
- 5
- 6
- 9
- 6
- 6
- 9
- 10
- 6
- 5
- 9
- 25
- 6
- 6
- 5
- 10
- 11
- 13
- 14
- 16
- 11
- 10
- 16
- 5
- 11
- 9
- 28
- 7
- 36
- 28
- 7
- 6
- 6
- 8
- 6
- 18
- 7
- 5
- 9
- 14
- 7
- 6
- 5
- 6
- 10
- 19
- 8
- 6
- 6
- 8
- 5
- 5
- 8
- 12
- 6
- 5
- 32
- 5
- 13
- 8
- 10
- 5
- 5
- 20
- 7
- 5
- 9
- 6
- 6
- 6
- 10
- 8
- 5
- 85
- 7
- 6
- 5
- 5
- 9
- 11
- 5
- 6
- 5
- 11
- 10
- 37
- 5
- 5
- 20
- 8
- 5
- 5
- 10
- 6
- 10
- 5
- 6
- 6
- 11
- 5
- 6
- 6
- 7
- 11
- 5
- 6
- 7
- 5
- 7
- 7
- 5
- 6
- 10
- 43
- 6
- 21
- 6
- 21
- 17
- 9
- 6
- 6
- 13
- 14
- 19
- 15
- 6
- 15
- 5
- 5
- 9
- 27
- 13
- 10
- 11
- 6
- 20
- 5
- 10
- 6
- 15
- 12
- 6
- 6
- 6
- 15
- 5
- 11
- 6
- 6
- 14
- 8
- 24
- 5
- 5
- 6
- 10
- 11
- 12
- 7
- 6
- 5
- 13
- 6
- 7
- 9
- 31
- 6
- 13
- 7
- 7
- 20
- 7
- 5
- 10
- 5
- 90
- 5
- 7
- 6
- 11
- 6
- 21
- 15
- 8
- 17
- 12
- 8
- 11
- 9
- 10
- 20
- 5
- 92
- 6
- 50
- 11
- 11
- 6
- 6
- 89
- 17
- 5
- 14
- 12
- 5
- 10
- 9
- 20
- 13
- 5
- 6
- 5
- 9
- 6
- 5
- 8
- 5
- 7
- 90
- 5
- 6
- 17
- 8
- 6
- 12
- 12
- 16
- 5
- 10
- 9
- 7
- 11
- 5
- 9
- 7
- 22
- 15
- 6
- 5
- 5
- 13
- 6
- 25
- 7
- 6
- 5
- 6
- 5
- 14
- 9
- 9
- 6
- 16
- 17
- 22
- 26
- 5
- 6
- 20
- 8
- 5
- 11
- 10
- 16
- 5
- 6
- 12
- 8
- 38
- 8
- 48
- 14
- 6
- 11
- 11
- 11
- 9
- 22
- 5
- 8
- 17
- 7
- 14
- 15
- 19
- 6
- 5
- 10
- 5
- 23
- 7
- 25
- 57
- 10
- 15
- 17
- 8
- 9
- 6
- 5
- 19
- 20
- 12
- 7
- 6
- 10
- 54
- 24
- 12
- 6
- 12
- 14
- 5
- 7
- 12
- 9
- 6
- 11
- 8
- 15
- 15
- 7
- 6
- 11
- 9
- 89
- 10
- 16
- 5
- 16
- 6
- 5
- 5
- 13
- 11
- 6
- 31
- 5
- 11
- 5
- 5
- 11
- 13
- 19
- 5
- 11
- 6
- 19
- 6
- 5
- 5
- 13
- 23
- 6
- 13
- 12
- 6
- 6
- 8
- 5
- 8
- 5
- 6
- 9
- 23
- 8
- 15
- 10
- 6
- 7
- 6
- 6
- 5
- 16
- 13
- 8
- 5
- 5
- 5
- 18
- 5
- 10
- 5
- 12
- 6
- 8
- 7
- 26
- 13
- 14
- 5
- 19
- 11
- 5
- 9
- 5
- 12
- 18
- 6
- 6
- 6
- 41
- 5
- 8
- 5
- 23
- 44
- 14
- 63
- 5
- 18
- 5
- 12
- 11
- 6
- 6
- 32
- 7
- 23
- 21
- 17
- 5
- 5
- 6
- 6
- 5
- 12
- 9
- 5
- 20
- Verlag
-
- 3
- 10624
- 3
- 6
- 1
- 6
- 4
- 1
- 36
- Preis
-
- 47
- 386
- 8139
- 2112
- Sprachen
-
- 10678
- 17
- 13
- Verfügbarkeit
-
- 10671
- 13
- Eigenschaften
-
- 12
- Katalog
-
- 10684
- 559
-
Madeira / Knapp Software Engineering and Formal Methods
22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-77381-5Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV2024Verlag: SpringerISBN: 978-3-031-75386-2Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V2024Verlag: SpringerISBN: 978-3-031-75389-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Luo / Zhang CLOUD Computing - CLOUD 2025
18th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-06325-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bergami / Ezhilchelvan / Manolopoulos Database Engineered Applications
29th International Symposium, IDEAS 2025, Newcastle upon Tyne, UK, July 14-16, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-06743-2Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baras / Papavassiliou / Tsiropoulou Game Theory and AI for Security
16th International Conference, GameSec 2025, Athens, Greece, October 13-15, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-08066-0Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vafeiadis Programming Languages and Systems
34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-91120-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Giacobbe / Lukina AI Verification
Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-99990-1Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dalla Preda / Schrittwieser / Naessens Availability, Reliability and Security
20th International Conference, ARES 2025, Ghent, Belgium, August 11-14, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-00623-3Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage79,17 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Remke / Steffen Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-00941-8Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage62,05 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Rivain / Sasdrich Constructive Approaches for Security Analysis and Design of Embedded Systems
First International Conference, CASCADE 2025, Saint-Etienne, France, April 2-4, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-01404-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lindgren / Rodríguez Bolívar / Janssen Electronic Government
24th IFIP WG 8.5 International Conference, EGOV 2025, Krems, Austria, August 31 - September 4, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-01588-4Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage139,09 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Senn / Sanguineti / Saudargiene Artificial Neural Networks and Machine Learning - ICANN 2025
34th International Conference on Artificial Neural Networks, Kaunas, Lithuania, September 9-12, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-04557-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yin / Karatzas / Lopresti Document Analysis and Recognition - ICDAR 2025
19th International Conference, Wuhan, China, September 16-21, 2025, Proceedings, Part IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-04623-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Taibi / Smite Software Engineering and Advanced Applications
51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10-12, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-04199-9Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tammets / Sosnovsky / Ferreira Mello Two Decades of TEL. From Lessons Learnt to Challenges Ahead
20th European Conference on Technology Enhanced Learning, EC-TEL 2025, Newcastle upon Tyne and Durham, UK, September 15-19, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-03872-2Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lavi / Zhang Algorithmic Game Theory
18th International Symposium, SAGT 2025, Bath, UK, September 2-5, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-03638-4Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hubballi / Verma / Rudrapatna K. Information Systems Security
21st International Conference, ICISS 2025, Indore, India, December 16-20, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-13713-5Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Garlisi / Chatzopoulos Algorithmic Aspects of Cloud Computing
10th International Symposium, ALGOCLOUD 2025, Warsaw, Poland, September 15-16, 2025, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-13743-2Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Misra / Pandey Algorithms and Discrete Applied Mathematics
12th International Conference, CALDAM 2026, Dharwad, India, February 12-14, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-17155-9Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Jensen / Lengál Verification, Model Checking, and Abstract Interpretation
27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-15699-0Medium: 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 IIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-15983-0Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hogeweg / Jalali / Sedlár Logic, Language, and Computation
14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18-22, 2023, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-14338-9Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bianculli / Gómez-Martínez Software Engineering and Formal Methods
23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-10443-4Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Moosaei / Belavkin / Pardalos Dynamics of Information Systems
8th International Conference, DIS 2025, London, UK, June 1-5, 2025, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-16468-1Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (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