Ergebnisse filtern
- Fachgebiet
- Medium
-
- 9478
- 1446
- 29
- 12
- Erscheinungsjahr
-
- 3
- 154
- 993
- 1229
- 569
- 413
- 351
- 392
- 368
- 426
- 310
- 434
- 291
- 429
- 397
- 504
- 245
- 511
- 231
- 251
- 260
- 222
- 255
- 224
- 220
- 180
- 162
- 120
- 109
- 97
- 79
- 81
- 71
- 59
- 68
- 38
- 55
- 35
- 24
- 14
- 13
- 7
- 7
- 4
- 6
- 6
- 1
- 3
- 4
- 1
- 2
- 1
- 2
- 1
- Autoren
-
- 6
- 6
- 4
- 4
- 3
- 3
- 4
- 8
- 14
- 3
- 3
- 4
- 9
- 10
- 3
- 3
- 4
- 10
- 5
- 3
- 9
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 8
- 3
- 5
- 3
- 3
- 6
- 4
- 4
- 4
- 3
- 8
- 3
- 4
- 5
- 7
- 4
- 3
- 3
- 3
- 4
- 5
- 3
- 6
- 4
- 3
- 5
- 4
- 3
- 3
- 7
- 4
- 4
- 7
- 8
- 6
- 10
- 3
- 7
- 3
- 3
- 4
- 3
- 5
- 3
- 9
- 23
- 3
- 15
- 5
- 5
- 7
- 4
- 4
- 3
- 4
- 6
- 8
- 4
- 4
- 4
- 4
- 7
- 3
- 3
- 8
- 4
- 4
- 3
- 3
- 5
- 3
- 6
- 3
- 3
- 4
- 4
- 4
- 6
- 4
- 3
- 4
- 21
- 3
- 5
- 3
- 4
- 3
- 3
- 7
- 3
- 7
- 4
- 3
- 6
- 3
- 3
- 12
- 8
- 4
- 4
- 4
- 4
- 3
- 5
- 3
- 4
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 10
- 3
- 3
- 4
- 9
- 3
- 3
- 5
- 20
- 3
- 4
- 4
- 13
- 3
- 3
- 3
- 4
- 6
- 3
- 15
- 3
- 4
- 16
- 7
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 8
- 3
- 3
- 3
- 9
- 4
- 3
- 10
- 18
- 4
- 7
- 16
- 4
- 5
- 4
- 3
- 3
- 3
- 3
- 6
- 7
- 8
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 15
- 7
- 5
- 3
- 3
- 3
- 11
- 7
- 3
- 6
- 4
- 12
- 5
- 3
- 4
- 13
- 9
- 4
- 4
- 9
- 3
- 3
- 7
- 4
- 3
- 3
- 3
- 18
- 4
- 4
- 4
- 3
- 5
- 3
- 4
- 3
- 3
- 6
- 6
- 4
- 3
- 6
- 3
- 33
- 4
- 3
- 9
- 3
- 5
- 3
- 4
- 3
- 7
- 7
- 4
- 5
- 3
- 4
- 8
- 4
- 3
- 3
- 6
- 3
- 5
- 3
- 5
- 7
- 3
- 6
- 4
- 8
- 6
- 5
- 12
- 3
- 9
- 4
- 4
- 12
- 3
- 4
- 7
- 5
- 4
- 4
- 3
- 4
- 3
- 4
- 9
- 6
- 3
- 3
- 8
- 9
- 3
- 4
- 11
- 3
- 6
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 5
- 3
- 5
- 3
- 4
- 4
- 3
- 5
- 3
- 4
- 6
- 3
- 5
- 3
- 3
- 10
- 4
- 4
- 4
- 6
- 4
- 7
- 4
- 3
- 6
- 6
- 3
- 4
- 4
- 7
- 7
- 3
- 3
- 3
- 5
- 3
- 9
- 5
- 3
- 3
- 5
- 5
- 3
- 4
- 4
- 4
- 3
- 3
- 4
- 8
- 6
- 3
- 6
- 3
- 3
- 4
- 4
- 4
- 4
- 5
- 3
- 5
- 15
- 5
- 3
- 3
- 4
- 4
- 3
- 4
- 4
- 3
- 3
- 4
- 13
- 5
- 7
- 3
- 10
- 6
- 3
- 3
- 3
- 8
- 10
- 7
- 3
- 7
- 3
- 3
- 3
- 9
- 3
- 3
- 5
- 7
- 14
- 4
- 3
- 16
- 3
- 5
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 10
- 3
- 4
- 4
- 3
- 5
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 5
- 6
- 3
- 3
- 5
- 9
- 3
- 3
- 5
- 3
- 3
- 3
- 5
- 28
- 23
- 3
- 4
- 3
- 4
- 4
- 8
- 3
- 3
- 4
- 4
- 3
- 6
- 10
- 3
- 3
- 5
- 3
- 9
- 4
- 13
- 5
- 3
- 5
- 4
- 3
- 3
- 18
- 3
- 3
- 4
- 6
- 5
- 4
- 3
- 17
- 5
- 4
- 3
- 3
- 16
- 6
- 11
- 3
- 6
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 7
- 12
- 3
- 6
- 6
- 4
- 6
- 26
- 7
- 5
- 9
- 3
- 3
- 4
- 6
- 4
- 3
- 7
- 4
- 3
- 9
- 6
- 8
- 8
- 4
- 3
- 38
- 4
- 6
- 10
- 3
- 3
- 7
- 3
- 13
- 4
- 3
- 5
- 4
- 5
- 9
- 4
- 5
- 13
- 4
- 5
- 5
- 4
- 3
- 4
- 5
- 7
- 14
- 5
- 6
- 5
- 18
- 4
- 4
- 4
- 8
- 4
- 10
- 6
- 6
- 8
- 8
- 5
- 6
- 5
- 6
- 8
- 8
- 8
- 4
- 6
- 4
- 5
- 10
- 9
- 5
- 4
- 8
- 7
- 10
- 10
- 4
- 8
- 10
- 5
- 9
- 9
- 9
- 5
- 5
- 4
- 7
- 4
- 4
- 19
- 5
- 4
- 4
- 4
- 11
- 5
- 4
- 7
- 6
- 6
- 6
- 6
- 4
- 9
- 4
- 7
- 4
- 4
- 7
- 4
- 4
- 4
- 8
- 8
- 7
- 8
- 15
- 5
- 5
- 10
- 8
- 6
- 9
- 4
- 7
- 6
- 7
- 4
- 10
- 7
- 11
- 5
- 4
- 11
- 9
- 7
- 61
- 4
- 14
- 4
- 4
- 7
- 5
- 9
- 12
- 5
- 6
- 6
- 12
- 12
- 17
- 6
- 16
- 4
- 6
- 11
- 4
- 24
- 6
- 7
- 7
- 5
- 10
- 12
- 32
- 4
- 4
- 4
- 4
- 4
- 6
- 9
- 7
- 10
- 15
- 7
- 4
- 6
- 6
- 4
- 6
- 4
- 21
- 27
- 5
- 4
- 4
- 4
- 5
- 20
- 11
- 4
- 6
- 4
- 8
- 5
- 5
- 7
- 7
- 4
- 13
- 7
- 12
- 11
- 4
- 28
- 9
- 6
- 4
- 7
- 5
- 4
- 4
- 4
- 4
- 5
- 4
- 6
- 7
- 4
- 17
- 4
- 6
- 8
- 5
- 5
- 13
- 6
- 7
- 4
- 7
- 4
- 6
- 7
- 6
- 4
- 9
- 4
- 4
- 6
- 7
- 4
- 5
- 4
- 21
- 17
- 4
- 4
- 8
- 5
- 7
- 7
- 6
- 6
- 9
- 5
- 8
- 8
- 5
- 10
- 10
- 5
- 4
- 8
- 5
- 5
- 14
- 7
- 7
- 4
- 11
- 10
- 6
- 6
- 9
- 4
- 20
- 13
- 5
- 4
- 9
- 5
- 5
- 5
- 8
- 7
- 4
- 4
- 6
- 10
- 4
- 5
- 7
- 4
- 8
- 5
- 4
- 9
- 8
- 4
- 4
- 7
- 5
- 23
- 10
- 9
- 5
- 4
- 4
- 7
- 15
- 5
- 4
- 4
- 4
- 24
- 5
- 8
- 4
- 7
- 4
- 5
- 4
- 7
- 6
- 4
- 10
- 9
- 4
- 4
- 4
- 5
- 5
- 4
- 8
- 10
- 5
- 7
- 5
- 4
- 4
- 6
- 16
- 6
- 6
- 35
- 44
- 12
- 14
- 9
- 12
- 27
- 6
- 8
- 4
- 9
- 9
- 13
- 6
- 4
- 4
- 5
- 6
- 12
- 7
- 42
- 5
- 5
- 5
- 8
- 4
- 4
- 5
- 9
- 20
- 7
- 5
- 7
- 6
- 33
- 4
- 6
- 5
- 8
- 10
- 4
- 9
- 10
- 10
- 6
- 12
- 4
- 8
- 5
- 4
- 6
- 11
- 6
- 8
- 6
- 10
- 4
- 4
- 7
- 4
- 9
- 9
- 14
- 11
- 6
- 10
- 13
- 4
- 7
- 9
- 8
- 6
- 12
- 4
- 7
- 4
- 5
- 6
- 11
- 4
- 4
- 4
- 4
- 5
- 5
- 15
- 14
- 5
- 11
- 4
- 8
- 19
- 4
- 6
- 12
- 18
- 5
- 9
- 6
- 4
- 7
- 4
- 9
- 7
- 7
- 18
- 6
- 12
- 4
- 4
- 12
- 5
- 5
- 5
- 9
- 4
- 6
- 21
- 4
- 7
- 4
- 4
- 10
- 7
- 4
- 4
- 6
- 7
- 9
- 7
- Verlag
-
- 2
- 3
- 8
- 5
- 1
- 3
- 1
- 51
- 6
- 454
- 1
- 1
- 18
- 3
- 8
- 3
- 282
- 2
- 1
- 12
- 4
- 1
- 3
- 3
- 3
- 41
- 1
- 83
- 216
- 4
- 474
- 1142
- 15
- 1
- 1
- 51
- 95
- 1
- 3
- 1
- 4
- 57
- 34
- 1
- 5
- 25
- 1
- 4
- 3
- 20
- 5
- 39
- 4
- 1
- 1
- 1
- 1
- 2
- 25
- 1
- 4
- 1
- 1
- 33
- 1
- 1
- 1
- 1
- 8
- 11
- 2
- 5
- 3
- 26
- 2
- 6
- 1
- 1
- 17
- 2
- 1
- 13
- 1
- 5
- 1
- 2
- 2
- 2
- 1
- 3
- 2
- 3
- 3
- 11
- 1
- 3
- 13
- 1
- 2
- 1
- 2
- 8
- 1
- 1
- 1
- 1
- 3
- 2
- 15
- 1
- 5
- 28
- 22
- 37
- 1
- 1
- 1
- 2
- 16
- 1
- 5732
- 152
- 2
- 201
- 1
- 2
- 1
- 40
- 11
- 45
- 1
- 127
- 145
- 12
- 22
- 1
- 1
- 1
- 307
- 34
- 116
- 11
- 1
- 1
- 24
- 6
- 1
- 1
- 4
- 1
- 86
- 1
- 5
- 2
- 1
- 196
- 2
- 11
- 1
- 1
- 23
- 37
- 1
- 1
- 2
- 2
- Preis
-
- 352
- 1864
- 5253
- 3496
- Sprachen
-
- 10043
- 932
- 2
- Verfügbarkeit
-
- 10838
- 127
- Eigenschaften
-
- 10
- 4
- Katalog
-
- 10965
- 1729
-
Fitzgerald / Heitmeyer / Gnesi FM 2016: Formal Methods
21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48988-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
D'Souza / Narayan Kumar Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68166-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dutle / Muñoz / Narkawicz NASA Formal Methods
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-77934-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wyrzykowski / Deelman / Dongarra Parallel Processing and Applied Mathematics
11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I1. Auflage 2016Verlag: SpringerISBN: 978-3-319-32148-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Papajorgji / Pardalos Software Engineering Techniques Applied to Agricultural Systems
An Object-Oriented and UML Approach2. Auflage 2014Verlag: SpringerISBN: 978-1-4899-7462-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kim / Joukov Information Science and Applications (Icisa) 2016
Softcover Nachdruck of the Original 1. 2016 Auflage 2018Verlag: SpringerISBN: 978-981-10-9192-6Medium: Buch316,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen316,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Cesare / Xiang Software Similarity and Classification
1. Auflage 2012Verlag: SpringerISBN: 978-1-4471-2908-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gonthier / Norrish Certified Programs and Proofs
Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03544-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tremblay / VanderMeer / Rothenberger Advancing the Impact of Design Science: Moving from Theory to Practice
9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-06700-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bauer / Großmann / Seehusen Risk Assessment and Risk-Driven Testing
First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07075-9Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jarke / Mylopoulos / Quix Advanced Information Systems Engineering
26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07880-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Klusácek / Klusácek / Cirne Job Scheduling Strategies for Parallel Processing
24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers1. Auflage 2021Verlag: SpringerISBN: 978-3-030-88223-5Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Caltais / Schilling Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-32156-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Silva / Leino Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I1. Auflage 2021Verlag: SpringerISBN: 978-3-030-81684-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shoham / Vizel Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I1. Auflage 2022Verlag: SpringerISBN: 978-3-031-13184-4Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jongmans / Lopes Coordination Models and Languages
25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35360-4Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fernández / Poskitt Graph Transformation
16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-36708-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Prevosto / Seceleanu Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-38827-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sattler / Suda Frontiers of Combining Systems
14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-43368-9Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Francisci Morales / Perlich / Ruchansky Machine Learning and Knowledge Discovery in Databases: Applied Data Science and Demo Track
European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part VII1. Auflage 2023Verlag: SpringerISBN: 978-3-031-43429-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Beyer / Cavalcanti Fundamental Approaches to Software Engineering
27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-57258-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Loulergue / Wotawa Tests and Proofs
15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-79378-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Xia / Zhang Services - SERVICES 2019
15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23380-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marcus / Wang Design, User Experience, and Usability. Practice and Case Studies
8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part IV1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23534-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lee Software Engineering Research, Management and Applications
1. Auflage 2020Verlag: SpringerISBN: 978-3-030-24343-2Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage171,19 € (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