Search Results for Debugging. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDebugging.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-28T07:59:04Z Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code ent://SD_ILS/0/SD_ILS:171818 2026-03-28T07:59:04Z 2026-03-28T07:59:04Z Author&#160;Blunden, Bill. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-5108-8">http://dx.doi.org/10.1007/978-1-4302-5108-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday ent://SD_ILS/0/SD_ILS:609119 2026-03-28T07:59:04Z 2026-03-28T07:59:04Z Author&#160;Barik, Rajkishore. editor.&#160;Gupta, Rajiv. editor.&#160;Palsberg, Jens. editor. (orcid)0000-0003-4747-365X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97492-2">https://doi.org/10.1007/978-3-031-97492-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning software engineering ent://SD_ILS/0/SD_ILS:599078 2026-03-28T07:59:04Z 2026-03-28T07:59:04Z Author&#160;Stephens, Rod, author.<br/>Preferred Shelf Number&#160;QA76.758 .S74 2023<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-28T07:59:04Z 2026-03-28T07:59:04Z 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/> Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:612674 2026-03-28T07:59:04Z 2026-03-28T07:59:04Z Author&#160;Liu, Shaoying. editor.&#160;Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-31220-0">https://doi.org/10.1007/978-3-319-31220-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deductive Software Verification - The KeY Book From Theory to Practice ent://SD_ILS/0/SD_ILS:616009 2026-03-28T07:59:04Z 2026-03-28T07:59:04Z Author&#160;Ahrendt, Wolfgang. editor.&#160;Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291&#160;Bubel, Richard. editor.&#160;H&auml;hnle, Reiner. editor.&#160;Schmitt, Peter H. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</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-28T07:59:04Z 2026-03-28T07:59:04Z 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/> Scripting in Java Integrating with Groovy and JavaScript ent://SD_ILS/0/SD_ILS:618573 2026-03-28T07:59:04Z 2026-03-28T07:59:04Z Author&#160;Sharan, Kishori. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0713-0">https://doi.org/10.1007/978-1-4842-0713-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> jQuery 2 Recipes A Problem-Solution Approach ent://SD_ILS/0/SD_ILS:618688 2026-03-28T07:59:04Z 2026-03-28T07:59:04Z Author&#160;Pande, Arun. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6434-7">https://doi.org/10.1007/978-1-4302-6434-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>