Ergebnisse filtern
- Fachgebiet
- Medium
-
- 493
- 480
- Erscheinungsjahr
-
- 6
- 33
- 52
- 45
- 64
- 58
- 71
- 53
- 55
- 84
- 63
- 56
- 61
- 55
- 63
- 60
- 46
- 48
- Autoren
-
- 2
- 1
- 2
- 8
- 4
- 1
- 1
- 1
- 7
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 5
- 2
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 7
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 5
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 8
- 1
- 1
- 6
- 1
- 1
- 2
- 2
- 4
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 9
- 5
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 3
- 1
- 2
- 3
- 1
- 1
- 2
- 11
- 2
- 1
- 2
- 1
- 3
- 1
- 2
- 3
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 9
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 4
- 1
- 2
- 1
- 4
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 4
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 7
- 3
- 1
- 3
- 2
- 4
- 1
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 2
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 2
- 4
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 2
- 2
- 4
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 2
- 3
- 2
- 3
- 1
- 2
- 2
- 4
- 1
- 1
- 4
- 4
- 2
- 2
- 6
- 1
- 2
- 1
- 6
- 2
- 6
- 4
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 9
- 3
- 2
- 2
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 3
- 4
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 4
- 1
- 1
- 3
- 2
- 1
- 1
- 4
- 2
- 1
- 3
- 2
- 2
- 2
- 3
- 2
- 1
- 4
- 2
- 5
- 1
- 4
- 1
- 1
- 1
- 3
- 2
- 4
- 3
- 5
- 4
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 7
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 2
- 2
- 3
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 3
- 2
- 2
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 3
- 4
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 9
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 2
- 1
- 4
- 3
- 2
- 2
- 2
- 1
- 5
- 1
- 2
- 1
- 1
- 6
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 3
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 4
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 6
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 7
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 7
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 12
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 4
- 2
- 5
- 6
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 13
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 5
- 7
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 10
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 3
- 3
- 5
- 2
- 3
- 13
- 2
- 4
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 10
- 2
- 2
- 2
- 2
- 12
- 16
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 8
- 2
- 5
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 8
- 2
- 4
- 5
- 3
- 2
- 3
- 2
- 2
- 10
- 2
- 3
- 2
- 2
- 2
- 2
- Verlag
-
- 477
- 85
- 397
- 13
- 1
- Preis
-
- 77
- 848
- 48
- Sprachen
-
- 973
- Verfügbarkeit
-
- 972
- 1
- Katalog
-
- 973
- 19
-
Dutle / Narkawicz / Muñoz 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-77934-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Boer / Bonsangue / Rutten It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab1. Auflage 2018Verlag: SpringerISBN: 978-3-319-90088-9Medium: 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 -
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 -
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 -
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 -
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 -
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 -
Wang / Xia / Seshadri 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-59592-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Dillenbourg / Specht Times of Convergence. Technologies Across Learning Contexts
Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-87605-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Davies / Gibbons Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-73210-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
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 -
Franch / Ghose / Lewis Service-Oriented Computing
12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45391-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Taha Domain-Specific Languages
IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-03034-5Medium: 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 -
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 -
Dittrich / Burnett / Morch End-User Development
4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-38706-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Ahrendt / Tapia Tarifa Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-34968-4Medium: 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 -
Havelund / Peleska / Roscoe Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-95582-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Ferreira / Spanoudakis / Ma Services Computing – SCC 2018
15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-94376-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Gupta / Mascolo Middleware 2010
ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-16955-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Aleven / Kay / Mostow Intelligent Tutoring Systems
10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part IErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-13388-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort