Search Results for Debugging. - Narrowed by: Computer networks&nbsp;. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDebugging.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bnetworks$0025C2$0025A0.$002509Computer$002bnetworks$0025C2$0025A0.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-16T16:35:55Z Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612796 2026-03-16T16:35:55Z 2026-03-16T16:35:55Z Author&#160;Bouajjani, Ahmed. editor.&#160;Monniaux, David. 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-52234-0">https://doi.org/10.1007/978-3-319-52234-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DataFlow Supercomputing Essentials Research, Development and Education ent://SD_ILS/0/SD_ILS:611145 2026-03-16T16:35:55Z 2026-03-16T16:35:55Z Author&#160;Milutinovic, Veljko. author.&#160;Salom, Jakob. author.&#160;Veljovic, Dragan. author.&#160;Korolija, Nenad. author.&#160;Markovic, Dejan. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66128-5">https://doi.org/10.1007/978-3-319-66128-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings ent://SD_ILS/0/SD_ILS:618122 2026-03-16T16:35:55Z 2026-03-16T16:35:55Z Author&#160;Jobstmann, Barbara. editor.&#160;Leino, K. Rustan M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49122-5">https://doi.org/10.1007/978-3-662-49122-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>