Ergebnisse filtern
- Fachgebiet
- Medium
-
- 8666
- 1009
- 31
- 13
- Erscheinungsjahr
-
- 1
- 38
- 661
- 631
- 485
- 442
- 424
- 428
- 535
- 313
- 458
- 296
- 430
- 380
- 491
- 244
- 502
- 249
- 253
- 259
- 216
- 259
- 220
- 222
- 182
- 156
- 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
- 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
- 3
- 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
- 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
- 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
- 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
- 3
- 4
- 4
- 12
- 18
- 5
- 9
- 6
- 3
- 7
- 4
- 9
- 7
- 8
- 3
- 18
- 3
- 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
- 41
- 1
- 1
- 1
- 81
- 58
- 4
- 372
- 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
- 5
- 27
- 1
- 4
- 1
- 27
- 1
- 1
- 5
- 29
- 2
- 1
- 3
- 3
- 25
- 7
- 3
- 2
- 1
- 2
- 26
- 5
- 1
- 2
- 2
- 1
- 3
- 3
- 1
- 5
- 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
- 1397
- 5
- 2
- 1
- 124
- 398
- 109
- 1
- 85
- 355
- 22
- 1
- 30
- 1
- 1
- 1
- 235
- 39
- 206
- 254
- 1
- 1
- 3
- 24
- 2
- 1
- 5
- 1
- 86
- 1
- 2
- 1
- 160
- 2
- 11
- 1
- 1
- 21
- 33
- 1
- 1
- 2
- 2
- Preis
-
- 256
- 1427
- 4868
- 3168
- Sprachen
-
- 8867
- 859
- 2
- Verfügbarkeit
-
- 9552
- 167
- Eigenschaften
-
- 5
- Katalog
-
- 9719
- 1579
-
Csöndes / Réthy / Kovács SDL 2017: Model-Driven Engineering for Future Internet
18th International SDL Forum, Budapest, Hungary, October 9¿11, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68014-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Gorentla Venkata / Pophale / Imam OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-73813-0Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bowen / Xu / Li Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-40435-1Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Münster / Niebling / Pattee Research and Education in Urban History in the Age of Digital Libraries
Third International Workshop, UHDL 2023, Munich, Germany, March 27-28, 2023, Revised Selected Papers1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-38870-5Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Seceleanu / Prevosto Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18¿19, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-38827-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Takada / Marutschke / Hernandez-Leo Collaboration Technologies and Social Computing
29th International Conference, CollabTech 2023, Osaka, Japan, August 29¿September 1, 2023, Proceedings1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-42140-2Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Sun / André Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24¿27, 2023, Proceedings, Part I1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-45328-1Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Sun / André Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24¿27, 2023, Proceedings, Part II1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-45331-1Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Koutra / Plant / Bonchi Machine Learning and Knowledge Discovery in Databases: Research Track
European Conference, ECML PKDD 2023, Turin, Italy, September 18¿22, 2023, Proceedings, Part II1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-43414-3Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Suda / Sattler Frontiers of Combining Systems
14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20¿22, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-43368-9Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
De Francisci Morales / Perlich / Bonchi 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: Springer Nature SwitzerlandISBN: 978-3-031-43429-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Sproston / Petrucci Formal Modeling and Analysis of Timed Systems
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19¿21, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-42625-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Zhan / Zhao / Wang Formal Verification of Simulink/Stateflow Diagrams
A Deductive ApproachSoftcover Nachdruck of the original 1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-83638-6Medium: Buch123,04 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage123,04 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Gebali Analysis of Computer and Communication Networks
2008Verlag: Springer USISBN: 978-0-387-74436-0Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bennaceur / Meinke / Hähnle Machine Learning for Dynamic Software Analysis: Potentials and Limits
International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-96561-1Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Capozucca / Meyer / Ebersold Frontiers in Software Engineering Education
Second International Workshop, FISEE 2023, Villebrumier, France, January 23¿25, 2023, Invited Papers2023Verlag: Springer International PublishingISBN: 978-3-031-48638-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Zohar / Barbosa Formal Methods: Foundations and Applications
26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4¿8, 2023, Proceedings1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-49341-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Dimitrova / Wolff / Lahav Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15¿16, 2024, Proceedings, Part II1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-50520-1Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Arcaini / Fredericks / Yue Search-Based Software Engineering
15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-48795-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Flatt / Leps / Langner Model-Driven Development of Akoma Ntoso Application Profiles
A Conceptual Framework for Model-Based Generation of XML Subschemas1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-14131-7Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,14 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Jawawi / Kazmi / Bajwa Engineering Software for Modern Challenges
First International Conference, ESMoC 2021, Johor, Malaysia, October 20¿21, 2021, Revised Selected Papers1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-19967-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Chai / Schlingloff Software Engineering and Formal Methods
20th International Conference, SEFM 2022, Berlin, Germany, September 26¿30, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-17107-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Benz / Shi / Gopinath NASA Formal Methods
16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4¿6, 2024, Proceedings2024Verlag: Springer International PublishingISBN: 978-3-031-60697-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bauer / Großmann / Wendland Risk Assessment and Risk-Driven Testing
First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers2014Verlag: Springer International PublishingISBN: 978-3-319-07075-9Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Tremblay / VanderMeer / Yoon Advancing the Impact of Design Science: Moving from Theory to Practice
9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-06700-1Medium: 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
