Ergebnisse filtern
-
Paliouras / Vounckx / Verkest Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29013-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Van Gorp / Ritter / Rose Modelling Foundations and Applications
9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39012-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bondavalli / Ceccarelli / Ortmeier Computer Safety, Reliability, and Security
SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10556-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fantechi / Lecomte / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68498-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gallina / Skavhaug / Schoitsch Computer Safety, Reliability, and Security
SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-99228-0Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 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 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 Werktage -
Gallina / Skavhaug / Bitsch Computer Safety, Reliability, and Security
37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-99129-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage -
Bultan / Hsiung Automated Technology for Verification and Analysis
9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24371-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Butler / Jones / Romanovsky Methods, Models and Tools for Fault Tolerance
1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00866-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Casimiro / Ortmeier / Schoitsch Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-55582-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting LogicErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71940-3Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ramos / Lrios Rosillo / Unger Advanced Distributed Systems
5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28063-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Goodloe / Person NASA Formal Methods
4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28890-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brat / Rungta / Venet NASA Formal Methods
5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38087-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lang / Flammini Formal Methods for Industrial Critical Systems
19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10701-1Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Núñez / Güdemann Formal Methods for Industrial Critical Systems
20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings2015Verlag: SpringerISBN: 978-3-319-19457-8Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort