Ergebnisse filtern
- Fachgebiet
- Medium
-
- 499
- 138
- Erscheinungsjahr
-
- 6
- 25
- 42
- 34
- 46
- 43
- 52
- 31
- 43
- 55
- 37
- 40
- 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
- 2
- 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
- 9
- 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
- 4
- 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
-
Nambiar / Poess Performance Evaluation and Benchmarking
Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-10423-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Agha / Igarashi / Kobayashi Concurrent Objects and Beyond
Papers dedicated to Akinori Yonezawa on the Occasion of His 65th BirthdayErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44470-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nikoletseas Experimental and Efficient Algorithms
4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25920-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yang / Jin / Ungerer Autonomic and Trusted Computing
Third International Conference, ATC 2006, Wuhan, China, September 3-6, 20061. Auflage 2006Verlag: SpringerISBN: 978-3-540-38619-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Remke / Haverkort Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-31558-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lluch Lafuente / Proença Coordination Models and Languages
18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-39518-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bliudze / Bocchi Coordination Models and Languages
22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-50028-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gibson-Robinson / Hopcroft / Lazic Concurrency, Security, and Puzzles
Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday1. Auflage 2017Verlag: SpringerISBN: 978-3-319-51045-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Traore / Woungang / Ahmed Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments
Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28-30, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03711-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Treharne / King / Henson ZB 2005: Formal Specification and Development in Z and B
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25559-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-25032-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Rensink / Sánchez Cuadrado Theory and Practice of Model Transformation
11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-93317-7Medium: 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, Proceedings1. Auflage 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 -
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 -
Bozzano / Papadopoulos Model-Based Safety and Assessment
5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-64119-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Gallina / Skavhaug / Bitsch Computer Safety, Reliability, and Security
37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-99130-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Gheyi / Naumann Formal Methods: Foundations and Applications
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33295-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Winther / Gran / Dahll Computer Safety, Reliability, and Security
24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29200-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Massoni / Mousavi Formal Methods: Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03043-8Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (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 -
Hartman / Kreische Model Driven Architecture - Foundations and Applications
First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30026-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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: SpringerISBN: 978-3-319-66283-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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-54338-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Habli / Sujan / Bitsch Computer Safety, Reliability, and Security
40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-83902-4Medium: 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