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
-
Eder / Louren?o / Shehory Hardware and Software: Verification and Testing
7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34187-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hasegawa Typed Lambda Calculi and Applications
11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38945-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Verification
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03420-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Özbudak / Rodriguez-Henriquez Arithmetic of Finite Fields
4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31661-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort