Search Results for Duan, Zhenhua. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDuan$00252C$002bZhenhua.$0026ic$003dtrue$0026ps$003d300?dt=list 2024-10-06T04:24:34Z Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485539 2024-10-06T04:24:34Z 2024-10-06T04:24:34Z Author&#160;Duan, Zhenhua. editor.&#160;Liu, Shaoying. editor.&#160;Tian, Cong. editor.&#160;Nagoya, Fumiko. 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-13651-2">https://doi.org/10.1007/978-3-030-13651-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518798 2024-10-06T04:24:34Z 2024-10-06T04:24:34Z Author&#160;Liu, Shaoying. editor.&#160;Duan, Zhenhua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518798.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-17404-4">https://doi.org/10.1007/978-3-319-17404-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489041 2024-10-06T04:24:34Z 2024-10-06T04:24:34Z Author&#160;Liu, Shaoying. editor.&#160;Duan, Zhenhua. 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-04915-1">https://doi.org/10.1007/978-3-319-04915-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers ent://SD_ILS/0/SD_ILS:520911 2024-10-06T04:24:34Z 2024-10-06T04:24:34Z Author&#160;Liu, Shaoying. editor.&#160;Duan, Zhenhua. editor.&#160;Liu, Ai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520911.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-29476-1">https://doi.org/10.1007/978-3-031-29476-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 25th International Conference, COCOON 2019, Xi'an, China, July 29&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482805 2024-10-06T04:24:34Z 2024-10-06T04:24:34Z Author&#160;Du, Ding-Zhu. editor.&#160;Duan, Zhenhua. editor.&#160;Tian, Cong. 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-26176-4">https://doi.org/10.1007/978-3-030-26176-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400716 2024-10-06T04:24:34Z 2024-10-06T04:24:34Z Author&#160;Tian, Cong. editor.&#160;Nagoya, Fumiko. editor.&#160;Liu, Shaoying. editor.&#160;Duan, Zhenhua. 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-90104-6">https://doi.org/10.1007/978-3-319-90104-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi&rsquo;an, China, April 25-29, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188367 2024-10-06T04:24:34Z 2024-10-06T04:24:34Z Author&#160;Agrawal, Manindra. editor.&#160;Du, Dingzhu. editor.&#160;Duan, Zhenhua. editor.&#160;Li, Angsheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-79228-4">http://dx.doi.org/10.1007/978-3-540-79228-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of finite state based models and applications ent://SD_ILS/0/SD_ILS:291651 2024-10-06T04:24:34Z 2024-10-06T04:24:34Z Author&#160;Wang, Jiacun, editor of compilation.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439846193">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>