Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10661
- 2625
- Erscheinungsjahr
-
- 215
- 1012
- 1043
- 795
- 624
- 393
- 409
- 439
- 419
- 427
- 419
- 435
- 419
- 430
- 445
- 385
- 387
- 272
- 247
- 276
- 292
- 227
- 477
- 582
- 263
- 252
- 180
- 177
- 134
- 135
- 137
- 121
- 112
- 98
- 75
- 84
- 57
- 60
- 45
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 5
- Autoren
-
- 6
- 6
- 5
- 5
- 6
- 7
- 10
- 5
- 12
- 12
- 9
- 6
- 5
- 5
- 5
- 9
- 12
- 12
- 5
- 20
- 23
- 7
- 10
- 6
- 8
- 11
- 11
- 5
- 7
- 5
- 13
- 6
- 31
- 52
- 8
- 49
- 9
- 7
- 6
- 6
- 20
- 20
- 6
- 12
- 5
- 5
- 7
- 46
- 5
- 6
- 5
- 5
- 7
- 5
- 13
- 6
- 20
- 7
- 5
- 8
- 5
- 5
- 9
- 5
- 7
- 6
- 7
- 9
- 13
- 6
- 7
- 21
- 5
- 6
- 8
- 21
- 5
- 12
- 6
- 8
- 5
- 5
- 5
- 18
- 12
- 6
- 12
- 7
- 57
- 5
- 18
- 13
- 7
- 12
- 12
- 11
- 5
- 7
- 5
- 8
- 6
- 8
- 12
- 5
- 7
- 5
- 11
- 15
- 5
- 11
- 5
- 18
- 14
- 18
- 7
- 8
- 5
- 46
- 14
- 8
- 5
- 8
- 6
- 7
- 10
- 19
- 7
- 11
- 14
- 13
- 7
- 7
- 5
- 16
- 10
- 9
- 25
- 5
- 6
- 15
- 12
- 5
- 13
- 6
- 11
- 5
- 7
- 5
- 13
- 5
- 5
- 7
- 8
- 49
- 14
- 5
- 61
- 7
- 12
- 11
- 20
- 20
- 5
- 11
- 9
- 5
- 28
- 9
- 53
- 5
- 12
- 15
- 12
- 9
- 5
- 11
- 8
- 17
- 6
- 9
- 15
- 6
- 10
- 11
- 46
- 5
- 12
- 9
- 17
- 6
- 6
- 9
- 16
- 12
- 7
- 7
- 7
- 8
- 20
- 13
- 7
- 16
- 8
- 8
- 10
- 6
- 8
- 17
- 25
- 8
- 8
- 6
- 7
- 9
- 17
- 25
- 11
- 9
- 6
- 11
- 8
- 7
- 7
- 9
- 6
- 11
- 6
- 19
- 12
- 7
- 10
- 12
- 9
- 52
- 47
- 7
- 30
- 6
- 9
- 21
- 11
- 28
- 17
- 7
- 7
- 8
- 13
- 8
- 22
- 6
- 8
- 7
- 10
- 9
- 7
- 7
- 33
- 7
- 18
- 54
- 14
- 8
- 7
- 18
- 9
- 7
- 9
- 11
- 12
- 24
- 9
- 9
- 9
- 6
- 11
- 20
- 13
- 12
- 6
- 13
- 11
- 12
- 12
- 17
- 71
- 40
- 7
- 32
- 13
- 22
- 34
- 6
- 113
- 8
- 14
- 10
- 8
- 20
- 10
- 8
- 23
- 16
- 9
- 11
- 7
- 11
- 21
- 10
- 12
- 9
- 8
- 7
- 6
- 8
- 7
- 14
- 7
- 51
- 13
- 10
- 11
- 24
- 12
- 7
- 10
- 25
- 46
- 11
- 8
- 13
- 19
- 15
- 8
- 7
- 9
- 7
- 9
- 6
- 17
- 19
- 8
- 6
- 6
- 10
- 12
- 7
- 90
- 8
- 13
- 15
- 8
- 8
- 10
- 8
- 7
- 19
- 9
- 11
- 7
- 10
- 9
- 25
- 6
- 8
- 14
- 10
- 6
- 7
- 15
- 6
- 22
- 17
- 7
- 6
- 11
- 13
- 6
- 6
- 7
- 6
- 19
- 9
- 9
- 6
- 14
- 6
- 20
- 7
- 6
- 7
- 7
- 11
- 12
- 16
- 10
- 9
- 9
- 8
- 6
- 40
- 8
- 10
- 13
- 6
- 9
- 8
- 32
- 8
- 10
- 6
- 19
- 48
- 7
- 6
- 7
- 11
- 11
- 19
- 6
- 7
- 36
- 6
- 15
- 9
- 6
- 6
- 10
- 19
- 6
- 8
- 18
- 27
- 44
- 20
- 10
- 8
- 28
- 7
- 14
- 10
- 8
- 31
- 17
- 35
- 46
- 7
- 8
- 11
- 11
- 9
- 20
- 11
- 6
- 17
- 10
- 7
- 8
- 6
- 9
- 10
- 7
- 17
- 8
- 90
- 30
- 33
- 7
- 17
- 6
- 6
- 22
- 7
- 7
- 8
- 19
- 8
- 9
- 11
- 16
- 6
- 16
- 6
- 9
- 8
- 7
- 10
- 13
- 15
- 23
- 7
- 21
- 6
- 29
- 6
- 13
- 8
- 83
- 10
- 6
- 23
- 7
- 9
- 6
- 16
- 31
- 9
- 14
- 6
- 12
- 9
- 7
- 10
- 6
- 21
- 9
- 6
- 9
- 30
- 10
- 6
- 7
- 14
- 13
- 19
- 6
- 19
- 23
- 20
- 10
- 23
- 7
- 7
- 11
- 9
- 6
- 12
- 9
- 14
- 30
- 8
- 12
- 44
- 35
- 8
- 9
- 6
- 9
- 10
- 7
- 21
- 10
- 6
- 7
- 6
- 7
- 10
- 6
- 10
- 10
- 9
- 9
- 6
- 12
- 9
- 27
- 8
- 6
- 6
- 6
- 11
- 10
- 12
- 9
- 15
- 11
- 7
- 43
- 13
- 12
- 8
- 7
- 8
- 6
- 20
- 7
- 6
- 7
- 15
- 8
- 7
- 10
- 7
- 9
- 11
- 7
- 104
- 6
- 17
- 8
- 8
- 10
- 7
- 9
- 20
- 8
- 7
- 6
- 7
- 10
- 12
- 57
- 23
- 21
- 7
- 8
- 16
- 9
- 12
- 7
- 6
- 8
- 10
- 6
- 8
- 7
- 10
- 9
- 6
- 8
- 7
- 8
- 6
- 8
- 8
- 15
- 61
- 8
- 8
- 8
- 20
- 10
- 9
- 23
- 16
- 7
- 6
- 6
- 13
- 7
- 16
- 19
- 19
- 11
- 18
- 9
- 8
- 12
- 28
- 15
- 9
- 10
- 16
- 7
- 10
- 7
- 25
- 6
- 13
- 15
- 16
- 6
- 13
- 11
- 9
- 18
- 8
- 18
- 8
- 10
- 20
- 9
- 25
- 9
- 10
- 13
- 6
- 13
- 7
- 6
- 16
- 17
- 12
- 10
- 7
- 6
- 7
- 23
- 6
- 9
- 8
- 9
- 6
- 7
- 13
- 31
- 7
- 17
- 8
- 11
- 25
- 7
- 11
- 8
- 11
- 122
- 11
- 10
- 7
- 32
- 9
- 12
- 24
- 11
- 9
- 6
- 12
- 16
- 11
- 28
- 8
- 122
- 6
- 62
- 13
- 12
- 11
- 120
- 29
- 6
- 19
- 8
- 14
- 8
- 14
- 15
- 20
- 15
- 12
- 7
- 6
- 6
- 6
- 10
- 11
- 12
- 10
- 120
- 7
- 9
- 15
- 27
- 12
- 16
- 11
- 6
- 12
- 26
- 16
- 13
- 10
- 8
- 10
- 7
- 12
- 10
- 31
- 11
- 7
- 6
- 13
- 6
- 6
- 7
- 12
- 15
- 6
- 35
- 9
- 6
- 7
- 6
- 7
- 9
- 15
- 10
- 10
- 8
- 11
- 13
- 19
- 44
- 12
- 9
- 11
- 7
- 25
- 12
- 6
- 12
- 8
- 16
- 12
- 9
- 9
- 11
- 6
- 49
- 9
- 43
- 7
- 15
- 9
- 13
- 9
- 12
- 13
- 6
- 9
- 26
- 7
- 10
- 8
- 7
- 11
- 12
- 21
- 8
- 23
- 33
- 6
- 6
- 7
- 8
- 15
- 7
- 32
- 12
- 18
- 34
- 71
- 12
- 20
- 24
- 9
- 15
- 8
- 11
- 20
- 22
- 17
- 9
- 9
- 71
- 25
- 15
- 10
- 8
- 16
- 20
- 12
- 17
- 9
- 15
- 14
- 8
- 6
- 16
- 15
- 10
- 9
- 15
- 6
- 120
- 6
- 12
- 6
- 13
- 20
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 17
- 13
- 6
- 10
- 41
- 7
- 11
- 9
- 7
- 18
- 9
- 19
- 21
- 11
- 15
- 28
- 9
- 6
- 21
- 7
- 25
- 10
- 15
- 8
- 8
- 11
- 9
- 9
- 9
- 10
- 9
- 7
- 32
- 7
- 18
- 8
- 12
- 6
- 10
- 8
- 10
- 7
- 10
- 7
- 15
- 13
- 10
- 7
- 23
- 7
- 14
- 17
- 7
- 11
- 32
- 12
- 6
- 20
- 6
- 6
- 6
- 7
- 28
- 8
- 13
- 6
- 6
- 13
- 10
- 9
- 23
- 7
- 9
- 7
- 8
- 59
- 13
- 7
- 7
- 7
- 29
- 60
- 22
- 78
- 6
- 21
- 6
- 6
- 9
- 9
- 9
- 6
- 43
- 9
- 8
- 23
- 25
- 21
- 10
- 13
- 6
- 14
- 15
- 7
- 29
- Verlag
-
- 1
- 11533
- 40
- 1512
- 1
- 14
- 4
- 3
- 131
- 1
- 1
- 2
- 43
- Preis
-
- 47
- 485
- 10486
- 2268
- Sprachen
-
- 13278
- 20
- 15
- Verfügbarkeit
-
- 13265
- 21
- Eigenschaften
-
- 10
- Katalog
-
- 13286
- 547
-
Campos / Minea Formal Methods: Foundations and Applications
24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-92136-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bae Rewriting Logic and Its Applications
14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers1. Auflage 2022Verlag: SpringerISBN: 978-3-031-12440-2Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Malenfant / Moisan / Moreira Object-Oriented Technology: ECOOP 2000 Workshop Reader
ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41513-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bäck / Preuss / Deutz Parallel Problem Solving from Nature - PPSN XVI
16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58111-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nieuwenhuis Rewriting Techniques and Applications
14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40254-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Feng / Jiang / Luo Edge Computing - EDGE 2023
7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings1. Auflage 2024Verlag: SpringerISBN: 978-3-031-51825-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Salomaa / Steinby Automata, Languages and Programming
Fourth Colloquium, University of Turku, Finnland, July 18-22, 19771. Auflage 1977Verlag: SpringerISBN: 978-3-540-08342-9Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kavun / Pehl Constructive Side-Channel Analysis and Secure Design
14th International Workshop, COSADE 2023, Munich, Germany, April 3-4, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-29496-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aiello / Chakraborty / Gaito Social Networks Analysis and Mining
16th International Conference, ASONAM 2024, Rende, Italy, September 2-5, 2024, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-78540-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Koutny / Desel / Kleijn Transactions on Petri Nets and Other Models of Concurrency XI
1. Auflage 2016Verlag: SpringerISBN: 978-3-662-53400-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Li / Lan / Chen Information Retrieval
31st China Conference, CCIR 2025, Shihezi, China, August 15-17, 2025, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-955636-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Saarinen / Smith-Tone Post-Quantum Cryptography
15th International Workshop, PQCrypto 2024, Oxford, UK, June 12-14, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-62745-3Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bertacco / Legay Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03076-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jamnik / Uesaka / Elzer Schwartz Diagrammatic Representation and Inference
9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-42332-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gottlob / Vardi Database Theory - ICDT '95
5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerMedium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Del Bimbo / Cucchiara / Sclaroff Pattern Recognition. ICPR International Workshops and Challenges
Virtual Event, January 10-15, 2021, Proceedings, Part V1. Auflage 2021Verlag: SpringerISBN: 978-3-030-68820-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cleaveland Tools and Algorithms for the Construction of Analysis of Systems
5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65703-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hameurlain / Küng / Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems IX
Erscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40068-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zuck / Attie / Cortesi Verification, Model Checking, and Abstract Interpretation
4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-00348-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gedeon / Wong / Lee Neural Information Processing
26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019, Proceedings, Part III1. Auflage 2019Verlag: SpringerISBN: 978-3-030-36717-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ghaffari / Nesterenko / Tixeuil Stabilization, Safety, and Security of Distributed Systems
21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-34991-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kraetzer / Shi / Dittmann Digital Forensics and Watermarking
16th International Workshop , IWDW 2017, Magdeburg, Germany, August 23-25, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-64184-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34025-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cornuejols / Burkard / Woeginger Integer Programming and Combinatorial Optimization
7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66019-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Knoop / Karl / Schulz Architecture of Computing Systems - ARCS 2017
30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-54998-9Medium: 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