Search Results for Shao, Zhong.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dShao$00252C$002bZhong.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?2024-09-01T22:29:02ZProgramming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4894342024-09-01T22:29:02Z2024-09-01T22:29:02ZAuthor Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1876402024-09-01T22:29:02Z2024-09-01T22:29:02ZAuthor Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76637-7">http://dx.doi.org/10.1007/978-3-540-76637-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959292024-09-01T22:29:02Z2024-09-01T22:29:02ZAuthor Jouannaud, Jean-Pierre. editor. Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25379-9">http://dx.doi.org/10.1007/978-3-642-25379-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>