Ergebnisse filtern
- Fachgebiet
- Medium
-
- 513
- 509
- Erscheinungsjahr
-
- 9
- 39
- 55
- 47
- 65
- 50
- 53
- 54
- 59
- 82
- 71
- 66
- 67
- 58
- 70
- 66
- 53
- 58
- Autoren
-
- 1
- 1
- 2
- 4
- 9
- 1
- 3
- 1
- 2
- 1
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 6
- 1
- 5
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 3
- 1
- 4
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 3
- 4
- 1
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 6
- 1
- 2
- 2
- 1
- 1
- 3
- 2
- 2
- 14
- 8
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 1
- 1
- 2
- 1
- 13
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 13
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 4
- 3
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 6
- 1
- 1
- 2
- 1
- 3
- 1
- 3
- 3
- 2
- 4
- 5
- 4
- 2
- 2
- 2
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 4
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 2
- 2
- 1
- 6
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 3
- 8
- 2
- 2
- 1
- 11
- 2
- 1
- 3
- 4
- 3
- 8
- 3
- 2
- 2
- 2
- 1
- 2
- 1
- 5
- 1
- 1
- 3
- 2
- 2
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 2
- 2
- 2
- 1
- 3
- 2
- 1
- 2
- 1
- 7
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 2
- 3
- 1
- 6
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 5
- 1
- 1
- 2
- 3
- 1
- 3
- 1
- 6
- 1
- 5
- 4
- 2
- 1
- 3
- 1
- 1
- 2
- 3
- 3
- 1
- 2
- 7
- 2
- 1
- 3
- 1
- 4
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 5
- 4
- 3
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 5
- 1
- 1
- 2
- 2
- 1
- 2
- 4
- 1
- 5
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 2
- 4
- 1
- 4
- 3
- 2
- 1
- 1
- 3
- 2
- 1
- 2
- 2
- 1
- 3
- 4
- 1
- 1
- 5
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 3
- 1
- 2
- 3
- 2
- 5
- 4
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 7
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 3
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 5
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 9
- 2
- 4
- 7
- 2
- 2
- 2
- 2
- 2
- 12
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 8
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 8
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 5
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 12
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 3
- 4
- 2
- 2
- 10
- 16
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 7
- 2
- 4
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 12
- 4
- 2
- 6
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 2
- 2
- 8
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 7
- 3
- 2
- 6
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 3
- 13
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- Verlag
-
- 514
- 90
- 401
- 17
- Preis
-
- 81
- 897
- 44
- Sprachen
-
- 1022
- Verfügbarkeit
-
- 1022
- Katalog
-
- 1022
- 19
-
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 -
Schantz / Issarny Middleware 2008
ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-89855-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Träff / Dongarra / Benkner Recent Advances in the Message Passing Interface
19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-33517-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Filé / Riis Nielson Static Analysis
14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74060-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mavridou / Lluch Lafuente Formal Methods for Industrial Critical Systems
26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings1. Auflage 2021Verlag: Springer Nature SwitzerlandISBN: 978-3-030-85247-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chapman / Rorro / Massaioli OpenMP in a Heterogeneous World
8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-30960-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wille / De Vos Reversible Computation
Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers2012Verlag: SpringerISBN: 978-3-642-29516-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fan / Giacaman / de Supinski OpenMP: Conquering the Full Hardware Spectrum
15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-28595-1Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Troussas / Kumar Intelligent Tutoring Systems
16th International Conference, ITS 2020, Athens, Greece, June 8-12, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-49662-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Barnat / Howar Formal Methods for Industrial Critical Systems
23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-00243-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wehrheim / Leuschel Integrated Formal Methods
7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-00254-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ripeanu Service-Oriented Computing - ICSOC 2007 Workshops
ICSOC 2007 International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers2009Verlag: Springer Berlin HeidelbergISBN: 978-3-540-93850-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 -
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 -
Hankin / Siveroni Static Analysis
12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-31971-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Xu / Xia / Zhang 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-96140-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar58,84 € (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 Tage -
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 Tage -
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 -
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 -
Alonso Middleware 2005
ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-32269-6Medium: 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 -
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 -
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 -
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: Springer Nature SwitzerlandISBN: 978-3-030-96584-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort