Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10649
- 5303
- Erscheinungsjahr
-
- 98
- 1012
- 1061
- 789
- 662
- 428
- 409
- 468
- 470
- 432
- 449
- 429
- 415
- 424
- 442
- 454
- 417
- 535
- 486
- 593
- 557
- 521
- 723
- 1381
- 267
- 263
- 191
- 178
- 154
- 149
- 146
- 129
- 112
- 97
- 74
- 86
- 60
- 60
- 45
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 5
- Autoren
-
- 6
- 6
- 6
- 10
- 9
- 6
- 6
- 11
- 7
- 9
- 8
- 14
- 6
- 14
- 8
- 10
- 23
- 9
- 33
- 10
- 6
- 10
- 9
- 8
- 11
- 12
- 13
- 30
- 39
- 9
- 62
- 10
- 8
- 7
- 7
- 10
- 16
- 6
- 20
- 6
- 12
- 7
- 8
- 12
- 50
- 10
- 6
- 8
- 7
- 11
- 10
- 7
- 8
- 6
- 14
- 9
- 6
- 15
- 7
- 11
- 6
- 7
- 15
- 9
- 9
- 12
- 7
- 28
- 13
- 20
- 12
- 7
- 7
- 16
- 11
- 9
- 31
- 16
- 6
- 11
- 6
- 45
- 7
- 6
- 6
- 28
- 24
- 6
- 7
- 17
- 7
- 9
- 11
- 7
- 9
- 10
- 15
- 12
- 11
- 6
- 6
- 6
- 6
- 18
- 7
- 6
- 17
- 9
- 20
- 10
- 18
- 8
- 7
- 6
- 10
- 7
- 12
- 50
- 22
- 14
- 10
- 8
- 13
- 6
- 12
- 13
- 8
- 8
- 19
- 8
- 15
- 7
- 18
- 11
- 10
- 18
- 11
- 6
- 15
- 8
- 27
- 11
- 23
- 6
- 19
- 6
- 11
- 8
- 6
- 9
- 9
- 13
- 13
- 7
- 11
- 37
- 10
- 46
- 15
- 11
- 28
- 6
- 23
- 9
- 11
- 28
- 7
- 13
- 46
- 14
- 16
- 13
- 8
- 6
- 8
- 12
- 6
- 6
- 11
- 24
- 11
- 10
- 7
- 50
- 7
- 9
- 11
- 9
- 8
- 19
- 7
- 6
- 7
- 8
- 12
- 7
- 10
- 13
- 11
- 19
- 6
- 9
- 7
- 7
- 7
- 16
- 10
- 8
- 12
- 7
- 6
- 14
- 12
- 9
- 10
- 7
- 6
- 7
- 7
- 11
- 20
- 9
- 28
- 13
- 17
- 9
- 6
- 12
- 6
- 6
- 13
- 18
- 27
- 7
- 13
- 11
- 6
- 15
- 11
- 6
- 9
- 6
- 14
- 6
- 10
- 15
- 6
- 7
- 8
- 10
- 18
- 13
- 8
- 13
- 10
- 7
- 64
- 63
- 8
- 30
- 8
- 17
- 6
- 16
- 9
- 34
- 20
- 6
- 6
- 6
- 11
- 28
- 12
- 6
- 7
- 17
- 13
- 12
- 6
- 12
- 7
- 6
- 32
- 19
- 55
- 8
- 10
- 19
- 12
- 7
- 6
- 13
- 6
- 24
- 7
- 6
- 18
- 9
- 7
- 6
- 7
- 7
- 9
- 10
- 8
- 7
- 6
- 8
- 10
- 25
- 21
- 9
- 8
- 6
- 8
- 6
- 6
- 14
- 10
- 10
- 8
- 12
- 6
- 11
- 6
- 6
- 12
- 6
- 6
- 22
- 7
- 19
- 77
- 8
- 6
- 30
- 8
- 36
- 10
- 23
- 34
- 7
- 135
- 6
- 14
- 15
- 10
- 8
- 22
- 6
- 13
- 8
- 8
- 7
- 6
- 26
- 14
- 8
- 13
- 6
- 12
- 6
- 14
- 10
- 6
- 19
- 23
- 6
- 9
- 10
- 7
- 9
- 8
- 6
- 9
- 11
- 18
- 7
- 7
- 7
- 60
- 12
- 11
- 8
- 7
- 8
- 8
- 7
- 29
- 14
- 8
- 10
- 22
- 50
- 9
- 10
- 11
- 21
- 10
- 16
- 6
- 10
- 12
- 8
- 11
- 7
- 7
- 7
- 6
- 7
- 6
- 18
- 21
- 7
- 11
- 6
- 8
- 10
- 10
- 7
- 8
- 100
- 7
- 6
- 8
- 8
- 7
- 9
- 9
- 6
- 11
- 9
- 7
- 6
- 12
- 21
- 8
- 16
- 10
- 6
- 10
- 12
- 26
- 13
- 14
- 7
- 11
- 6
- 10
- 22
- 15
- 14
- 11
- 13
- 7
- 14
- 7
- 17
- 8
- 7
- 14
- 9
- 7
- 24
- 8
- 12
- 10
- 7
- 9
- 7
- 14
- 18
- 7
- 11
- 14
- 15
- 9
- 10
- 38
- 7
- 9
- 8
- 8
- 9
- 31
- 7
- 25
- 43
- 9
- 7
- 10
- 9
- 21
- 8
- 12
- 38
- 16
- 8
- 16
- 9
- 7
- 7
- 11
- 19
- 10
- 13
- 20
- 13
- 21
- 40
- 9
- 19
- 19
- 28
- 8
- 11
- 14
- 8
- 14
- 12
- 13
- 41
- 27
- 48
- 50
- 8
- 8
- 18
- 7
- 7
- 17
- 7
- 12
- 9
- 9
- 9
- 13
- 14
- 11
- 7
- 7
- 16
- 88
- 23
- 24
- 7
- 22
- 8
- 8
- 25
- 7
- 12
- 9
- 21
- 9
- 8
- 10
- 15
- 16
- 9
- 12
- 15
- 23
- 18
- 7
- 16
- 9
- 24
- 8
- 10
- 28
- 7
- 7
- 17
- 75
- 12
- 8
- 24
- 10
- 7
- 16
- 28
- 7
- 11
- 11
- 21
- 7
- 10
- 7
- 7
- 20
- 15
- 9
- 23
- 7
- 7
- 7
- 19
- 25
- 17
- 21
- 16
- 20
- 10
- 19
- 9
- 11
- 11
- 13
- 7
- 19
- 14
- 8
- 34
- 10
- 39
- 36
- 9
- 15
- 11
- 7
- 9
- 12
- 9
- 12
- 31
- 10
- 7
- 13
- 8
- 7
- 12
- 12
- 7
- 7
- 23
- 9
- 26
- 14
- 7
- 10
- 7
- 11
- 8
- 8
- 20
- 10
- 11
- 11
- 9
- 56
- 7
- 14
- 14
- 12
- 10
- 8
- 7
- 11
- 9
- 8
- 25
- 7
- 11
- 14
- 14
- 13
- 8
- 15
- 8
- 117
- 16
- 8
- 10
- 13
- 16
- 13
- 17
- 10
- 11
- 12
- 13
- 7
- 58
- 16
- 18
- 12
- 8
- 11
- 7
- 14
- 12
- 11
- 11
- 10
- 7
- 7
- 17
- 19
- 7
- 9
- 11
- 11
- 9
- 16
- 13
- 14
- 51
- 12
- 7
- 25
- 14
- 8
- 10
- 28
- 18
- 10
- 8
- 11
- 7
- 20
- 20
- 21
- 20
- 10
- 7
- 36
- 7
- 25
- 7
- 15
- 13
- 7
- 7
- 31
- 7
- 18
- 12
- 31
- 10
- 7
- 13
- 12
- 7
- 7
- 21
- 8
- 19
- 17
- 7
- 14
- 7
- 7
- 7
- 27
- 9
- 15
- 7
- 12
- 9
- 21
- 18
- 21
- 9
- 13
- 7
- 16
- 7
- 11
- 7
- 12
- 8
- 15
- 37
- 17
- 7
- 14
- 8
- 9
- 21
- 7
- 16
- 110
- 9
- 9
- 7
- 39
- 15
- 11
- 13
- 29
- 18
- 13
- 17
- 14
- 26
- 9
- 114
- 81
- 13
- 11
- 7
- 109
- 26
- 7
- 17
- 10
- 12
- 12
- 26
- 19
- 7
- 8
- 7
- 14
- 110
- 7
- 24
- 12
- 13
- 9
- 9
- 23
- 19
- 18
- 7
- 8
- 8
- 8
- 8
- 27
- 16
- 10
- 7
- 14
- 8
- 7
- 7
- 9
- 32
- 11
- 11
- 7
- 8
- 14
- 7
- 27
- 21
- 56
- 19
- 9
- 25
- 15
- 8
- 22
- 13
- 18
- 10
- 14
- 7
- 50
- 58
- 25
- 10
- 18
- 13
- 10
- 10
- 27
- 9
- 14
- 20
- 25
- 31
- 10
- 8
- 7
- 16
- 30
- 23
- 20
- 31
- 86
- 13
- 23
- 36
- 7
- 12
- 9
- 24
- 30
- 11
- 71
- 27
- 14
- 7
- 10
- 10
- 25
- 15
- 8
- 10
- 7
- 7
- 9
- 19
- 7
- 7
- 12
- 14
- 10
- 14
- 10
- 22
- 17
- 109
- 9
- 15
- 7
- 20
- 7
- 8
- 31
- 17
- 7
- 8
- 51
- 9
- 9
- 7
- 14
- 12
- 11
- 10
- 15
- 17
- 7
- 14
- 14
- 26
- 9
- 11
- 7
- 30
- 10
- 9
- 13
- 10
- 8
- 32
- 8
- 20
- 13
- 11
- 11
- 13
- 14
- 9
- 18
- 7
- 7
- 30
- 23
- 15
- 34
- 16
- 9
- 11
- 13
- 14
- 10
- 7
- 57
- 11
- 8
- 30
- 8
- 7
- 58
- 20
- 90
- 7
- 25
- 11
- 7
- 12
- 7
- 36
- 8
- 25
- 33
- 23
- 9
- 7
- 18
- 15
- 7
- 11
- 10
- 27
- Verlag
-
- 8
- 13871
- 300
- 1582
- 2
- 50
- 99
- 1
- 39
- Preis
-
- 50
- 493
- 12992
- 2417
- Sprachen
-
- 15942
- 24
- 17
- 1
- Verfügbarkeit
-
- 15934
- 18
- Eigenschaften
-
- 13
- Katalog
-
- 15952
- 584
-
Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems
31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-90652-7Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Diehl / Cao / Herault Asynchronous Many-Task Systems and Applications
Third International Workshop, WAMTA 2025, St. Louis, MO, USA, February 19-21, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-97195-2Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Coppens / Volckaert / Naessens Availability, Reliability and Security
ARES 2025 International Workshops, Ghent, Belgium, August 11-14, 2025, Proceedings, Part IVErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-00638-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage70,61 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage
-
Jin / Zanibbi / Eglin Document Analysis and Recognition - ICDAR 2025 Workshops
Wuhan, China, September 20-21, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-09367-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ferreira Mello / Rummel / Jivet Technology Enhanced Learning for Inclusive and Equitable Quality Education
19th European Conference on Technology Enhanced Learning, EC-TEL 2024, Krems, Austria, September 16-20, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-3-031-72314-8Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ábrahám / Abbas Runtime Verification
24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-74233-0Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Marcus / Rosenzweig / Soares Design, User Experience, and Usability
13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV2024Verlag: SpringerISBN: 978-3-031-61358-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Marcus / Rosenzweig / Soares Design, User Experience, and Usability
13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V2024Verlag: SpringerISBN: 978-3-031-61361-6Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Brunetti / Frosini / Rinaldi Discrete Geometry and Mathematical Morphology
Third International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-57792-5Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Vygen / Byrka Integer Programming and Combinatorial Optimization
25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-59834-0Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rau Cross-Cultural Design
16th International Conference, CCD 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-60900-8Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rannenberg / Drogkaris / Lauradoux Privacy Technologies and Policy
11th Annual Privacy Forum, APF 2023, Lyon, France, June 1-2, 2023, Proceedings2024Verlag: SpringerISBN: 978-3-031-61088-2Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Meier / Ortiz Foundations of Information and Knowledge Systems
13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-56939-5Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Benz / Gopinath / Shi NASA Formal Methods
16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-60697-7Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Foster / Sampaio The Application of Formal Methods
Essays Dedicated to Jim Woodcock on the Occasion of His Retirement2024Verlag: SpringerISBN: 978-3-031-67113-5Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cheng / Pedaste / Bardone Innovative Technologies and Learning
7th International Conference, ICITL 2024, Tartu, Estonia, August 14-16, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-65883-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ogata / Martí-Oliet Rewriting Logic and Its Applications
15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-65940-9Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Aldini Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-66020-7Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Reynolds / Tasiran Verified Software. Theories, Tools and Experiments
15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-66063-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Tekinerdogan / Tekinerdogan / Spalazzese Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium
Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-66325-3Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Santos / Álvarez / Hernández-Leo Collaboration Technologies and Social Computing
30th International Conference, CollabTech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-67997-1Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
ter Beek / Teixeira Formal Methods: Foundations and Applications
28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-12085-4Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (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 IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-12286-5Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (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 IVErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-12289-6Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (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 IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-12292-6Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (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
