Ergebnisse filtern
- Fachgebiet
- Medium
-
- 491
- 332
- Erscheinungsjahr
-
- 4
- 18
- 35
- 37
- 50
- 33
- 42
- 37
- 46
- 56
- 51
- 41
- 53
- 65
- 72
- 67
- 54
- 62
- Autoren
-
- 1
- 2
- 1
- 2
- 7
- 1
- 1
- 4
- 2
- 1
- 2
- 1
- 5
- 3
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 7
- 1
- 3
- 1
- 1
- 1
- 2
- 4
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 5
- 4
- 1
- 2
- 1
- 1
- 6
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 2
- 13
- 3
- 1
- 2
- 2
- 2
- 5
- 1
- 1
- 2
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 12
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 5
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 6
- 1
- 1
- 2
- 1
- 6
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 8
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 6
- 2
- 3
- 6
- 3
- 3
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 9
- 2
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 1
- 3
- 2
- 2
- 5
- 1
- 4
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 3
- 1
- 3
- 3
- 1
- 1
- 1
- 2
- 4
- 1
- 4
- 1
- 1
- 5
- 2
- 2
- 3
- 1
- 1
- 5
- 2
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 5
- 2
- 2
- 4
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 5
- 3
- 3
- 1
- 1
- 1
- 3
- 2
- 3
- 1
- 2
- 4
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 4
- 1
- 2
- 1
- 2
- 1
- 1
- 7
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 3
- 2
- 1
- 1
- 3
- 2
- 1
- 4
- 1
- 3
- 2
- 1
- 4
- 8
- 3
- 2
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 5
- 1
- 2
- 6
- 1
- 1
- 1
- 2
- 2
- 7
- 1
- 2
- 3
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 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
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 8
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 5
- 1
- 4
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 6
- 2
- 2
- 2
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 4
- 2
- 5
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 3
- 1
- 2
- 5
- 9
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 2
- 5
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 11
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 3
- 6
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 11
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 9
- 2
- 4
- 2
- 2
- 2
- 7
- 17
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 3
- 3
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 6
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 6
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 6
- 3
- 2
- 10
- 3
- 2
- 2
- 2
- 2
- 2
- Verlag
-
- 726
- 1
- 90
- 6
- Preis
-
- 51
- 730
- 42
- Sprachen
-
- 823
- Verfügbarkeit
-
- 823
- Katalog
-
- 823
- 24
-
Jardim Nunes / Selic / Rodrigues da Silva UML Modeling Languages and Applications
<<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25081-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Jardim Nunes / Selic / Rodrigues da Silva UML Modeling Languages and Applications
<<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers2005Verlag: SpringerISBN: 978-3-540-31797-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Gallina / Skavhaug / Schoitsch Computer Safety, Reliability, and Security
SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-99229-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar85,59 € (inkl. MwSt.)
sofort verfügbar
-
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
-
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
-
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
-
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
-
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
-
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, Revised Selected2007Verlag: SpringerISBN: 978-3-540-70952-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
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: SpringerISBN: 978-3-319-33950-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
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
-
Cerone / Persico / Fernandes Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1-2, 2012 Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54337-1Medium: 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
-
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
-
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
-
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
-
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
-
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
