Ergebnisse filtern
- Fachgebiet
- Medium
-
- 512
- 496
- Erscheinungsjahr
-
- 8
- 38
- 46
- 45
- 57
- 56
- 66
- 44
- 69
- 78
- 66
- 68
- 66
- 61
- 66
- 67
- 50
- 57
- Autoren
-
- 1
- 1
- 7
- 1
- 2
- 3
- 2
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 6
- 3
- 3
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 5
- 2
- 4
- 2
- 1
- 2
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 4
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 8
- 1
- 1
- 6
- 1
- 2
- 2
- 14
- 6
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 12
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 2
- 1
- 7
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 4
- 1
- 3
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 4
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 8
- 3
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 5
- 2
- 2
- 1
- 1
- 4
- 2
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 4
- 2
- 1
- 4
- 5
- 1
- 4
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 6
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 7
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 5
- 1
- 2
- 1
- 7
- 1
- 3
- 5
- 4
- 2
- 6
- 3
- 2
- 2
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 9
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 2
- 3
- 2
- 2
- 4
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 5
- 3
- 2
- 1
- 3
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 6
- 1
- 5
- 2
- 1
- 1
- 3
- 1
- 4
- 2
- 3
- 5
- 1
- 5
- 3
- 1
- 1
- 3
- 1
- 1
- 3
- 4
- 2
- 1
- 2
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 4
- 7
- 1
- 1
- 1
- 3
- 1
- 2
- 3
- 1
- 2
- 5
- 1
- 3
- 1
- 4
- 2
- 2
- 1
- 5
- 1
- 1
- 2
- 4
- 1
- 2
- 3
- 2
- 4
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 5
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 2
- 3
- 2
- 2
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 3
- 5
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 5
- 2
- 1
- 3
- 2
- 1
- 1
- 5
- 3
- 1
- 2
- 2
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 2
- 3
- 1
- 1
- 2
- 2
- 4
- 1
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 8
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 9
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 4
- 2
- 8
- 4
- 4
- 3
- 4
- 10
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 9
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 16
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 8
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 10
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 7
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 5
- 3
- 3
- 16
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 8
- 2
- 4
- 2
- 2
- 9
- 2
- 20
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 4
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 8
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 9
- 2
- 2
- 2
- 2
- 14
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- Verlag
-
- 506
- 99
- 391
- 11
- 1
- Preis
-
- 70
- 884
- 54
- Sprachen
-
- 1008
- Verfügbarkeit
-
- 1008
- Katalog
-
- 1008
- 18
-
Palsberg / Su Static Analysis
16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-03237-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Feuerlicht / Lamersdorf Service-Oriented Computing - ICSOC 2008 Workshops
ICSOC 2008, International Workshops, Sydney, Australia, December 1st, 2008. Revised Selected Papers.2009Verlag: SpringerISBN: 978-3-642-01247-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Duval / Klamma / Wolpers Creating New Learning Experiences on a Global Scale
Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-75195-3Medium: 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 -
Kafeza / Benatallah / Motahari Service-Oriented Computing
18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-65309-5Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Zhang / Xia Services Computing - SCC 2020
17th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-59591-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Micarelli / Stamper / Panourgia Intelligent Tutoring Systems
13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-39583-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Tkachuk / Rayadurgam NASA Formal Methods
8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-40647-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bjørner / de Boer FM 2015: Formal Methods
20th International Symposium, Oslo, Norway, June 24-26, 2015, ProceedingsErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-19249-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Eyers / Schwan Middleware 2013
ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-45065-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Johnsen / Petre Integrated Formal Methods
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-38613-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Salaün / Schätz Formal Methods for Industrial Critical Systems
16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24430-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Zhang / Serhani Services - SERVICES 2021
17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-030-96584-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Costabile / Dittrich / Fischer End-User Development
Third International Symposium, IS-EUD 2011, Torre Canne, Italy, June 7-10, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21529-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Khurshid / Sen Runtime Verification
Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-29859-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barnes Ada 2005 Rationale
The Language, The Standard Libraries2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-79700-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Havelund / de Vink / Peleska Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-95581-0Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Goodloe / Person NASA Formal Methods
4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-28891-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Schneider / Polikarpova Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66844-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bartocci / Leucker / Falcone Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-87347-9Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Maglio / Weske / Yang Service-Oriented Computing
8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-17358-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark117,69 € (inkl. MwSt.)
sofort verfügbar117,69 € (inkl. MwSt.)
sofort verfügbar -
Sheng / Stroulia / Tata Service-Oriented Computing
14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-46295-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort