Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- 10476 EDV | Informatik
- 1111 Mathematik
- Medium
-
- 10512
- Erscheinungsjahr
-
- 138
- 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
- 10
- 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
- 4
- 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
- 4
- 5
- 6
- 10
- 5
- 6
- 15
- 6
- 11
- 5
- 8
- 19
- 7
- 10
- 5
- 6
- 5
- 11
- 17
- 11
- 7
- 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
- 9
- 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
- 10456
- 3
- 5
- 1
- 3
- 1
- 42
- Preis
-
- 47
- 381
- 8053
- 2031
- Sprachen
-
- 10506
- 18
- 13
- Verfügbarkeit
-
- 10498
- 14
- Katalog
-
- 10512
- 542
-
Grabowski / Nielsen Formal Approaches to Software Testing
4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25109-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kirby / Dearle / Sjoberg Persistent Object Systems: Design, Implementation, and Use
9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42735-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sun Formal Methods and Software Engineering
20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-02449-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Groth / Vidal / Suchanek The Semantic Web
19th International Conference, ESWC 2022, Hersonissos, Crete, Greece, May 29 - June 2, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-06980-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Flener Logic-Based Program Synthesis and Transformation
8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected PapersErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65765-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hsu / Kallel / Lan Internet of Vehicles. Technologies and Services Toward Smart Cities
6th International Conference, IOV 2019, Kaohsiung, Taiwan, November 18-21, 2019, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-38650-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kostitsyna / Orponen Unconventional Computation and Natural Computation
19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-87992-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shi / Pérez-González / Kim Digital-Forensics and Watermarking
11th International Workshop, IWDW 2012, Shanghai, China, October 31--November 3, 2012, Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40098-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dürrschnabel / López Rodríguez Formal Concept Analysis
17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35948-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Applebaum / Lin Theory of Cryptography
23rd International Conference, TCC 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-12295-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Papavassiliou / Ruehrup Ad-hoc, Mobile, and Wireless Networks
14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-19661-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rashid / Popov Critical Information Infrastructures Security
15th International Conference, CRITIS 2020, Bristol, UK, September 2-3, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58294-4Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Müller / Ketter / Kaminka Multiagent System Technologies
13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27342-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kubota / Kiguchi / Liu Intelligent Robotics and Applications
9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part II1. Auflage 2016Verlag: SpringerISBN: 978-3-319-43517-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gramlich Frontiers of Combining Systems
5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29051-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Veanes / Vigano Tests and Proofs
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38915-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ahrendt / Beckert / Bubel The Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday1. Auflage 2022Verlag: SpringerISBN: 978-3-031-08165-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Naldi / Djemame / Altmann Economics of Grids, Clouds, Systems, and Services
20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-81225-5Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Presutti / Blomqvist / Troncy The Semantic Web: ESWC 2014 Satellite Events
ESWC 2014 Satellite Events, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11954-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Ludwig / Toumani Service-Oriented Computing
10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34320-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Anderson / Stajano / Christianson Security Protocols XXVII
27th International Workshop, Cambridge, UK, April 10-12, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-57042-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dams / Gerth / Leue Theoretical and Practical Aspects of SPIN Model Checking
5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66499-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Giorgini / Weber Advanced Information Systems Engineering
31st International Conference, CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-21289-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jensen / Podelski Tools and Algorithms for the Construction and Analysis of Systems
10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21299-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Katwijk Ada: Moving Towards 2000
11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55585-8Medium: 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