Ergebnisse filtern
- Fachgebiet
- Medium
-
- 8671
- 1009
- 31
- 13
- Erscheinungsjahr
-
- 1
- 42
- 662
- 632
- 484
- 443
- 423
- 428
- 535
- 313
- 458
- 297
- 429
- 380
- 491
- 244
- 502
- 249
- 253
- 259
- 216
- 259
- 220
- 222
- 181
- 157
- 122
- 110
- 95
- 78
- 81
- 71
- 59
- 67
- 39
- 55
- 35
- 24
- 14
- 13
- 7
- 7
- 4
- 6
- 6
- 1
- 3
- 4
- 1
- 2
- 1
- 2
- 1
- Autoren
-
- 6
- 3
- 3
- 4
- 8
- 14
- 3
- 3
- 9
- 3
- 4
- 4
- 10
- 4
- 3
- 6
- 5
- 4
- 8
- 3
- 5
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 8
- 3
- 4
- 5
- 3
- 7
- 4
- 3
- 3
- 3
- 4
- 5
- 3
- 6
- 4
- 5
- 3
- 3
- 3
- 5
- 4
- 4
- 7
- 6
- 10
- 6
- 3
- 9
- 20
- 3
- 5
- 5
- 7
- 4
- 4
- 3
- 4
- 6
- 9
- 4
- 4
- 4
- 6
- 3
- 7
- 4
- 4
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 4
- 3
- 6
- 4
- 4
- 18
- 3
- 4
- 3
- 4
- 3
- 7
- 7
- 4
- 3
- 3
- 3
- 3
- 12
- 8
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 9
- 4
- 9
- 3
- 3
- 5
- 17
- 3
- 4
- 4
- 11
- 3
- 3
- 3
- 4
- 6
- 3
- 13
- 3
- 16
- 7
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 4
- 8
- 3
- 4
- 9
- 4
- 3
- 10
- 17
- 4
- 5
- 17
- 4
- 3
- 3
- 3
- 3
- 6
- 7
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 12
- 7
- 5
- 3
- 3
- 11
- 7
- 6
- 4
- 12
- 4
- 3
- 4
- 13
- 7
- 4
- 4
- 4
- 3
- 3
- 7
- 4
- 3
- 3
- 17
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 6
- 6
- 4
- 4
- 4
- 5
- 32
- 4
- 3
- 8
- 3
- 5
- 4
- 3
- 7
- 6
- 4
- 5
- 3
- 4
- 7
- 3
- 3
- 6
- 3
- 7
- 3
- 6
- 8
- 6
- 10
- 3
- 3
- 4
- 4
- 12
- 3
- 4
- 7
- 5
- 4
- 4
- 3
- 4
- 4
- 9
- 5
- 3
- 3
- 8
- 8
- 3
- 3
- 12
- 4
- 3
- 6
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 5
- 3
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 10
- 4
- 4
- 4
- 6
- 4
- 5
- 4
- 3
- 6
- 3
- 3
- 3
- 7
- 7
- 3
- 3
- 3
- 9
- 4
- 3
- 3
- 5
- 5
- 4
- 4
- 4
- 3
- 4
- 8
- 6
- 4
- 5
- 3
- 4
- 4
- 4
- 3
- 5
- 14
- 4
- 3
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 13
- 4
- 6
- 9
- 6
- 3
- 8
- 10
- 6
- 3
- 7
- 3
- 3
- 4
- 9
- 3
- 3
- 4
- 7
- 4
- 3
- 12
- 3
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 8
- 3
- 4
- 4
- 3
- 5
- 4
- 4
- 3
- 3
- 3
- 5
- 4
- 6
- 3
- 3
- 5
- 8
- 3
- 3
- 5
- 3
- 3
- 3
- 5
- 27
- 19
- 3
- 4
- 4
- 4
- 8
- 3
- 4
- 4
- 3
- 6
- 3
- 10
- 3
- 5
- 3
- 9
- 4
- 13
- 5
- 3
- 3
- 4
- 3
- 16
- 6
- 5
- 5
- 3
- 4
- 18
- 3
- 4
- 5
- 3
- 4
- 4
- 20
- 5
- 11
- 3
- 4
- 4
- 6
- 6
- 3
- 3
- 4
- 3
- 4
- 5
- 3
- 3
- 6
- 3
- 13
- 3
- 6
- 7
- 4
- 3
- 6
- 24
- 6
- 6
- 3
- 11
- 5
- 3
- 5
- 3
- 4
- 4
- 3
- 5
- 5
- 3
- 5
- 6
- 7
- 3
- 3
- 3
- 4
- 4
- 3
- 5
- 5
- 3
- 3
- 3
- 9
- 3
- 3
- 3
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 5
- 3
- 3
- 3
- 4
- 3
- 3
- 11
- 3
- 7
- 3
- 36
- 3
- 4
- 9
- 5
- 3
- 3
- 8
- 3
- 11
- 3
- 3
- 4
- 3
- 6
- 10
- 4
- 4
- 12
- 5
- 5
- 4
- 3
- 3
- 4
- 5
- 7
- 12
- 6
- 5
- 16
- 4
- 4
- 4
- 8
- 4
- 3
- 10
- 6
- 6
- 8
- 8
- 4
- 3
- 3
- 6
- 3
- 3
- 6
- 6
- 4
- 8
- 3
- 4
- 6
- 3
- 4
- 4
- 3
- 4
- 9
- 8
- 5
- 3
- 7
- 10
- 3
- 3
- 4
- 3
- 8
- 6
- 3
- 4
- 9
- 3
- 3
- 3
- 4
- 7
- 5
- 4
- 18
- 4
- 4
- 4
- 11
- 5
- 4
- 3
- 5
- 5
- 5
- 6
- 3
- 4
- 4
- 4
- 9
- 4
- 6
- 4
- 4
- 4
- 3
- 4
- 3
- 8
- 7
- 8
- 12
- 5
- 10
- 3
- 8
- 6
- 10
- 4
- 8
- 6
- 7
- 4
- 10
- 3
- 3
- 3
- 4
- 11
- 5
- 57
- 3
- 4
- 14
- 4
- 7
- 3
- 5
- 8
- 3
- 3
- 9
- 3
- 3
- 4
- 3
- 7
- 7
- 14
- 6
- 14
- 4
- 6
- 3
- 3
- 4
- 24
- 6
- 7
- 4
- 3
- 7
- 3
- 12
- 32
- 4
- 3
- 3
- 4
- 4
- 4
- 7
- 9
- 5
- 4
- 15
- 7
- 4
- 5
- 6
- 4
- 3
- 5
- 5
- 3
- 19
- 26
- 3
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 18
- 11
- 6
- 4
- 8
- 3
- 7
- 3
- 7
- 3
- 4
- 14
- 3
- 7
- 12
- 8
- 25
- 3
- 8
- 6
- 3
- 4
- 7
- 5
- 4
- 4
- 5
- 4
- 3
- 6
- 7
- 4
- 12
- 3
- 4
- 6
- 8
- 5
- 5
- 11
- 6
- 4
- 7
- 4
- 6
- 6
- 4
- 9
- 4
- 4
- 7
- 5
- 3
- 3
- 3
- 4
- 18
- 10
- 4
- 4
- 3
- 5
- 6
- 3
- 7
- 6
- 3
- 9
- 3
- 5
- 5
- 5
- 10
- 10
- 4
- 8
- 5
- 5
- 13
- 3
- 7
- 4
- 3
- 11
- 7
- 3
- 9
- 16
- 11
- 5
- 3
- 4
- 9
- 5
- 8
- 7
- 4
- 4
- 6
- 10
- 3
- 5
- 7
- 3
- 7
- 8
- 4
- 4
- 3
- 7
- 22
- 6
- 9
- 5
- 4
- 4
- 7
- 3
- 3
- 16
- 5
- 4
- 4
- 4
- 22
- 5
- 3
- 3
- 8
- 4
- 5
- 4
- 5
- 4
- 3
- 7
- 6
- 10
- 9
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 3
- 8
- 9
- 5
- 7
- 5
- 4
- 4
- 3
- 3
- 15
- 6
- 4
- 3
- 22
- 31
- 12
- 7
- 9
- 12
- 23
- 6
- 6
- 9
- 17
- 3
- 6
- 3
- 4
- 3
- 5
- 7
- 8
- 7
- 37
- 5
- 4
- 5
- 3
- 4
- 3
- 4
- 4
- 4
- 9
- 20
- 3
- 3
- 5
- 3
- 3
- 3
- 6
- 8
- 31
- 4
- 7
- 7
- 4
- 8
- 10
- 4
- 8
- 3
- 4
- 8
- 3
- 3
- 4
- 3
- 3
- 6
- 11
- 5
- 8
- 3
- 6
- 10
- 4
- 3
- 4
- 7
- 4
- 3
- 3
- 14
- 8
- 9
- 13
- 4
- 7
- 3
- 9
- 7
- 7
- 7
- 4
- 5
- 3
- 5
- 11
- 3
- 3
- 4
- 4
- 4
- 3
- 5
- 5
- 13
- 14
- 5
- 9
- 4
- 8
- 19
- 4
- 4
- 12
- 18
- 5
- 9
- 6
- 7
- 4
- 9
- 7
- 8
- 18
- 6
- 7
- 4
- 12
- 5
- 7
- 4
- 4
- 11
- 4
- 7
- 4
- 7
- 4
- 4
- 6
- 7
- 9
- 5
- Verlag
-
- 2
- 8
- 5
- 1
- 33
- 11
- 383
- 5
- 1
- 18
- 1
- 6
- 4
- 4
- 106
- 2
- 1
- 1
- 12
- 3
- 3
- 3
- 42
- 1
- 1
- 81
- 58
- 4
- 370
- 727
- 15
- 1
- 7
- 1
- 16
- 95
- 3
- 3
- 5
- 46
- 30
- 5
- 1
- 25
- 1
- 1
- 3
- 3
- 13
- 5
- 43
- 4
- 1
- 1
- 3
- 27
- 1
- 4
- 1
- 27
- 1
- 1
- 1
- 5
- 28
- 2
- 1
- 3
- 3
- 25
- 7
- 3
- 2
- 1
- 2
- 26
- 5
- 1
- 2
- 2
- 1
- 3
- 3
- 1
- 6
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 8
- 1
- 4
- 24
- 17
- 22
- 1
- 1
- 1
- 2
- 2
- 15
- 2
- 2069
- 1467
- 12
- 1396
- 5
- 2
- 1
- 125
- 399
- 109
- 1
- 85
- 355
- 22
- 1
- 30
- 1
- 1
- 1
- 236
- 39
- 206
- 259
- 1
- 1
- 3
- 24
- 2
- 1
- 5
- 1
- 86
- 1
- 2
- 1
- 161
- 2
- 11
- 1
- 1
- 21
- 33
- 1
- 1
- 2
- 2
- Preis
-
- 256
- 1427
- 4869
- 3172
- Sprachen
-
- 8872
- 859
- 2
- Verfügbarkeit
-
- 9556
- 168
- Eigenschaften
-
- 5
- Katalog
-
- 9724
- 1582
-
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: Springer Nature SwitzerlandISBN: 978-3-031-66020-7Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Posegga / Rios Security and Trust Management
19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-47197-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Valencia-García / Bucaram-Leverone / Jácome-Murillo Technologies and Innovation
8th International Conference, CITI 2022, Guayaquil, Ecuador, November 14¿17, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-19960-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Botto-Tobar / Zamora / Santamaría Philco Systems and Information Sciences
Proceedings of ICCIS 20201. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-59193-9Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Neapolitan / Jiang Contemporary Artificial Intelligence, Second Edition
With an Introduction to Machine Learning, Second Edition2. Auflage 2018Verlag: Taylor & FrancisISBN: 978-1-351-38439-1Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation
10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17¿29, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-89158-9Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Huang / Si / Zhang Advanced Intelligent Computing Technology and Applications
20th International Conference, ICIC 2024, Tianjin, China, August 5¿8, 2024, Proceedings, Part IV2024Verlag: Springer Nature SingaporeISBN: 978-981-97-5671-1Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Huang / Pan / Zhang Advanced Intelligent Computing Technology and Applications
20th International Conference, ICIC 2024, Tianjin, China, August 5¿8, 2024, Proceedings, Part II2024Verlag: Springer Nature SingaporeISBN: 978-981-97-5665-0Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Huang / Zisman / Gotel Software and Systems Traceability
2012Verlag: SpringerISBN: 978-1-4471-5819-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20¿30, 2020, Proceedings, Part I1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-61361-7Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Schilling / Caltais Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26¿27, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-32156-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Collard Reasoning About Program Transformations
Imperative Programming and Flow of DataSoftcover Nachdruck of the original 1. Auflage 2003Verlag: SpringerISBN: 978-1-4419-2981-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Ampatzoglou / Tucci / Pérez Software Architecture. ECSA 2024 Tracks and Workshops
Luxembourg City, Luxembourg, September 3¿6, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-70945-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Sampaio / Foster The Application of Formal Methods
Essays Dedicated to Jim Woodcock on the Occasion of His Retirement2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-67113-5Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Santos / Álvarez / Zurita Collaboration Technologies and Social Computing
30th International Conference, CollabTech 2024, Barcelona, Spain, September 11¿14, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-67997-1Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Crotts Learning Java
A Test-Driven Approach2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-66637-7Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Tasiran / Reynolds Verified Software. Theories, Tools and Experiments
15th International Conference, VSTTE 2023, Ames, IA, USA, October 23¿24, 2023, Revised Selected Papers2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-66063-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Verma / Woungang / Pattanaik Advanced Network Technologies and Intelligent Computing
Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part III2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-64069-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Tekinerdogan / Tekinerdogan / Spalazzese Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium
Istanbul, Turkey, September 18¿22, 2023, Revised Selected Papers2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-66325-3Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Reese / Frischkorn / Kebriaei Computational Modelling in Production and Medical Technology
State of the Art and Visions2015Verlag: Verlag Ferdinand SchöninghISBN: 978-3-506-78189-5Medium: Buch19,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage19,90 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Xiang / Cesare Software Similarity and Classification
2012Verlag: SpringerISBN: 978-1-4471-2908-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Barbier Business Component-Based Software Engineering
2003Verlag: Springer USISBN: 978-1-4613-5429-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Willemse / Peters Formal Techniques for Distributed Objects, Components, and Systems
41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14¿18, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-78088-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Leino / Silva Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20¿23, 2021, Proceedings, Part I1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-81684-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Gruner / Roggenbach / Kumar On the Construction of Engineering Handbooks
with an Illustration from the Railway Safety Domain1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-44647-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
