Ergebnisse filtern
- Fachgebiet
- Medium
-
- 506
- 492
- Erscheinungsjahr
-
- 5
- 38
- 45
- 45
- 69
- 54
- 56
- 46
- 75
- 80
- 64
- 66
- 55
- 62
- 66
- 66
- 45
- 61
- Autoren
-
- 1
- 3
- 6
- 1
- 1
- 4
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 6
- 3
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 6
- 1
- 4
- 1
- 2
- 1
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 6
- 1
- 1
- 5
- 1
- 5
- 1
- 1
- 1
- 2
- 1
- 2
- 16
- 6
- 2
- 1
- 1
- 2
- 4
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 13
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 8
- 4
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 5
- 2
- 1
- 2
- 1
- 6
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 1
- 1
- 4
- 5
- 3
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 2
- 1
- 6
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 7
- 2
- 2
- 2
- 4
- 2
- 1
- 2
- 3
- 3
- 1
- 10
- 1
- 4
- 4
- 4
- 6
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 2
- 1
- 1
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 10
- 3
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 4
- 3
- 2
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 3
- 2
- 2
- 1
- 2
- 3
- 1
- 1
- 8
- 5
- 2
- 1
- 2
- 2
- 1
- 3
- 2
- 2
- 6
- 1
- 1
- 4
- 4
- 2
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 5
- 2
- 1
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 2
- 3
- 7
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 4
- 3
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 5
- 1
- 2
- 1
- 2
- 2
- 3
- 4
- 1
- 4
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 4
- 2
- 1
- 2
- 2
- 2
- 3
- 2
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 4
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 2
- 2
- 1
- 4
- 2
- 2
- 1
- 2
- 4
- 2
- 2
- 2
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 5
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 5
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 7
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 9
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 4
- 5
- 2
- 5
- 11
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 9
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 14
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 3
- 9
- 2
- 2
- 2
- 2
- 6
- 2
- 7
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 14
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 7
- 2
- 4
- 2
- 2
- 2
- 9
- 2
- 20
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 7
- 2
- 3
- 5
- 3
- 2
- 3
- 7
- 2
- 3
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 4
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 4
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 9
- 2
- 2
- 2
- 2
- 17
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- Verlag
-
- 1
- 521
- 99
- 361
- 15
- 1
- Preis
-
- 75
- 874
- 49
- Sprachen
-
- 998
- Verfügbarkeit
-
- 998
- Katalog
-
- 998
- 21
-
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 -
Salaün / Schätz Formal Methods for Industrial Critical Systems
16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24430-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sekerinski / Astarte / Moreira Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-54993-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Tage -
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 Tage -
Miller / Stroulia / Lee Web Services – ICWS 2019
26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-23499-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (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 -
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 Tage -
Stefani / Krivine Reversible Computation
7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-20859-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Tage -
Kon / Kermarrec Middleware 2011
ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25820-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Kafeza / Benatallah / Motahari 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-65309-5Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wang / Zhang / Xia 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-59591-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Trausan-Matu / Boyer / Crosby Intelligent Tutoring Systems
12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. ProceedingsErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-07221-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Cotronis / Danalis / Nikolopoulos Recent Advances in the Message Passing Interface
18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24448-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Milfeld / de Supinski / Koesterke OpenMP: Portable Multi-Level Parallelism on Modern Systems
16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-58144-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark80,24 € (inkl. MwSt.)
sofort verfügbar80,24 € (inkl. MwSt.)
sofort verfügbar -
Triantafillou / Narasimhan Middleware 2012
ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-35169-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ferreira / Zhang / Musaev 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: Springer International PublishingISBN: 978-3-030-23553-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Huisman / Pasareanu / Pasareanu Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-90869-0Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kumar / Troussas Intelligent Tutoring Systems
16th International Conference, ITS 2020, Athens, Greece, June 8–12, 2020, ProceedingsErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-49663-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Howar / Barnat Formal Methods for Industrial Critical Systems
23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-00244-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Yi Static Analysis
13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-37758-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Krämer / Lin / Narasimhan Service-Oriented Computing - ICSOC 2007
Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-74974-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Cofer / Fantechi Formal Methods for Industrial Critical Systems
13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-03240-0Medium: 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