| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings | | 978-3-642-04760-2 | 2009 | Anders P. Ravn |
| Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, ... Notes in Computer Science, Band 9409) | | 978-3-319-25941-3 | 2015 | Xuandong Li · Wang Yi |
| Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures | | 978-3-540-74963-9 | 2007 | Chris George · Jim Woodcock |
| Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures | | 978-3-030-17600-6 | 2019 | Jonathan P. Bowen · Zili Zhang |
| Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures | | 978-3-319-29627-2 | 2016 | Zili Zhang |
| Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers | | 978-3-319-07601-0 | 2014 | José Luiz Fiadeiro · Jinyun Xue |
| Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays | | 978-3-540-75220-2 | 2007 | Cliff B. Jones · Jim Woodcock |
| Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, ... Notes in Computer Science , Band 4260) | | 978-3-540-47460-9 | 2006 | Jifeng He |
| Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. ... Notes in Computer Science, Band 7151) | | 978-3-642-32354-6 | 2012 | Alan Wassyng |
| Mathematical Frameworks for Component Software: Models for Analysis and Synthesis | | 978-981-270-017-9 | 2007 | Jifeng He |
| Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers | | 978-3-540-25304-4 | 2008 | Keijiro Araki |
| Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings | | 978-3-540-75290-5 | 2007 | Cliff B. Jones · Jones Woodcock |
| Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings | | 978-3-642-39717-2 | 2013 | Jim Woodcock · Huibiao Zhu |
| Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday | | 978-3-642-39697-7 | 2013 | Jim Woodcock · Huibiao Zhu |
| Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Notes in Computer Science, Band 8050) | | 978-3-642-39720-2 | 2013 | Jim Woodcock · Huibiao Zhu |
| Yu zhou de qi yuan | | 978-1-895980-68-4 | 1998 |