Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10730
- 2642
- Erscheinungsjahr
-
- 297
- 1015
- 1052
- 801
- 630
- 389
- 403
- 440
- 421
- 431
- 418
- 439
- 400
- 439
- 442
- 399
- 367
- 270
- 247
- 282
- 292
- 225
- 475
- 580
- 264
- 253
- 179
- 176
- 134
- 135
- 137
- 121
- 112
- 98
- 75
- 84
- 57
- 60
- 46
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 5
- Autoren
-
- 6
- 6
- 5
- 5
- 7
- 10
- 6
- 14
- 12
- 6
- 5
- 5
- 9
- 12
- 11
- 5
- 20
- 8
- 22
- 7
- 10
- 6
- 8
- 10
- 11
- 5
- 7
- 13
- 31
- 52
- 7
- 49
- 9
- 7
- 6
- 6
- 20
- 17
- 12
- 5
- 5
- 7
- 46
- 6
- 6
- 5
- 7
- 5
- 10
- 7
- 6
- 18
- 7
- 6
- 8
- 8
- 9
- 5
- 7
- 7
- 5
- 7
- 10
- 10
- 6
- 7
- 21
- 5
- 6
- 9
- 22
- 5
- 12
- 8
- 8
- 18
- 12
- 11
- 7
- 57
- 19
- 13
- 7
- 12
- 11
- 9
- 7
- 7
- 6
- 7
- 12
- 9
- 10
- 15
- 13
- 18
- 14
- 16
- 7
- 8
- 46
- 15
- 8
- 9
- 6
- 7
- 10
- 19
- 7
- 12
- 14
- 13
- 6
- 18
- 11
- 9
- 25
- 6
- 17
- 6
- 12
- 13
- 6
- 11
- 8
- 13
- 7
- 8
- 49
- 11
- 61
- 7
- 13
- 9
- 20
- 20
- 11
- 7
- 25
- 9
- 48
- 11
- 15
- 13
- 9
- 11
- 8
- 17
- 6
- 9
- 15
- 10
- 11
- 46
- 9
- 12
- 9
- 17
- 6
- 8
- 10
- 7
- 17
- 10
- 7
- 8
- 7
- 8
- 23
- 12
- 7
- 18
- 11
- 8
- 9
- 6
- 8
- 22
- 22
- 8
- 9
- 6
- 6
- 7
- 9
- 16
- 25
- 9
- 9
- 6
- 6
- 11
- 7
- 7
- 7
- 11
- 6
- 11
- 19
- 12
- 7
- 11
- 11
- 9
- 53
- 51
- 6
- 30
- 6
- 11
- 21
- 11
- 28
- 17
- 7
- 7
- 8
- 14
- 8
- 22
- 7
- 7
- 10
- 11
- 7
- 31
- 7
- 6
- 18
- 54
- 14
- 8
- 19
- 12
- 9
- 11
- 12
- 24
- 9
- 8
- 9
- 6
- 11
- 20
- 14
- 12
- 6
- 6
- 10
- 9
- 12
- 16
- 17
- 69
- 44
- 11
- 6
- 30
- 14
- 22
- 34
- 111
- 7
- 14
- 10
- 8
- 22
- 8
- 9
- 23
- 16
- 9
- 9
- 7
- 6
- 11
- 21
- 9
- 16
- 9
- 8
- 10
- 6
- 8
- 15
- 7
- 53
- 6
- 13
- 6
- 10
- 7
- 7
- 6
- 17
- 26
- 11
- 9
- 10
- 25
- 46
- 11
- 7
- 6
- 14
- 19
- 15
- 8
- 7
- 9
- 7
- 6
- 9
- 6
- 14
- 19
- 8
- 6
- 6
- 10
- 7
- 84
- 6
- 14
- 14
- 8
- 8
- 8
- 6
- 19
- 8
- 11
- 7
- 10
- 11
- 24
- 7
- 8
- 15
- 10
- 6
- 15
- 6
- 7
- 22
- 17
- 7
- 6
- 6
- 8
- 13
- 6
- 6
- 7
- 6
- 17
- 9
- 7
- 6
- 14
- 6
- 18
- 7
- 8
- 7
- 11
- 6
- 13
- 12
- 16
- 6
- 8
- 6
- 9
- 10
- 9
- 7
- 7
- 6
- 38
- 8
- 10
- 13
- 6
- 9
- 8
- 31
- 8
- 9
- 6
- 21
- 46
- 7
- 6
- 7
- 11
- 11
- 19
- 6
- 34
- 6
- 15
- 9
- 6
- 7
- 19
- 6
- 18
- 6
- 28
- 42
- 23
- 12
- 8
- 28
- 7
- 14
- 10
- 8
- 35
- 17
- 36
- 46
- 6
- 8
- 11
- 8
- 11
- 9
- 19
- 11
- 6
- 17
- 6
- 10
- 7
- 8
- 8
- 6
- 9
- 9
- 7
- 17
- 8
- 6
- 90
- 30
- 33
- 7
- 17
- 6
- 6
- 23
- 7
- 7
- 7
- 19
- 8
- 8
- 7
- 14
- 18
- 6
- 18
- 6
- 9
- 7
- 7
- 10
- 7
- 11
- 15
- 7
- 20
- 7
- 21
- 6
- 6
- 29
- 9
- 12
- 8
- 7
- 83
- 8
- 6
- 22
- 7
- 9
- 6
- 15
- 28
- 9
- 15
- 6
- 12
- 10
- 7
- 6
- 10
- 6
- 21
- 9
- 6
- 9
- 27
- 10
- 6
- 7
- 6
- 14
- 15
- 17
- 6
- 19
- 22
- 20
- 10
- 23
- 7
- 8
- 12
- 9
- 6
- 12
- 9
- 10
- 30
- 8
- 10
- 7
- 44
- 35
- 8
- 9
- 6
- 9
- 10
- 7
- 21
- 10
- 6
- 7
- 6
- 7
- 8
- 6
- 10
- 12
- 8
- 9
- 6
- 12
- 9
- 25
- 9
- 6
- 6
- 7
- 11
- 10
- 12
- 9
- 15
- 6
- 10
- 7
- 43
- 6
- 13
- 13
- 6
- 8
- 6
- 20
- 7
- 8
- 7
- 15
- 8
- 7
- 10
- 7
- 7
- 9
- 11
- 102
- 16
- 8
- 6
- 10
- 7
- 9
- 20
- 8
- 10
- 6
- 7
- 10
- 13
- 52
- 16
- 6
- 20
- 7
- 8
- 16
- 9
- 12
- 7
- 6
- 8
- 9
- 6
- 8
- 7
- 10
- 9
- 11
- 8
- 7
- 8
- 10
- 8
- 13
- 61
- 8
- 8
- 21
- 6
- 9
- 6
- 20
- 15
- 6
- 6
- 7
- 6
- 13
- 7
- 18
- 18
- 19
- 11
- 18
- 9
- 7
- 12
- 34
- 15
- 9
- 10
- 17
- 8
- 7
- 7
- 24
- 6
- 14
- 16
- 17
- 6
- 6
- 13
- 11
- 6
- 18
- 8
- 18
- 8
- 10
- 21
- 8
- 25
- 9
- 10
- 6
- 12
- 6
- 14
- 7
- 6
- 13
- 17
- 12
- 6
- 10
- 7
- 6
- 7
- 7
- 23
- 6
- 9
- 10
- 9
- 6
- 8
- 14
- 31
- 7
- 17
- 8
- 7
- 11
- 25
- 7
- 11
- 10
- 11
- 6
- 122
- 7
- 9
- 10
- 7
- 32
- 9
- 12
- 23
- 11
- 9
- 11
- 15
- 10
- 28
- 8
- 123
- 6
- 60
- 15
- 12
- 12
- 120
- 32
- 6
- 15
- 8
- 13
- 8
- 13
- 15
- 18
- 15
- 12
- 7
- 7
- 6
- 6
- 10
- 11
- 12
- 13
- 120
- 6
- 9
- 15
- 29
- 12
- 16
- 11
- 6
- 12
- 26
- 16
- 13
- 10
- 8
- 10
- 7
- 12
- 6
- 10
- 29
- 10
- 7
- 14
- 6
- 6
- 7
- 12
- 14
- 6
- 34
- 9
- 6
- 7
- 6
- 7
- 7
- 15
- 11
- 9
- 11
- 11
- 16
- 20
- 40
- 20
- 9
- 11
- 10
- 25
- 10
- 6
- 12
- 10
- 16
- 12
- 8
- 9
- 11
- 6
- 49
- 9
- 42
- 7
- 15
- 10
- 13
- 9
- 14
- 13
- 6
- 9
- 26
- 7
- 10
- 8
- 10
- 11
- 12
- 22
- 8
- 23
- 36
- 6
- 6
- 7
- 8
- 15
- 7
- 29
- 13
- 18
- 33
- 71
- 12
- 20
- 22
- 10
- 15
- 8
- 11
- 21
- 22
- 17
- 12
- 9
- 12
- 75
- 25
- 15
- 10
- 7
- 16
- 20
- 12
- 10
- 17
- 9
- 15
- 12
- 8
- 6
- 16
- 15
- 10
- 9
- 16
- 6
- 120
- 6
- 12
- 6
- 14
- 20
- 8
- 6
- 7
- 6
- 6
- 8
- 6
- 17
- 11
- 6
- 10
- 43
- 7
- 12
- 9
- 7
- 18
- 9
- 17
- 24
- 11
- 14
- 26
- 9
- 8
- 8
- 6
- 20
- 8
- 24
- 8
- 15
- 8
- 8
- 11
- 9
- 8
- 11
- 10
- 9
- 7
- 33
- 8
- 17
- 8
- 12
- 7
- 7
- 10
- 8
- 9
- 7
- 10
- 7
- 15
- 14
- 11
- 7
- 20
- 18
- 7
- 17
- 11
- 29
- 12
- 6
- 20
- 6
- 6
- 6
- 28
- 8
- 12
- 6
- 7
- 14
- 10
- 9
- 20
- 7
- 9
- 7
- 6
- 61
- 14
- 7
- 9
- 28
- 6
- 58
- 20
- 80
- 6
- 21
- 6
- 10
- 8
- 9
- 9
- 6
- 38
- 9
- 8
- 23
- 22
- 21
- 11
- 10
- 6
- 14
- 15
- 7
- 31
- Verlag
-
- 3
- 11592
- 40
- 1550
- 1
- 1
- 14
- 4
- 3
- 122
- 1
- 1
- 1
- 39
- Preis
-
- 47
- 487
- 10555
- 2283
- Sprachen
-
- 13364
- 19
- 15
- Verfügbarkeit
-
- 13353
- 19
- Eigenschaften
-
- 20
- Katalog
-
- 13372
- 551
-
Joyce / Seger Higher Order Logic Theorem Proving and Its Applications
6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57826-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dietsch / Rybalchenko / Schäf On the Pursuit of Insight and Elegance
Essays Dedicated to Andreas Podelski on the Occasion of His 65th BirthdayErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-13710-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Khouzani / Panaousis / Theodorakopoulos Decision and Game Theory for Security
6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-25594-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Hameurlain / Tjoa Transactions on Large-Scale Data- and Knowledge-Centered Systems L
1. Auflage 2021Verlag: SpringerISBN: 978-3-662-64552-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hacid / Aldwairi / Bouadjenek Service-Oriented Computing - ICSOC 2021 Workshops
AIOps, STRAPS, AI-PA and Satellite Events, Dubai, United Arab Emirates, November 22-25, 2021, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-14134-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blanc-Talon / Helbert / Philips Advanced Concepts for Intelligent Vision Systems
19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-01448-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fränzle / Niehaus / Westphal Engineering Safe and Trustworthy Cyber Physical Systems
Essays Dedicated to Werner Damm on the Occasion of His 71st BirthdayErscheinungsjahr 2025Verlag: Springer International PublishingISBN: 978-3-031-97537-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar69,54 € (inkl. MwSt.)
sofort verfügbar -
Clemmensen / Rajamanickam / Dannenmann Global Thoughts, Local Designs
INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92080-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kovalev / Müller / Paul A Pipelined Multi-core MIPS Machine
Hardware Implementation and Correctness ProofErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13905-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhang / Tung / Zheng Web and Big Data
8th International Joint Conference, APWeb-WAIM 2024, Jinhua, China, August 30 - September 1, 2024, Proceedings, Part V2024Verlag: SpringerISBN: 978-981-97-7243-8Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhang / Tung / Zheng Web and Big Data
8th International Joint Conference, APWeb-WAIM 2024, Jinhua, China, August 30 - September 1, 2024, Proceedings, Part III2024Verlag: SpringerISBN: 978-981-97-7237-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sun / Liu / Qu Algorithms and Architectures for Parallel Processing
14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part IErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11196-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Corchado Rodriguez / Snasel / Abraham Hybrid Artificial Intelligent Systems
7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012, Proceedings, Part I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28941-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kronland-Martinet / Aramaki / Ystad Music, Mind, and Embodiment
11th International Symposium, CMMR 2015, Plymouth, UK, June 16-19, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46281-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Torra / Narukawa / Domingo-Ferrer Modeling Decisions for Artificial Intelligence
22nd International Conference, MDAI 2025, València, Spain, September 15-18, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-00890-9Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage70,61 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Bowles / Broccia / Pellungrini From Data to Models and Back
10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers1. Auflage 2022Verlag: SpringerISBN: 978-3-031-16010-3Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-75782-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Berardi / Coppo / Damiani Types for Proofs and Programs
International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected PapersErscheinungsjahr 2004Verlag: SpringerISBN: 978-3-540-24849-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Vigna Mobile Agents and Security
Erscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-68671-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Sharp Higher-Level Hardware Synthesis
1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21306-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Callaghan / Luo / McKinna Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43287-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brauer GI - 3. Jahrestagung
Gesellschaft für Informatik e.V. 3. Jahrestagung Hamburg, 8.-10. Oktober 1973. Proceedings1973Verlag: Springer Berlin HeidelbergISBN: 978-3-540-06473-2Medium: Buch25,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage25,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Voevodin / Sobolev / Yakobovskiy Supercomputing
9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25–26, 2023, Revised Selected Papers, Part I1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-49432-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark80,24 € (inkl. MwSt.)
sofort verfügbar80,24 € (inkl. MwSt.)
sofort verfügbar -
Deng / Kolesnikov / Schwarzmann Cryptology and Network Security
22nd International Conference, CANS 2023, Augusta, GA, USA, October 31 – November 2, 2023, Proceedings1. Auflage 2023Verlag: Springer SingaporeISBN: 978-981-99-7563-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Fränzle / Niehaus / Westphal Engineering Safe and Trustworthy Cyber Physical Systems
Essays Dedicated to Werner Damm on the Occasion of His 71st BirthdayErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-97536-3Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (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