Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- 10333 EDV | Informatik
- 1076 Mathematik
- Medium
-
- 10367
- Erscheinungsjahr
-
- 784
- 857
- 616
- 492
- 293
- 280
- 296
- 326
- 277
- 295
- 290
- 283
- 313
- 279
- 279
- 269
- 247
- 239
- 271
- 245
- 234
- 372
- 315
- 272
- 252
- 183
- 176
- 132
- 145
- 142
- 122
- 104
- 95
- 72
- 86
- 58
- 59
- 45
- 46
- 33
- 27
- 19
- 13
- 17
- 27
- 20
- 12
- 7
- 12
- 10
- 12
- 13
- 4
- Autoren
-
- 6
- 4
- 5
- 5
- 6
- 5
- 4
- 5
- 5
- 4
- 9
- 6
- 5
- 10
- 5
- 5
- 7
- 4
- 4
- 4
- 5
- 4
- 7
- 11
- 7
- 4
- 4
- 8
- 16
- 5
- 4
- 17
- 4
- 8
- 5
- 5
- 4
- 4
- 4
- 5
- 8
- 8
- 5
- 4
- 7
- 4
- 14
- 25
- 36
- 5
- 36
- 6
- 6
- 6
- 4
- 6
- 4
- 6
- 6
- 5
- 13
- 4
- 15
- 10
- 4
- 6
- 4
- 4
- 6
- 39
- 7
- 5
- 4
- 4
- 5
- 4
- 5
- 5
- 6
- 4
- 7
- 4
- 5
- 7
- 4
- 7
- 13
- 5
- 4
- 6
- 8
- 4
- 6
- 6
- 6
- 8
- 7
- 7
- 7
- 6
- 9
- 6
- 4
- 4
- 5
- 9
- 4
- 5
- 6
- 6
- 4
- 16
- 7
- 4
- 7
- 4
- 13
- 4
- 4
- 9
- 5
- 4
- 5
- 5
- 4
- 8
- 6
- 8
- 7
- 19
- 5
- 4
- 8
- 5
- 6
- 10
- 5
- 6
- 40
- 4
- 4
- 4
- 4
- 4
- 6
- 21
- 17
- 7
- 7
- 6
- 12
- 4
- 4
- 4
- 5
- 4
- 13
- 4
- 11
- 10
- 4
- 4
- 4
- 6
- 4
- 8
- 13
- 4
- 4
- 10
- 7
- 4
- 12
- 9
- 16
- 8
- 5
- 4
- 4
- 5
- 4
- 7
- 6
- 9
- 4
- 39
- 18
- 11
- 8
- 5
- 4
- 4
- 8
- 4
- 5
- 10
- 7
- 4
- 5
- 16
- 5
- 4
- 14
- 5
- 12
- 5
- 5
- 14
- 6
- 4
- 10
- 4
- 24
- 7
- 11
- 4
- 10
- 4
- 4
- 13
- 4
- 8
- 6
- 6
- 6
- 5
- 6
- 4
- 34
- 8
- 41
- 14
- 7
- 14
- 14
- 4
- 12
- 7
- 20
- 10
- 21
- 4
- 10
- 14
- 11
- 6
- 4
- 12
- 4
- 4
- 6
- 13
- 9
- 8
- 39
- 4
- 5
- 5
- 9
- 5
- 9
- 6
- 4
- 4
- 5
- 9
- 8
- 5
- 4
- 5
- 8
- 13
- 5
- 10
- 5
- 4
- 9
- 4
- 5
- 5
- 7
- 4
- 15
- 22
- 6
- 7
- 5
- 11
- 4
- 6
- 8
- 9
- 12
- 7
- 24
- 6
- 4
- 4
- 8
- 4
- 7
- 5
- 5
- 7
- 4
- 7
- 4
- 8
- 4
- 14
- 10
- 4
- 9
- 4
- 5
- 50
- 39
- 6
- 22
- 6
- 7
- 4
- 13
- 4
- 7
- 31
- 12
- 18
- 4
- 6
- 5
- 7
- 7
- 4
- 4
- 27
- 10
- 48
- 7
- 7
- 4
- 15
- 5
- 6
- 7
- 10
- 4
- 10
- 6
- 4
- 6
- 4
- 4
- 6
- 8
- 4
- 5
- 4
- 14
- 17
- 4
- 4
- 4
- 5
- 4
- 5
- 10
- 5
- 6
- 4
- 5
- 6
- 14
- 4
- 4
- 5
- 17
- 54
- 27
- 7
- 20
- 4
- 18
- 26
- 89
- 5
- 11
- 6
- 15
- 4
- 10
- 4
- 5
- 6
- 18
- 11
- 4
- 5
- 12
- 6
- 6
- 8
- 15
- 9
- 5
- 4
- 4
- 4
- 6
- 6
- 5
- 9
- 4
- 5
- 33
- 4
- 4
- 10
- 5
- 4
- 5
- 5
- 4
- 18
- 6
- 18
- 39
- 4
- 5
- 17
- 5
- 11
- 4
- 4
- 5
- 7
- 4
- 7
- 5
- 6
- 15
- 15
- 5
- 8
- 4
- 4
- 6
- 4
- 65
- 4
- 7
- 4
- 9
- 4
- 4
- 5
- 5
- 5
- 4
- 4
- 4
- 15
- 4
- 12
- 5
- 5
- 11
- 18
- 6
- 13
- 6
- 7
- 4
- 6
- 4
- 7
- 4
- 18
- 13
- 8
- 4
- 13
- 6
- 5
- 13
- 7
- 9
- 5
- 5
- 6
- 5
- 6
- 9
- 8
- 12
- 5
- 8
- 7
- 6
- 29
- 6
- 13
- 6
- 8
- 8
- 6
- 24
- 16
- 34
- 6
- 7
- 8
- 15
- 6
- 5
- 5
- 11
- 7
- 10
- 5
- 14
- 6
- 11
- 6
- 19
- 30
- 12
- 6
- 8
- 14
- 11
- 26
- 5
- 14
- 14
- 36
- 9
- 5
- 5
- 10
- 11
- 6
- 12
- 5
- 6
- 7
- 9
- 9
- 9
- 7
- 7
- 12
- 88
- 6
- 14
- 19
- 7
- 13
- 6
- 8
- 12
- 7
- 6
- 7
- 5
- 7
- 11
- 13
- 7
- 5
- 21
- 5
- 6
- 20
- 5
- 5
- 61
- 11
- 17
- 5
- 5
- 13
- 19
- 5
- 6
- 6
- 5
- 12
- 5
- 8
- 5
- 10
- 5
- 7
- 5
- 6
- 5
- 8
- 13
- 13
- 15
- 16
- 15
- 9
- 15
- 11
- 9
- 8
- 27
- 6
- 5
- 5
- 33
- 25
- 7
- 5
- 6
- 5
- 13
- 11
- 5
- 8
- 7
- 10
- 5
- 13
- 7
- 6
- 13
- 16
- 9
- 6
- 8
- 10
- 8
- 8
- 14
- 8
- 6
- 7
- 31
- 8
- 7
- 7
- 5
- 5
- 5
- 6
- 19
- 5
- 7
- 9
- 8
- 5
- 8
- 6
- 9
- 80
- 7
- 5
- 7
- 7
- 6
- 12
- 7
- 7
- 8
- 35
- 9
- 5
- 16
- 8
- 5
- 6
- 9
- 7
- 6
- 9
- 5
- 9
- 9
- 5
- 7
- 9
- 9
- 9
- 6
- 5
- 9
- 5
- 6
- 8
- 8
- 42
- 7
- 16
- 8
- 21
- 13
- 7
- 13
- 12
- 15
- 15
- 11
- 7
- 7
- 23
- 9
- 6
- 10
- 9
- 25
- 10
- 6
- 14
- 14
- 5
- 7
- 6
- 15
- 5
- 13
- 7
- 7
- 7
- 24
- 5
- 11
- 7
- 6
- 12
- 10
- 5
- 8
- 5
- 6
- 19
- 6
- 6
- 14
- 24
- 9
- 7
- 7
- 15
- 6
- 8
- 90
- 8
- 6
- 8
- 22
- 8
- 6
- 14
- 10
- 9
- 10
- 10
- 19
- 91
- 6
- 45
- 5
- 9
- 89
- 19
- 5
- 14
- 11
- 5
- 9
- 9
- 9
- 10
- 16
- 7
- 5
- 6
- 5
- 8
- 5
- 9
- 89
- 5
- 6
- 17
- 19
- 6
- 5
- 9
- 12
- 14
- 14
- 6
- 12
- 10
- 5
- 10
- 5
- 6
- 11
- 22
- 11
- 6
- 7
- 5
- 6
- 13
- 8
- 18
- 5
- 8
- 5
- 6
- 14
- 6
- 10
- 6
- 18
- 7
- 43
- 5
- 5
- 5
- 7
- 5
- 8
- 18
- 5
- 5
- 10
- 10
- 13
- 9
- 6
- 7
- 7
- 10
- 32
- 9
- 42
- 15
- 7
- 8
- 5
- 8
- 6
- 5
- 23
- 6
- 5
- 8
- 6
- 13
- 16
- 20
- 5
- 14
- 20
- 10
- 13
- 18
- 55
- 10
- 10
- 18
- 8
- 9
- 5
- 19
- 19
- 12
- 6
- 52
- 5
- 24
- 12
- 8
- 8
- 6
- 17
- 7
- 12
- 10
- 11
- 5
- 5
- 13
- 6
- 5
- 15
- 11
- 6
- 11
- 9
- 89
- 9
- 5
- 18
- 15
- 5
- 7
- 7
- 6
- 17
- 5
- 7
- 8
- 5
- 22
- 5
- 11
- 10
- 8
- 5
- 6
- 13
- 14
- 5
- 7
- 5
- 21
- 6
- 7
- 8
- 6
- 16
- 5
- 23
- 12
- 10
- 7
- 10
- 7
- 7
- 9
- 6
- 5
- 7
- 20
- 7
- 13
- 10
- 5
- 5
- 10
- 6
- 6
- 8
- 15
- 9
- 9
- 5
- 5
- 10
- 6
- 13
- 7
- 8
- 16
- 14
- 6
- 5
- 20
- 10
- 5
- 6
- 7
- 5
- 7
- 6
- 41
- 7
- 23
- 45
- 7
- 13
- 61
- 5
- 17
- 9
- 5
- 6
- 5
- 14
- 7
- 7
- 20
- 16
- 18
- 6
- 6
- 8
- 7
- 10
- 7
- 5
- 17
- Verlag
-
- 6
- 10301
- 3
- 10
- 1
- 7
- 1
- 1
- 37
- Preis
-
- 47
- 388
- 7906
- 2026
- Sprachen
-
- 10361
- 17
- 13
- Verfügbarkeit
-
- 10355
- 12
- Katalog
-
- 10367
- 565
-
Logozzo / Fähndrich Static Analysis
20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38855-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Soares / Rosenzweig / Marcus Design, User Experience, and Usability: Design for Diversity, Well-being, and Social Development
10th International Conference, DUXU 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-78223-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cuellar / Maibaum FM 2008: Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68235-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cointe Meta-Level Architectures and Reflection
Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66280-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mernik / Eftimov / Crepinšek Bioinspired Optimization Methods and Their Applications
10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17-18, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-21093-8Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Peters / Skowron / Ramanna Transactions on Rough Sets XVI
1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36504-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chang / Chiari / Cao Inclusive Smart Cities and Digital Health
14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-39600-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nakanishi / Egi / Chounta Collaboration Technologies and Social Computing
25th International Conference, CRIWG+CollabTech 2019, Kyoto, Japan, September 4-6, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-28010-9Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Reussner / Mayer / Stafford Quality of Software Architectures and Software Quality
First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29033-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deneuville Code-Based Cryptography
10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29-30, 2022, Revised Selected Papers1. Auflage 2023Verlag: SpringerISBN: 978-3-031-29688-8Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nagy Implementation and Application of Automata
27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-40246-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barringer A Survey of Verification Techniques for Parallel Programs
1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15239-2Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage24,60 € (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 IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-04613-0Medium: Buch246,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage246,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Almási / Cascaval / Wu Languages and Compilers for Parallel Computing
19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers1. Auflage 2007Verlag: SpringerISBN: 978-3-540-72520-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baldoni / Flocchini / Binoy Principles of Distributed Systems
16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35475-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-03869-2Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Giunchiglia Artificial Intelligence: Methodology, Systems, and Applications
8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64993-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dierkes / Pecheur Formal Methods for Industrial Critical Systems
18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41009-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Peled / Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002
22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00141-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deb / Harman / Poli Genetic and Evolutionary Computation - GECCO 2004
Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004 Proceedings, Part II1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22343-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Harel First-Order Dynamic Logic
1. Auflage 1979Verlag: SpringerISBN: 978-3-540-09237-7Medium: Buch10,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage10,69 € (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 -
Bonomi / Mandal / Robinson Stabilization, Safety, and Security of Distributed Systems
27th International Symposium, SSS 2025, Kathmandu, Nepal, October 9-11, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-11126-5Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wilkinson / Kosinka Discrete Geometry and Mathematical Morphology
4th International Joint Conference, DGMM 2025, Groningen, The Netherlands, November 3-6, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-09543-5Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sfikas / Retsinas Document Analysis Systems
16th IAPR International Workshop, DAS 2024, Athens, Greece, August 30-31, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-70441-3Medium: 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