Ergebnisse filtern
-
de Boer / Bonsangue / Hallerstede Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers2010Verlag: SpringerISBN: 978-3-642-17070-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Lahiri / Wang Automated Technology for Verification and Analysis
16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-01089-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Graham / Palanque Interactive Systems. Design, Specification, and Verification
15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70568-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-93316-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jacko Human-Computer Interaction. Interaction Platforms and Techniques
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IIErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73106-1Medium: Buch117,69 € (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
-
Petrucci / Seceleanu / Cavalcanti Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67112-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hermanns Measurement, Modelling and Evaluation of Computing Systems
20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-43023-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hildebrandt / Ravara / van der Werf Web Services, Formal Methods, and Behavioral Types
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33611-4Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pérez / Yoshida Formal Techniques for Distributed Objects, Components, and Systems
39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-21758-7Medium: Buch68,48 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Julliand / Kouchnarenko B 2007: Formal Specification and Development in B
7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68760-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gorentla Venkata / Imam / Pophale OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments
Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-50994-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Albert / Lanese Formal Techniques for Distributed Objects, Components, and Systems
36th IFIP WG 6.1 International Conference, FORTE 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-39569-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
England / Palanque / Vanderdonckt Task Models and Diagrams for User Interface Design
8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11796-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Grabowski / Herbold System Analysis and Modeling. Technology-Specific Aspects of Models
9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46612-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bernardo / Degano / Zavattaro Formal Methods for Computational Systems Biology
8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008Erscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68892-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sato / Hanawa / Müller Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More
1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13216-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pophale / Imam / Aderholdt OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity
5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-04917-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bernardo / Cimatti Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34304-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bernardo / De Nicola / Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures1. Auflage 2016Verlag: SpringerISBN: 978-3-319-34095-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Nambiar / Poess Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things
7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 - September 4, 2015. Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-31408-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bernardo / Padovani / Zavattaro Formal Methods for Web Services
9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01917-3Medium: Buch49,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bernardo / Hillston Formal Methods for Performance Evaluation
7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced LecturesErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72482-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bernardo / Bogliolo Formal Methods for Mobile Computing
5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25697-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cámara / de Lemos / Ghezzi Assurances for Self-Adaptive Systems
Principles, Models, and Techniques1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36248-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
