Search Results for McMillan, Kenneth. - Narrowed by: Online Library SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMcMillan$00252C$002bKenneth.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-11-15T11:26:54Z Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487418 2024-11-15T11:26:54Z 2024-11-15T11:26:54Z Author&#160;McMillan, Kenneth. editor.&#160;Rival, Xavier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54013-4">https://doi.org/10.1007/978-3-642-54013-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nanotechnology for the delivery of therapeutic nucleic acids ent://SD_ILS/0/SD_ILS:287269 2024-11-15T11:26:54Z 2024-11-15T11:26:54Z Author&#160;Peer, Dan, 1972-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9789814411059">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/>