Ergebnisse filtern
- Fachgebiet
- Medium
-
- 515
- 509
- Erscheinungsjahr
-
- 9
- 39
- 54
- 46
- 66
- 50
- 53
- 54
- 59
- 82
- 71
- 68
- 67
- 58
- 70
- 66
- 53
- 59
- 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
- 2
- 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
- 14
- 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
- 2
- 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
- 4
- 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
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 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
- 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
- 4
- 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
- 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
- 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
- 2
- 2
- 4
- 2
- 3
- 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
- 3
- 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
- 10
- 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
- 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
- 3
- 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
- 8
- 2
- 3
- 4
- 2
- 2
- 10
- 16
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 8
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 12
- 5
- 2
- 6
- 2
- 2
- 7
- 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
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 7
- 3
- 2
- 6
- 3
- 3
- 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
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- Verlag
-
- 517
- 90
- 400
- 17
- Preis
-
- 81
- 899
- 44
- Sprachen
-
- 1024
- Verfügbarkeit
-
- 1024
- Katalog
-
- 1024
- 19
-
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 -
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 -
Müller / Chapman / de Supinski Evolving OpenMP in an Age of Extreme Parallelism
5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings2009Verlag: SpringerISBN: 978-3-642-02284-5Medium: 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 -
Flammini / Lang Formal Methods for Industrial Critical Systems
19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-10701-1Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yamashita / Minato Reversible Computation
6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. ProceedingsErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-08494-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
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 -
Schwan / Eyers Middleware 2013
ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-45064-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sekerinski / Moreira / Astarte Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-54997-8Medium: 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 -
Elisabetta / Yahyapour Towards a Service-Based Internet
Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-17693-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sekerinski / Albert Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-10180-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abramowicz / Llorente / Surridge Towards a Service-Based Internet
4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24754-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, Proceedings2007Verlag: SpringerISBN: 978-3-540-74061-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Thomsen / Soeken Reversible Computation
11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-21500-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark60,98 € (inkl. MwSt.)
sofort verfügbar60,98 € (inkl. MwSt.)
sofort verfügbar -
Ranzato Static Analysis
24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66706-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Ábrahám / Huisman Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33693-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar85,59 € (inkl. MwSt.)
sofort verfügbar -
Serhani / Zhang 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 International PublishingISBN: 978-3-030-96585-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar58,84 € (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 -
Benatallah / Casati / Traverso Service-Oriented Computing – ICSOC 2005
Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-32294-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Rose / Hirschfeld Self-Sustaining Systems
First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-89274-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sekerinski / Astarte / Moreira Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-54996-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
McIntosh-Smith / Klinkenberg / de Supinski OpenMP: Enabling Massive Node-Level Parallelism
17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-85261-0Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Keller / Gabriel / Dongarra Recent Advances in the Message Passing Interface
17th European MPI User's Group Meeting, EuroMPI 2010, Stuttgart, Germany, September12-15, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15645-8Medium: 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