Ergebnisse filtern
- Fachgebiet
- Medium
-
- 508
- 486
- Erscheinungsjahr
-
- 5
- 38
- 44
- 40
- 63
- 57
- 56
- 47
- 77
- 80
- 65
- 71
- 49
- 61
- 65
- 68
- 45
- 63
- Autoren
-
- 1
- 4
- 6
- 1
- 1
- 4
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 3
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 6
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 3
- 2
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 6
- 1
- 2
- 5
- 1
- 5
- 1
- 1
- 2
- 1
- 2
- 2
- 15
- 4
- 2
- 1
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 12
- 2
- 2
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 6
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 2
- 4
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 7
- 3
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 4
- 2
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 3
- 2
- 2
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 4
- 5
- 2
- 1
- 1
- 2
- 2
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 7
- 2
- 2
- 2
- 4
- 2
- 1
- 2
- 2
- 3
- 2
- 11
- 1
- 4
- 1
- 5
- 4
- 6
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 3
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 11
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 4
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 3
- 2
- 2
- 1
- 2
- 3
- 1
- 1
- 6
- 6
- 2
- 1
- 2
- 2
- 1
- 3
- 2
- 2
- 4
- 1
- 1
- 6
- 4
- 2
- 1
- 3
- 1
- 3
- 1
- 3
- 1
- 2
- 5
- 1
- 1
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 4
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 5
- 1
- 2
- 1
- 2
- 2
- 2
- 5
- 2
- 4
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 4
- 1
- 1
- 2
- 2
- 1
- 4
- 2
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 3
- 2
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 2
- 2
- 1
- 4
- 3
- 2
- 1
- 2
- 3
- 3
- 2
- 1
- 3
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 3
- 2
- 2
- 5
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 5
- 4
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 5
- 2
- 5
- 5
- 12
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 14
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 10
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 7
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 14
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 7
- 2
- 4
- 2
- 2
- 2
- 10
- 2
- 20
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 6
- 2
- 2
- 3
- 5
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 4
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 5
- 3
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 5
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 4
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 10
- 2
- 2
- 17
- 3
- 2
- 2
- 4
- 2
- 2
- Verlag
-
- 1
- 516
- 104
- 357
- 15
- 1
- Preis
-
- 74
- 872
- 48
- Sprachen
-
- 994
- Verfügbarkeit
-
- 994
- Katalog
-
- 994
- 20
-
Romijn / van de Pol / Smith Integrated Formal Methods
5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30492-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Salaün / Schätz Formal Methods for Industrial Critical Systems
16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-24431-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Leucker Runtime Verification
8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers2008Verlag: SpringerISBN: 978-3-540-89247-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Nkambou / Azevedo / Vassileva Intelligent Tutoring Systems
14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-91464-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Rayadurgam / Tkachuk NASA Formal Methods
8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-40648-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar69,54 € (inkl. MwSt.)
sofort verfügbar -
Dragoi / Dragoi / Mukherjee Static Analysis
28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-88806-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar85,59 € (inkl. MwSt.)
sofort verfügbar -
Coy / Chang / Hayashi Intelligent Tutoring Systems
15th International Conference, ITS 2019, Kingston, Jamaica, June 3-7, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-22243-7Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hacid / Kao / Paik Service-Oriented Computing
19th International Conference, ICSOC 2021, Virtual Event, November 22-25, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-91430-1Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ferreira / Musaev / Zhang Services Computing – SCC 2019
16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-23554-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Dutle / Muñoz / Narkawicz NASA Formal Methods
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-77935-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Nickovic / Deshmukh / Nickovic Runtime Verification
20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-60507-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bensalem / Peled Runtime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers2009Verlag: SpringerISBN: 978-3-642-04694-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Fogli / Tetteroo / Barricelli End-User Development
8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-79840-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Miller / Stroulia / Lee Web Services – ICWS 2019
26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-23499-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Xu / Zhang / Xia Web Services - ICWS 2021
28th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-96139-8Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wehrheim / Gorrieri Formal Methods for Open Object-Based Distributed Systems
8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-34893-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Siveroni / Hankin Static Analysis
12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28584-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Katoen / Langerak / Rensink ModelEd, TestEd, TrustEd
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68269-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ábrahám / Huisman Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33692-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sánchez / Falcone Runtime Verification
16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-46981-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stefani / Krivine Reversible Computation
7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-20859-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kappel / Motahari-Nezhad / Maamar Service Oriented Computing
9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011, Proceedings2011Verlag: SpringerISBN: 978-3-642-25534-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kon / Kermarrec Middleware 2011
ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25820-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yahav Static Analysis
18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-23701-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vitek Objects, Models, Components, Patterns
48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13952-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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