Ergebnisse filtern
- Fachgebiet
- Medium
-
- 510
- 497
- Erscheinungsjahr
-
- 8
- 39
- 46
- 45
- 57
- 56
- 66
- 44
- 69
- 78
- 66
- 68
- 66
- 60
- 65
- 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
- 2
- 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
- 2
- 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
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 9
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 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
- 4
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 2
- 3
- 2
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 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
- 2
- 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
- 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
- 9
- 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
- 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
- 2
- 3
- 2
- 2
- 3
- 3
- 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
-
- 505
- 98
- 392
- 11
- 1
- Preis
-
- 70
- 885
- 52
- Sprachen
-
- 1007
- Verfügbarkeit
-
- 1007
- Katalog
-
- 1007
- 18
-
Liu / Ludwig / Toumani Service-Oriented Computing
10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-34321-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Miller / Dueck Reversible Computation
5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings2013Verlag: SpringerISBN: 978-3-642-38985-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cousot / Martel Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15768-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fähndrich / Logozzo Static Analysis
20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings2013Verlag: SpringerISBN: 978-3-642-38855-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Podelski Static Analysis
25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-99725-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Dony / Tripathi / Knudsen Advanced Topics in Exception Handling Techniques
2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-37443-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cerqueira / Campbell Middleware 2007
ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76777-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thomsen / Soeken Reversible Computation
11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-21499-9Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barthe Formal Methods for Open Object-Based Distributed Systems
10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68862-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Broy / Jonsson / Pretschner Model-Based Testing of Reactive Systems
Advanced Lectures2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-26278-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage53,49 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Pecheur / Dierkes Formal Methods for Industrial Critical Systems
18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-41009-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tasiran / Sokolsky Runtime Verification
7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77394-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Specht / Dillenbourg 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: Springer Berlin HeidelbergISBN: 978-3-540-87604-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nickovic / ter Beek / Nickovic Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-58297-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gupta / Mascolo Middleware 2010
ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16954-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Broy / Jonsson / Katoen Model-Based Testing of Reactive Systems
Advanced Lectures2005Verlag: SpringerISBN: 978-3-540-32037-1Medium: 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 I1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13387-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leucker / Colombo Runtime Verification
18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03768-0Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Benatallah / Traverso / Casati Service-Oriented Computing - ICSOC 2005
Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30817-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alonso Middleware 2005
ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30323-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 -
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 -
Kafeza / Benatallah / Martinelli 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-65310-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark106,99 € (inkl. MwSt.)
sofort verfügbar106,99 € (inkl. MwSt.)
sofort verfügbar -
Barbosa / Markopoulos / Valtolina End-User Development
6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-58734-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