Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2041
- Erscheinungsjahr
-
- 11
- 152
- 142
- 107
- 40
- 18
- 22
- 30
- 31
- 24
- 37
- 48
- 39
- 50
- 41
- 34
- 67
- 62
- 64
- 78
- 66
- 61
- 117
- 104
- 94
- 73
- 59
- 52
- 37
- 29
- 36
- 33
- 27
- 32
- 17
- 32
- 16
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 6
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 2
- 4
- 3
- 4
- 7
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 16
- 3
- 3
- 4
- 2
- 4
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 6
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 9
- 4
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 7
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 5
- 5
- 4
- 3
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 10
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 5
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 3
- 2
- 5
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 5
- 6
- 2
- 3
- 2
- 4
- 12
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 14
- 23
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 12
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 7
- 2
- 2
- 3
- 6
- 4
- 2
- 4
- 4
- 8
- 4
- 3
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 3
- 25
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 5
- 2
- 3
- 4
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 4
- 4
- 2
- 5
- 4
- 3
- 3
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 5
- 2
- 2
- 6
- 2
- 2
- 3
- 3
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 6
- 4
- 5
- 5
- 5
- 2
- 4
- 2
- 7
- 7
- 2
- 2
- 2
- 7
- 12
- 3
- 2
- 2
- 2
- 6
- 6
- 2
- 4
- 2
- 2
- 4
- 2
- 5
- 2
- 4
- 4
- 3
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 4
- 4
- 2
- 3
- 2
- 6
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 9
- 2
- 8
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 5
- 2
- 11
- 20
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 8
- 2
- 2
- 2
- 4
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 12
- 5
- 2
- 4
- 5
- 2
- 2
- 2
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 7
- 3
- 3
- 2
- 4
- 2
- 20
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 7
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 5
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 4
- 6
- 18
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 2
- 5
- 2
- 2
- 5
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 6
- 4
- 2
- 2
- 2
- 3
- 2
- 9
- 9
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 11
- 5
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 23
- 4
- 2
- 3
- 4
- 9
- 3
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 30
- 2
- 3
- 3
- 4
- 2
- 7
- 4
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 4
- 6
- 21
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 10
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 5
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 3
- 3
- 2
- 2
- 4
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 4
- 2
- 2
- 4
- 3
- 3
- 5
- 2
- 4
- 2
- 18
- 4
- 6
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 4
- Verlag
-
- 2034
- 1
- 6
- Preis
-
- 4
- 84
- 1643
- 310
- Sprachen
-
- 2041
- Verfügbarkeit
-
- 2040
- 1
- Katalog
-
- 2041
- 135
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III1. Auflage 2022Verlag: SpringerISBN: 978-3-031-19758-1Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Montesi / Papadopoulos / Zimmermann Service-Oriented and Cloud Computing
9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-04717-6Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 -
O'Reilly / Devroey Search-Based Software Engineering
13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-88105-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Qin / Woodcock / Zhang Dependable Software Engineering. Theories, Tools, and Applications
7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-91264-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fantechi / Pelliccione Software Engineering for Resilient Systems
7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23128-0Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Devillers / Valmari Application and Theory of Petri Nets and Concurrency
36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-19487-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Markidis / Laure Solving Software Challenges for Exascale
International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-15975-1Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lanese / Madelaine Formal Aspects of Component Software
11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-15316-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Merz / Pang Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11736-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Seidl / Zschaler Software Technologies: Applications and Foundations
STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74729-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baier / Caires Formal Techniques for Distributed Objects, Components, and Systems
38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92611-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jelasity / Kalyvianaki Distributed Applications and Interoperable Systems
16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-39576-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lahiri / Reger Runtime Verification
17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67530-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bowen / Liu / Zhang Engineering Trustworthy Software Systems
Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures1. Auflage 2017Verlag: SpringerISBN: 978-3-319-56840-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wasowski / Wasowski / Lönn Modelling Foundations and Applications
12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-42060-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grünbacher / Perini Requirements Engineering: Foundation for Software Quality
23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-54044-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blazy / Chechik Verified Software. Theories, Tools, and Experiments
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48868-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Crnkovic / Troubitsyna Software Engineering for Resilient Systems
8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-45891-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ehrig / Floyd / Nivat Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15198-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Greibach Theory of Program Structures
Schemes, Semantics, Verification1975Verlag: SpringerISBN: 978-3-540-07415-1Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage24,60 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Coen-Porisini / Hoeck Software Engineering and Middleware
Third International Workshop, SEM 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-07549-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Najm / Nestmann / Stevens Formal Methods for Open Object-Based Distributed Systems
6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20491-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Orlowska / Weerawarana / Papazoglou Service-Oriented Computing -- ICSOC 2003
First International Conference, Trento, Italy, December 15-18, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20681-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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