Yazar
Xu, Dachuan. editor.
Format:
Electronic Resources
Alıntı:
Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6
Yazar
Urban, Christian. editor.
Format:
Electronic Resources
Alıntı:
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27
View Other Search Results
Yazar
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019
Yazar
Huang, Shujian. editor.
Format:
Electronic Resources
Alıntı:
Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27–29, 2019
Yazar
Liu, Zhiming. editor.
Format:
Electronic Resources
Alıntı:
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China
Yazar
Blackburn, Patrick. editor.
Format:
Electronic Resources
Alıntı:
Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China
Yazar
Li, Xuandong. editor.
Format:
Electronic Resources
Alıntı:
, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / Li, Xuandong. editor.
Yazar
Finkbeiner, Bernd. editor.
Format:
Electronic Resources
Alıntı:
, Shanghai, China, October 12-15, 2015, Proceedings / Finkbeiner, Bernd. editor.
Yazar
Tuosto, Emilio. editor.
Format:
Electronic Resources
Alıntı:
Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August
Yazar
Guan, Nan. editor.
Format:
Electronic Resources
Alıntı:
, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / Guan, Nan. editor.
Yazar
Shi, Zhongzhi. editor.
Format:
Electronic Resources
Alıntı:
, China, October 17-20, 2014, Proceedings / Shi, Zhongzhi. editor.
Arama Sonuçlarını Sınırlandır
Daraltılmış: