20 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Urban, Christian. editor.
Format:
Electronic Resources
Alıntı:
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27
Yazar
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019
View Other Search Results
Yazar
Lu, Qin. editor.
Format:
Electronic Resources
Alıntı:
Chinese Lexical Semantics 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised
Yazar
Yung, Moti. editor.
Format:
Electronic Resources
Alıntı:
Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015
Yazar
Blackburn, Patrick. editor.
Format:
Electronic Resources
Alıntı:
Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China
Yazar
Sun, Xiaoming. editor.
Format:
Electronic Resources
Alıntı:
Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019
Yazar
Qi, Guilin. editor.
Format:
Electronic Resources
Alıntı:
Semantic Technology 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13
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
Croitoru, Madalina. editor.
Format:
Electronic Resources
Alıntı:
, Beijing, China, August 3, 2013. Revised Selected Papers / Croitoru, Madalina. editor.
Yazar
Guan, Nan. editor.
Format:
Electronic Resources
Alıntı:
, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / Guan, Nan. editor.
20 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: