Ergebnisse filtern
- Fachgebiet
- Medium
-
- 501
- 487
- Erscheinungsjahr
-
- 7
- 36
- 45
- 41
- 63
- 48
- 60
- 54
- 65
- 72
- 62
- 58
- 68
- 57
- 68
- 61
- 57
- 66
- Autoren
-
- 2
- 3
- 2
- 6
- 3
- 1
- 4
- 2
- 4
- 2
- 2
- 1
- 1
- 6
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 4
- 2
- 8
- 2
- 2
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 3
- 2
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 5
- 2
- 1
- 2
- 1
- 1
- 5
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 15
- 7
- 1
- 1
- 1
- 1
- 2
- 3
- 3
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 9
- 1
- 1
- 2
- 4
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 8
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 4
- 1
- 2
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 3
- 4
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 2
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 7
- 2
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 5
- 1
- 1
- 1
- 2
- 2
- 5
- 1
- 2
- 2
- 1
- 1
- 2
- 3
- 3
- 2
- 3
- 6
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 9
- 1
- 2
- 3
- 1
- 2
- 3
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 2
- 4
- 1
- 1
- 5
- 1
- 2
- 2
- 5
- 3
- 6
- 6
- 2
- 1
- 1
- 2
- 8
- 1
- 2
- 2
- 2
- 1
- 1
- 4
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 4
- 2
- 1
- 9
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 2
- 2
- 1
- 4
- 2
- 2
- 1
- 3
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 6
- 1
- 6
- 1
- 2
- 2
- 1
- 1
- 5
- 1
- 5
- 3
- 4
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 2
- 3
- 5
- 2
- 1
- 4
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 3
- 3
- 1
- 5
- 2
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 5
- 1
- 4
- 1
- 2
- 2
- 4
- 5
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 1
- 1
- 2
- 1
- 2
- 3
- 2
- 1
- 2
- 6
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 4
- 5
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 2
- 2
- 1
- 1
- 4
- 1
- 4
- 3
- 3
- 2
- 9
- 4
- 3
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 3
- 3
- 1
- 4
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 9
- 3
- 2
- 5
- 3
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 7
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 3
- 3
- 4
- 9
- 2
- 6
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 9
- 3
- 2
- 2
- 6
- 17
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 8
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 9
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 6
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 3
- 4
- 17
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 14
- 2
- 17
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 10
- 2
- 3
- 8
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 7
- 2
- 2
- 8
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- Verlag
-
- 803
- 185
- Preis
-
- 72
- 870
- 46
- Sprachen
-
- 988
- Verfügbarkeit
-
- 988
- Katalog
-
- 988
- 24
-
Logozzo / Fähndrich Static Analysis
20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings2013Verlag: SpringerISBN: 978-3-642-38856-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Cousot / Martel Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-15769-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Deshmukh / Nickovic / Nickovic Runtime Verification
20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-60507-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ripeanu Service-Oriented Computing - ICSOC 2007 Workshops
ICSOC 2007 International Workshops, Vienna, Austria, September 17, 2007, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-540-93850-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Howar / Barnat Formal Methods for Industrial Critical Systems
23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-00243-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23553-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Riis Nielson / Filé Static Analysis
14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74060-5Medium: 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 -
Grumberg / Kaminski / Katz Languages: From Formal to Natural
Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday2009Verlag: SpringerISBN: 978-3-642-01748-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Lalanne / Kohlas Human Machine Interaction
Research Results of the MMI Program2009Verlag: SpringerISBN: 978-3-642-00437-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Ripeanu Service-Oriented Computing - ICSOC 2007 Workshops
ICSOC 2007 International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-540-93851-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Gavanelli / Reppy Practical Aspects of Declarative Languages
18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-28227-5Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Polikarpova / Schneider Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66845-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Müller / de Supinski / Chapman Evolving OpenMP in an Age of Extreme Parallelism
5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02284-5Medium: 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 -
Mine / Schmidt Static Analysis
19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33124-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barros / Grigori / Narendra Service-Oriented Computing
13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48616-0Medium: 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: SpringerISBN: 978-3-319-77934-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dittrich / Burnett / Morch End-User Development
4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-38706-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Bobaru / Havelund / Holzmann NASA Formal Methods
Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings2011Verlag: SpringerISBN: 978-3-642-20398-5Medium: 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, Proceedings2014Verlag: SpringerISBN: 978-3-662-45391-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Vieira / Cunha Dependable Computing
14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-38789-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar -
Eyers / Schwan Middleware 2013
ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-45065-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Finkbeiner / Mariani Runtime Verification
19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-32078-2Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort