Zhiming Liu – författare
Engineering Trustworthy Software Systems
Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
719 kr
Skickas inom 10-15 vardagar
Engineering Trustworthy Software Systems
4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
829 kr
Skickas inom 10-15 vardagar
Engineering Trustworthy Software Systems
5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures
719 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing – ICTAC 2022
19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings
719 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing – ICTAC 2025
22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings
1 059 kr
Skickas inom 5-8 vardagar
Formal Aspects of Component Software
10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
719 kr
Skickas inom 10-15 vardagar
Dependable Software Engineering: Theories, Tools, and Applications
First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
689 kr
Skickas inom 10-15 vardagar
Engineering Trustworthy Software Systems
First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
719 kr
Skickas inom 10-15 vardagar
Engineering Trustworthy Software Systems
Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
719 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing - ICTAC 2004
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
1 429 kr
Skickas inom 10-15 vardagar
Formal Methods and Software Engineering
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
1 429 kr
Skickas inom 10-15 vardagar
Domain Modeling and the Duration Calculus
International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
719 kr
Skickas inom 10-15 vardagar
Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
719 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing - ICTAC 2007
4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
719 kr
Skickas inom 10-15 vardagar
Automated Technology for Verification and Analysis
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
719 kr
Skickas inom 10-15 vardagar
Foundations of Health Informatics Engineering and Systems
First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
669 kr
Skickas inom 10-15 vardagar
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
719 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing -- ICTAC 2013
10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
719 kr
Skickas inom 10-15 vardagar
Unifying Theories of Programming and Formal Engineering Methods
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
719 kr
Skickas inom 10-15 vardagar
Engineering Trustworthy Software Systems
6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures
719 kr
Skickas inom 10-15 vardagar
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
2 479 kr
Tillfälligt slut