Search Results for Zhang, Lijun.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dZhang$00252C$002bLijun.$0026ps$003d300?dt=list2026-06-01T09:55:00ZTools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4840332026-06-01T09:55:00Z2026-06-01T09:55:00ZAuthor Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4863042026-06-01T09:55:00Z2026-06-01T09:55:00ZAuthor Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5188502026-06-01T09:55:00Z2026-06-01T09:55:00ZAuthor Finkbeiner, Bernd. editor. Pu, Geguang. editor. Zhang, Lijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24953-7">https://doi.org/10.1007/978-3-319-24953-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Supramolecular gels : materials and emerging applicationsent://SD_ILS/0/SD_ILS:5969042026-06-01T09:55:00Z2026-06-01T09:55:00ZAuthor Jiao, Tifeng, author.<br/>Preferred Shelf Number QD549 .J53 2021<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9783527817009">https://onlinelibrary.wiley.com/doi/book/10.1002/9783527817009</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hydroxyapatite coatings for biomedical applicationsent://SD_ILS/0/SD_ILS:5468022026-06-01T09:55:00Z2026-06-01T09:55:00ZAuthor Zhang, Sam.<br/>Preferred Shelf Number R857 .M3 H944 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439886946">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>