Ergebnisse filtern
- Fachgebiet
- Medium
-
- 9633
- 9569
- Erscheinungsjahr
-
- 1189
- 1283
- 1001
- 574
- 615
- 624
- 612
- 603
- 596
- 573
- 588
- 671
- 613
- 614
- 572
- 507
- 495
- 607
- 645
- 1701
- 744
- 1490
- 270
- 263
- 193
- 173
- 158
- 145
- 139
- 122
- 110
- 94
- 77
- 85
- 58
- 63
- 47
- 49
- 33
- 27
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 16
- 13
- 5
- Autoren
-
- 11
- 8
- 7
- 9
- 8
- 7
- 8
- 9
- 12
- 14
- 7
- 7
- 13
- 9
- 16
- 12
- 15
- 8
- 35
- 7
- 9
- 8
- 12
- 9
- 18
- 11
- 28
- 8
- 48
- 14
- 7
- 72
- 10
- 11
- 9
- 7
- 9
- 9
- 7
- 16
- 10
- 15
- 11
- 12
- 7
- 7
- 10
- 12
- 78
- 14
- 9
- 7
- 7
- 13
- 14
- 12
- 7
- 20
- 16
- 17
- 10
- 10
- 10
- 18
- 8
- 8
- 21
- 14
- 13
- 21
- 9
- 9
- 12
- 31
- 7
- 11
- 23
- 9
- 10
- 8
- 10
- 11
- 12
- 37
- 8
- 18
- 10
- 13
- 8
- 8
- 17
- 9
- 40
- 27
- 12
- 11
- 17
- 7
- 12
- 18
- 7
- 7
- 7
- 9
- 9
- 11
- 9
- 17
- 7
- 17
- 21
- 9
- 17
- 19
- 11
- 7
- 19
- 11
- 30
- 8
- 12
- 7
- 7
- 11
- 7
- 10
- 19
- 78
- 34
- 19
- 14
- 20
- 8
- 18
- 14
- 26
- 10
- 7
- 20
- 14
- 14
- 7
- 11
- 12
- 12
- 8
- 22
- 7
- 16
- 16
- 21
- 8
- 21
- 11
- 7
- 9
- 9
- 11
- 19
- 12
- 14
- 8
- 13
- 14
- 8
- 14
- 33
- 24
- 11
- 18
- 12
- 13
- 13
- 39
- 20
- 11
- 17
- 7
- 10
- 14
- 8
- 9
- 7
- 19
- 33
- 16
- 7
- 78
- 8
- 9
- 14
- 13
- 10
- 8
- 8
- 13
- 20
- 8
- 8
- 9
- 7
- 7
- 7
- 12
- 7
- 10
- 25
- 16
- 19
- 11
- 12
- 9
- 13
- 9
- 7
- 28
- 15
- 10
- 23
- 10
- 9
- 11
- 7
- 7
- 9
- 8
- 16
- 14
- 10
- 30
- 26
- 10
- 24
- 9
- 9
- 15
- 9
- 11
- 15
- 23
- 8
- 7
- 8
- 11
- 9
- 15
- 12
- 11
- 9
- 11
- 10
- 8
- 10
- 9
- 15
- 18
- 8
- 7
- 7
- 7
- 11
- 9
- 11
- 8
- 9
- 19
- 18
- 9
- 95
- 73
- 16
- 43
- 12
- 8
- 27
- 13
- 10
- 7
- 44
- 25
- 10
- 7
- 13
- 8
- 8
- 9
- 17
- 7
- 40
- 10
- 10
- 11
- 15
- 12
- 7
- 7
- 11
- 10
- 7
- 9
- 9
- 26
- 19
- 86
- 10
- 15
- 7
- 10
- 29
- 8
- 12
- 13
- 8
- 11
- 26
- 9
- 21
- 8
- 12
- 12
- 15
- 7
- 10
- 7
- 15
- 17
- 10
- 11
- 8
- 8
- 8
- 10
- 7
- 29
- 34
- 11
- 13
- 7
- 10
- 13
- 8
- 14
- 7
- 17
- 11
- 18
- 9
- 9
- 7
- 11
- 9
- 16
- 11
- 9
- 7
- 26
- 77
- 8
- 47
- 7
- 8
- 12
- 40
- 7
- 45
- 10
- 8
- 145
- 9
- 17
- 23
- 15
- 13
- 12
- 10
- 32
- 17
- 12
- 10
- 11
- 27
- 7
- 9
- 7
- 10
- 9
- 9
- 16
- 19
- 11
- 17
- 26
- 7
- 14
- 11
- 12
- 7
- 11
- 7
- 7
- 7
- 16
- 8
- 13
- 9
- 22
- 10
- 11
- 9
- 9
- 9
- 7
- 77
- 9
- 8
- 8
- 11
- 15
- 8
- 12
- 8
- 8
- 14
- 12
- 7
- 28
- 15
- 7
- 8
- 9
- 19
- 78
- 11
- 10
- 9
- 13
- 13
- 14
- 7
- 9
- 10
- 10
- 12
- 10
- 8
- 8
- 12
- 10
- 7
- 29
- 12
- 12
- 11
- 16
- 11
- 7
- 91
- 12
- 9
- 9
- 9
- 7
- 16
- 10
- 13
- 20
- 11
- 10
- 7
- 12
- 10
- 9
- 10
- 24
- 12
- 15
- 12
- 36
- 13
- 15
- 8
- 16
- 8
- 8
- 8
- 11
- 18
- 14
- 7
- 33
- 24
- 23
- 9
- 28
- 9
- 11
- 8
- 16
- 26
- 11
- 13
- 21
- 26
- 8
- 14
- 15
- 9
- 13
- 12
- 16
- 22
- 8
- 10
- 15
- 23
- 8
- 10
- 26
- 10
- 21
- 13
- 14
- 9
- 10
- 27
- 11
- 9
- 25
- 48
- 8
- 8
- 16
- 28
- 11
- 16
- 10
- 22
- 10
- 8
- 30
- 10
- 23
- 43
- 32
- 13
- 25
- 12
- 17
- 11
- 13
- 10
- 21
- 13
- 8
- 12
- 56
- 11
- 21
- 58
- 65
- 9
- 21
- 8
- 17
- 12
- 20
- 8
- 10
- 11
- 16
- 13
- 9
- 9
- 25
- 12
- 58
- 59
- 9
- 10
- 9
- 9
- 10
- 13
- 14
- 14
- 24
- 10
- 16
- 19
- 27
- 10
- 13
- 9
- 11
- 39
- 11
- 15
- 33
- 18
- 30
- 12
- 20
- 40
- 10
- 8
- 17
- 17
- 14
- 18
- 16
- 9
- 21
- 26
- 26
- 22
- 27
- 27
- 12
- 13
- 8
- 13
- 20
- 9
- 17
- 10
- 30
- 11
- 8
- 65
- 50
- 8
- 10
- 8
- 8
- 10
- 16
- 17
- 38
- 9
- 13
- 9
- 8
- 13
- 26
- 9
- 8
- 15
- 9
- 33
- 11
- 14
- 16
- 16
- 12
- 23
- 8
- 8
- 16
- 67
- 13
- 16
- 16
- 9
- 10
- 9
- 10
- 20
- 8
- 27
- 10
- 10
- 20
- 17
- 14
- 8
- 15
- 8
- 127
- 20
- 14
- 9
- 15
- 10
- 11
- 10
- 27
- 68
- 13
- 12
- 18
- 13
- 13
- 9
- 22
- 11
- 11
- 9
- 8
- 8
- 9
- 17
- 11
- 10
- 12
- 13
- 11
- 10
- 15
- 8
- 22
- 9
- 11
- 16
- 12
- 11
- 25
- 13
- 12
- 28
- 25
- 22
- 30
- 13
- 8
- 11
- 9
- 41
- 27
- 16
- 13
- 11
- 40
- 12
- 21
- 13
- 31
- 22
- 9
- 21
- 8
- 14
- 28
- 19
- 20
- 8
- 16
- 12
- 14
- 11
- 16
- 14
- 22
- 33
- 12
- 15
- 9
- 11
- 18
- 13
- 12
- 30
- 43
- 17
- 8
- 12
- 9
- 15
- 32
- 8
- 13
- 13
- 20
- 73
- 16
- 10
- 10
- 8
- 47
- 19
- 12
- 19
- 28
- 22
- 22
- 10
- 24
- 10
- 39
- 75
- 13
- 13
- 105
- 11
- 19
- 12
- 70
- 30
- 9
- 14
- 20
- 16
- 14
- 20
- 34
- 29
- 15
- 10
- 10
- 11
- 14
- 11
- 72
- 14
- 26
- 18
- 23
- 13
- 20
- 10
- 27
- 28
- 12
- 27
- 10
- 14
- 9
- 12
- 11
- 15
- 12
- 27
- 15
- 10
- 17
- 11
- 12
- 8
- 32
- 12
- 10
- 15
- 9
- 15
- 9
- 34
- 9
- 25
- 60
- 34
- 9
- 33
- 11
- 9
- 14
- 10
- 20
- 21
- 10
- 12
- 8
- 12
- 9
- 21
- 18
- 54
- 19
- 86
- 26
- 19
- 14
- 21
- 13
- 11
- 13
- 9
- 19
- 14
- 29
- 33
- 12
- 10
- 22
- 21
- 41
- 25
- 32
- 105
- 27
- 42
- 20
- 26
- 39
- 16
- 101
- 9
- 9
- 16
- 34
- 14
- 10
- 26
- 9
- 17
- 16
- 9
- 11
- 14
- 11
- 22
- 13
- 70
- 8
- 34
- 10
- 9
- 11
- 32
- 20
- 18
- 68
- 20
- 24
- 16
- 12
- 26
- 29
- 10
- 20
- 22
- 34
- 13
- 8
- 8
- 9
- 42
- 10
- 14
- 17
- 12
- 10
- 15
- 8
- 10
- 13
- 38
- 8
- 26
- 11
- 10
- 12
- 13
- 11
- 9
- 28
- 8
- 12
- 9
- 29
- 9
- 18
- 30
- 8
- 10
- 10
- 8
- 28
- 18
- 12
- 14
- 16
- 12
- 14
- 8
- 11
- 75
- 12
- 9
- 46
- 10
- 12
- 56
- 10
- 78
- 14
- 9
- 20
- 12
- 27
- 8
- 13
- 36
- 40
- 17
- 17
- 16
- 20
- 13
- 9
- 11
- 32
- Verlag
-
- 7676
- 3518
- 6609
- 1
- 148
- 1036
- 163
- 1
- 15
- 35
- Preis
-
- 99
- 643
- 16091
- 2369
- Sprachen
-
- 19190
- 45
- 36
- Verfügbarkeit
-
- 17799
- 1403
- Eigenschaften
-
- 265
- Katalog
-
- 19202
- 543
-
Paulson Isabelle
A Generic Theorem Prover1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58244-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Nguyen / Kowalczyk / Rupino da Cunha Transactions on Computational Collective Intelligence XXI
Special Issue on Keyword Search and Big Data1. Auflage 2016Verlag: SpringerISBN: 978-3-662-49521-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Wiedijk The Seventeen Provers of the World
Foreword by Dana S. Scott2006Verlag: SpringerISBN: 978-3-540-32888-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar58,84 € (inkl. MwSt.)
sofort verfügbar
-
Paulson Isabelle
A Generic Theorem Prover1994Verlag: SpringerISBN: 978-3-540-48586-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
Kurzfristig nicht lieferbar53,49 € (inkl. MwSt.)
Kurzfristig nicht lieferbar
-
Nguyen Transactions on Computational Collective Intelligence XII
2013Verlag: SpringerISBN: 978-3-642-53877-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Nguyen Transactions on Computational Collective Intelligence XII
2013Verlag: SpringerISBN: 978-3-642-53878-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar
-
Frid / Mercas / Mercas Combinatorics on Words
14th International Conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023, Proceedings1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-33180-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark80,24 € (inkl. MwSt.)
sofort verfügbar80,24 € (inkl. MwSt.)
sofort verfügbar
-
Beigl / Christiansen / Roth-Berghofer Modeling and Using Context
7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011, Proceedings2011Verlag: SpringerISBN: 978-3-642-24279-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Voronkov / A.P. Ershov Institute of Informatics Systems Perspectives of System Informatics
9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-662-46822-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Du / Li Computing and Combinatorics
First Annual International Conference, COCOON '95, Xi'an, China, August 24-26, 1995. Proceedings1995Verlag: SpringerISBN: 978-3-540-44733-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
Kurzfristig nicht lieferbar96,29 € (inkl. MwSt.)
Kurzfristig nicht lieferbar
-
Hering / Schnabel / Rueckert Biomedical Image Registration
10th International Workshop, WBIR 2022, Munich, Germany, July 10¿12, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-11202-7Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Ro / Cheng / Kim MultiMedia Modeling
26th International Conference, MMM 2020, Daejeon, South Korea, January 5¿8, 2020, Proceedings, Part I1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-37730-4Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Olderog / Yi / Steffen Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-91383-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Cox / Rodgers / Plimmer Diagrammatic Representation and Inference
7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-31222-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IIErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-75107-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark70,61 € (inkl. MwSt.)
sofort verfügbar70,61 € (inkl. MwSt.)
sofort verfügbar
-
Marcus / Rosenzweig / Soares Design, User Experience, and Usability
12th International Conference, DUXU 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part III1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-35702-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark128,39 € (inkl. MwSt.)
sofort verfügbar128,39 € (inkl. MwSt.)
sofort verfügbar
-
Harris Engineering Psychology and Cognitive Ergonomics
16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-22507-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark78,10 € (inkl. MwSt.)
sofort verfügbar78,10 € (inkl. MwSt.)
sofort verfügbar
-
Conti / Stevens / Krenn Cryptology and Network Security
20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-92548-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
Ferrara / Atluri Data and Applications Security and Privacy XXXVII
37th Annual IFIP WG 11.3 Conference, DBSec 2023, Sophia-Antipolis, France, July 19¿21, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-37585-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Dingledine Privacy Enhancing Technologies
Third International Workshop, PET 2003, Dresden, Germany, March 26-28, 2003, Revised Papers2003Verlag: SpringerISBN: 978-3-540-40956-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Dingledine Privacy Enhancing Technologies
Third International Workshop, PET 2003, Dresden, Germany, March 26-28, 2003, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20610-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Davies / Holler / Lampson Distributed Systems - Architecture and Implementation
An Advanced Course1981Verlag: SpringerISBN: 978-3-540-10571-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Sirjani / Arbab Fundamentals of Software Engineering
5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-40212-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Grossman / Nerode / Ravn Hybrid Systems
1993Verlag: SpringerISBN: 978-3-540-48060-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
Kurzfristig nicht lieferbar53,49 € (inkl. MwSt.)
Kurzfristig nicht lieferbar
-
The Munich Project CIP
Volume II: The Programme Transformation System CIP-S1987Verlag: SpringerISBN: 978-3-540-48179-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
Kurzfristig nicht lieferbar53,49 € (inkl. MwSt.)
Kurzfristig nicht lieferbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
