Ergebnisse filtern
- Fachgebiet
- Medium
-
- 503
- 483
- Erscheinungsjahr
-
- 7
- 36
- 42
- 43
- 60
- 48
- 60
- 54
- 65
- 72
- 62
- 58
- 68
- 57
- 68
- 63
- 57
- 66
- Autoren
-
- 2
- 3
- 2
- 6
- 3
- 1
- 4
- 1
- 4
- 2
- 2
- 1
- 1
- 6
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 7
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 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
- 1
- 3
- 3
- 1
- 3
- 2
- 1
- 1
- 2
- 9
- 1
- 1
- 2
- 4
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 8
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 6
- 1
- 3
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 3
- 4
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 3
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 7
- 2
- 1
- 1
- 1
- 4
- 1
- 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
- 4
- 2
- 1
- 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
- 1
- 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
- 7
- 2
- 1
- 1
- 2
- 7
- 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
- 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
- 1
- 3
- 1
- 2
- 2
- 1
- 4
- 2
- 2
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 6
- 1
- 7
- 1
- 2
- 2
- 1
- 1
- 4
- 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
- 2
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 1
- 3
- 3
- 1
- 5
- 2
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 5
- 1
- 4
- 1
- 2
- 2
- 4
- 4
- 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
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 4
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 3
- 1
- 2
- 2
- 1
- 1
- 4
- 1
- 4
- 2
- 3
- 2
- 9
- 4
- 3
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 9
- 3
- 2
- 5
- 3
- 3
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 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
- 3
- 4
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 3
- 4
- 11
- 2
- 2
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 9
- 3
- 2
- 2
- 6
- 2
- 16
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 7
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 9
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 5
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 16
- 2
- 2
- 2
- 2
- 3
- 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
- 2
- 13
- 2
- 17
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 10
- 2
- 3
- 2
- 8
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 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
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 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
- 10
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- Verlag
-
- 805
- 177
- 4
- Preis
-
- 72
- 867
- 47
- Sprachen
-
- 986
- Verfügbarkeit
-
- 986
- Katalog
-
- 986
- 25
-
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 -
Kari / Ulidowski Reversible Computation
10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-99497-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 -
Pichardie / Sighireanu Static Analysis
27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-65473-3Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vieira / Cunha Dependable Computing
14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38788-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (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 -
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 -
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 -
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 -
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 -
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 -
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 -
Barthe Formal Methods for Open Object-Based Distributed Systems
10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68862-4Medium: 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 -
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 -
Davies / Gibbons Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73209-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Hacid / Kao / Mecella Service-Oriented Computing
19th International Conference, ICSOC 2021, Virtual Event, November 22-25, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-91430-1Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Coy / Hayashi / Chang Intelligent Tutoring Systems
15th International Conference, ITS 2019, Kingston, Jamaica, June 3-7, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-22243-7Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
ter Beek / Nickovic / Nickovic Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58297-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leung / Wang / Miao Advances in Blended Learning
Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008, Revised Selected Papers2008Verlag: SpringerISBN: 978-3-540-89962-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Liblit Cooperative Bug Isolation
Winning Thesis of the 2005 ACM Doctoral Dissertation Competition2007Verlag: SpringerISBN: 978-3-540-71878-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort