Search Results for Sun. - Narrowed by: Mathematical logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSun.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026te$003dILS$0026ps$003d300?dt=list 2024-12-23T07:39:22Z Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2&ndash;4, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486010 2024-12-23T07:39:22Z 2024-12-23T07:39:22Z Author&#160;Sun, Xiaoming. editor.&#160;He, Kun. editor.&#160;Chen, Xiaoyun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-0105-0">https://doi.org/10.1007/978-981-15-0105-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483548 2024-12-23T07:39:22Z 2024-12-23T07:39:22Z Author&#160;Guan, Nan. editor.&#160;Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926&#160;Sun, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35540-1">https://doi.org/10.1007/978-3-030-35540-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485524 2024-12-23T07:39:22Z 2024-12-23T07:39:22Z Author&#160;Jones, Cliff. editor.&#160;Pihlajasaari, Pekka. editor.&#160;Sun, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06410-9">https://doi.org/10.1007/978-3-319-06410-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>