Ergebnisse filtern
- Fachgebiet
- Medium
-
- 496
- 326
- Erscheinungsjahr
-
- 4
- 25
- 29
- 42
- 48
- 34
- 43
- 35
- 40
- 59
- 51
- 38
- 50
- 66
- 72
- 71
- 54
- 61
- Autoren
-
- 1
- 2
- 2
- 3
- 8
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 6
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 6
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 2
- 14
- 3
- 1
- 2
- 2
- 2
- 4
- 1
- 1
- 1
- 2
- 1
- 5
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 12
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 6
- 1
- 1
- 2
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 7
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 5
- 3
- 3
- 5
- 3
- 3
- 2
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 9
- 2
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 4
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 4
- 2
- 2
- 5
- 1
- 5
- 1
- 1
- 2
- 2
- 2
- 1
- 3
- 2
- 5
- 1
- 1
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 5
- 1
- 2
- 4
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 5
- 3
- 3
- 1
- 1
- 1
- 3
- 3
- 2
- 4
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 4
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 6
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 3
- 2
- 1
- 4
- 1
- 3
- 2
- 1
- 2
- 8
- 4
- 1
- 1
- 3
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 5
- 1
- 2
- 6
- 1
- 1
- 1
- 2
- 2
- 8
- 1
- 2
- 3
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 8
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 4
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 6
- 2
- 2
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 4
- 1
- 4
- 2
- 5
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 3
- 1
- 3
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 3
- 1
- 2
- 5
- 9
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 9
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 9
- 4
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 7
- 3
- 3
- 3
- 3
- 3
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 9
- 2
- 4
- 2
- 2
- 2
- 6
- 16
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 3
- 3
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 6
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 11
- 3
- 2
- 2
- 2
- 2
- Verlag
-
- 727
- 5
- 87
- 3
- Preis
-
- 50
- 730
- 42
- Sprachen
-
- 822
- Verfügbarkeit
-
- 821
- 1
- Katalog
-
- 822
- 24
-
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 -
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 -
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 -
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 -
Oliveira / Woodcock Formal Methods: Foundations and Applications
12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10451-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Laneve / Su Web Services and Formal Methods
6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14457-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Collart-Dutilleul / Lecomte / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-18743-9Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rathgeb / Echtle / Müller-Clostermann Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance
15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12103-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Casimiro / Ortmeier / Bitsch Computer Safety, Reliability, and Security
39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-54548-2Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cornélio / Roscoe Formal Methods: Foundations and Applications
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-29472-8Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Carvalho / Stolz Formal Methods: Foundations and Applications
23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-63881-8Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ribeiro / Lecomte Formal Methods: Foundations and Applications
19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49814-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Romanovsky / Troubitsyna / Gashi Computer Safety, Reliability, and Security
SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-26250-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar69,54 € (inkl. MwSt.)
sofort verfügbar -
Oliveira / Woodcock Formal Methods: Foundations and Applications
12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-10452-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Bravetti / Núñez / Zavattaro Web Services and Formal Methods
Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-38865-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
De Paoli / Pimentel / Zavattaro Service-Oriented and Cloud Computing
First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-33427-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar -
Kritikos / Plebani / de Paoli Service-Oriented and Cloud Computing
7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-99818-3Medium: 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 -
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, Proceedings2009Verlag: SpringerISBN: 978-3-642-01364-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Górski Computer Safety, Reliability, and Security
25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-45763-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Di Ruscio / Varró Theory and Practice of Model Transformations
7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, ProceedingsErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-08789-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark50,28 € (inkl. MwSt.)
sofort verfügbar50,28 € (inkl. MwSt.)
sofort verfügbar -
Jörges Construction and Evolution of Code Generators
A Model-Driven and Service-Oriented Approach1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36126-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Boer / Bonsangue / Graf Formal Methods for Components and Objects
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures2005Verlag: SpringerISBN: 978-3-540-31939-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