Ergebnisse filtern
- Fachgebiet
- Medium
-
- 499
- 138
- Erscheinungsjahr
-
- 6
- 25
- 42
- 34
- 46
- 43
- 52
- 31
- 43
- 55
- 38
- 39
- 36
- 29
- 34
- 26
- 26
- 32
- Autoren
-
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 4
- 5
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 6
- 1
- 7
- 1
- 1
- 1
- 1
- 2
- 1
- 11
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 15
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 4
- 2
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 2
- 1
- 1
- 8
- 1
- 3
- 3
- 3
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 2
- 1
- 3
- 4
- 1
- 2
- 3
- 4
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 3
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 7
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 4
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 7
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 8
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 7
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 7
- 1
- 1
- 2
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 5
- 1
- 5
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 5
- 8
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 8
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 2
- 4
- 2
- 2
- 11
- 2
- 5
- 4
- Verlag
-
- 553
- 82
- 2
- Preis
-
- 45
- 547
- 45
- Sprachen
-
- 637
- Verfügbarkeit
-
- 636
- 1
- Katalog
-
- 637
- 19
-
Kowalewski / Roveri Formal Methods for Industrial Critical Systems
15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-15898-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Katangur / Zhang Services Computing - SCC 2021
18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-030-96565-5Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sheng / Stroulia / Tata Service-Oriented Computing
14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-46295-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Larsen / Willemse Formal Methods for Industrial Critical Systems
24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-27008-7Medium: 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: SpringerISBN: 978-3-319-66844-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kumar / Troussas Intelligent Tutoring Systems
16th International Conference, ITS 2020, Athens, Greece, June 8-12, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-49662-3Medium: 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 -
Phillips / Rahaman Reversible Computation
9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-59935-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Deshmukh / 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 -
Cofer / Fantechi Formal Methods for Industrial Critical Systems
13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03239-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Russo / Zhou Practical Aspects of Declarative Languages
14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-27693-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chapman / Gropp / Kumaran OpenMP in the Petascale Era
7th International Workshop on OpenMP, IWOMP 2011, Chicago, Il, USA, June 13-15, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21486-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jacko Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IIIErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73108-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lee / Jha / Mavridou NASA Formal Methods
12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-55753-9Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barnes Ada 2012 Rationale
The Language -- The Standard LibrariesErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-45209-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (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 -
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 -
Lluch Lafuente / Mavridou Formal Methods for Industrial Critical Systems
26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-85247-4Medium: 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 -
Fan / de Supinski / Sinnen OpenMP: Conquering the Full Hardware Spectrum
15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-28595-1Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 -
Logozzo / Fähndrich Static Analysis
20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-38856-9Medium: 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