Search Results for Zhang, Lijun. - Narrowed by: Electronic LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dZhang$00252C$002bLijun.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026ic$003dtrue$0026ps$003d300?2024-11-10T01:14:35ZTools 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:4863042024-11-10T01:14:35Z2024-11-10T01:14:35ZAuthor 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/>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 IIent://SD_ILS/0/SD_ILS:4840332024-11-10T01:14:35Z2024-11-10T01:14:35ZAuthor 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/>Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5188502024-11-10T01:14:35Z2024-11-10T01:14:35ZAuthor Finkbeiner, Bernd. editor. Pu, Geguang. editor. Zhang, Lijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518850.1)<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/>Hydroxyapatite coatings for biomedical applicationsent://SD_ILS/0/SD_ILS:2899752024-11-10T01:14:35Z2024-11-10T01:14:35ZAuthor Zhang, Sam.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439886946">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Electrochemical nanofabrication principles and applicationsent://SD_ILS/0/SD_ILS:2916992024-11-10T01:14:35Z2024-11-10T01:14:35ZAuthor Wei, Di.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9789814303743">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>