Ergebnisse filtern
- Fachgebiet
- Medium
-
- 513
- 141
- Erscheinungsjahr
-
- 6
- 19
- 38
- 30
- 42
- 39
- 51
- 36
- 40
- 61
- 51
- 52
- 38
- 31
- 35
- 30
- 24
- 31
- Autoren
-
- 1
- 1
- 2
- 2
- 4
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 5
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 5
- 1
- 2
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 6
- 1
- 1
- 5
- 1
- 1
- 1
- 2
- 7
- 5
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 9
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 8
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 2
- 6
- 7
- 1
- 2
- 2
- 7
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 2
- 5
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 4
- 5
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 2
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 2
- 1
- 2
- 4
- 3
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 4
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 7
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 2
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 6
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 6
- 2
- 1
- 1
- 1
- 1
- 10
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 2
- 4
- 1
- 3
- 1
- 1
- 2
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 6
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 9
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 2
- 1
- 1
- 10
- 1
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 12
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 3
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 5
- 2
- 2
- Verlag
-
- 571
- 82
- 1
- Preis
-
- 48
- 573
- 33
- Sprachen
-
- 654
- Verfügbarkeit
-
- 654
- Katalog
-
- 654
- 20
-
De Paoli / Schulte / Broch Johnsen Service-Oriented and Cloud Computing
6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67261-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dustdar / Leymann / Villari Service Oriented and Cloud Computing
4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24071-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bozzano / Papadopoulos Model-Based Safety and Assessment
5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-64118-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lecomte / Pinger / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33951-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Tonetta / Schoitsch / Bitsch Computer Safety, Reliability, and Security
SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66284-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Maruyama / de Supinski / Wahib OpenMP: Memory, Devices, and Tasks
12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-45550-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Carbone / Petit Web Services and Formal Methods
8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29833-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Paoli / Pimentel / Zavattaro Service-Oriented and Cloud Computing
First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33426-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Qiang / Zheng / Hsu Cloud Computing and Big Data
Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-28429-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Koornneef / van Gulijk Computer Safety, Reliability, and Security
34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24254-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aiello / Johnsen / Dustdar Service-Oriented and Cloud Computing
5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-44481-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schoitsch Computer Safety, Reliability, and Security
29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15650-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kaeli Computer Performance Evaluation and Benchmarking
SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-540-93798-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Simao / Morgan Formal Methods: Foundations and Applications
14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25031-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kolovos / Wimmer Theory and Practice of Model Transformations
8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. ProceedingsErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-21155-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark50,28 € (inkl. MwSt.)
sofort verfügbar50,28 € (inkl. MwSt.)
sofort verfügbar -
Ortmeier / Daniel Computer Safety, Reliability, and Security
SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33674-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Habli / Sujan / Bitsch Computer Safety, Reliability, and Security
40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, ProceedingsErscheinungsjahr 2021Verlag: Springer International PublishingISBN: 978-3-030-83903-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Zeller / Höfig Model-Based Safety and Assessment
7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, ProceedingsErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-58920-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar69,54 € (inkl. MwSt.)
sofort verfügbar -
ter Beek / Lohmann Web Services and Formal Methods
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38229-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brim / Haverkort / Leucker Formal Methods: Applications and Technology
11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, ReviErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70951-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bitsch / Guiochet / Kaâniche Computer Safety, Reliability, and Security
32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40792-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Villari / Zimmermann / Lau Service-Oriented and Cloud Computing
Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44878-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bruni / Wolf Web Services and Formal Methods
5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01363-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tonetta / Schoitsch / Bitsch Computer Safety, Reliability, and Security
36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66266-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Tuosto / Ouyang Web Services and Formal Methods
10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08259-2Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (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