Search Results for Debugging. - Narrowed by: 1:SPRINGER
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDebugging.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253ASPRINGER$0025091$00253ASPRINGER$0026ic$003dtrue$0026ps$003d300?dt=list
2026-03-17T12:57:05Z
Embedded Software Verification and Debugging
ent://SD_ILS/0/SD_ILS:610988
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Lettnin, Djones. editor. Winterholer, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4614-2266-2">https://doi.org/10.1007/978-1-4614-2266-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Python Workbook A Brief Introduction with Exercises and Solutions
ent://SD_ILS/0/SD_ILS:609375
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Stephenson, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84560-4">https://doi.org/10.1007/978-3-031-84560-4</a><br/>Format: Electronic Resources<br/>Availability 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-17T12:57:05Z
2026-03-17T12:57:05Z
Author Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
ent://SD_ILS/0/SD_ILS:607564
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Klemmer, Lucas. author. Große, Daniel. author. (orcid)0000-0002-1490-6175 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83093-8">https://doi.org/10.1007/978-3-031-83093-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Boosting Software Development Using Machine Learning
ent://SD_ILS/0/SD_ILS:608573
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Benala, Tirimula Rao. editor. Dehuri, Satchidananda. editor. Mall, Rajib. editor. Favorskaya, Margarita N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-88188-6">https://doi.org/10.1007/978-3-031-88188-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analog Filters Handbook using APL-2
ent://SD_ILS/0/SD_ILS:610265
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Fernández Marzalo, Carlos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80987-3">https://doi.org/10.1007/978-3-031-80987-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning Java A Test-Driven Approach
ent://SD_ILS/0/SD_ILS:604840
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66638-4">https://doi.org/10.1007/978-3-031-66638-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
ent://SD_ILS/0/SD_ILS:604641
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Laaksonen, Antti. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61794-2">https://doi.org/10.1007/978-3-031-61794-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Laser Powder Bed Fusion of Additive Manufacturing Technology
ent://SD_ILS/0/SD_ILS:601633
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Wang, Di. author. (orcid)0000-0001-5727-2777 Yang, Yongqiang. author. Liu, Yang. author. Bai, Yuchao. author. Tan, Chaolin. author. (orcid)0000-0003-2029-4600<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5513-8">https://doi.org/10.1007/978-981-99-5513-8</a><br/>Format: Electronic Resources<br/>Availability 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-17T12:57:05Z
2026-03-17T12:57:05Z
Author Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Decentralized Neural Control: Application to Robotics
ent://SD_ILS/0/SD_ILS:618327
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Garcia-Hernandez, Ramon. author. Lopez-Franco, Michel. author. Sanchez, Edgar N. author. Alanis, Alma y. author. (orcid)0000-0001-9600-779X Ruz-Hernandez, Jose A. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53312-4">https://doi.org/10.1007/978-3-319-53312-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DataFlow Supercomputing Essentials Research, Development and Education
ent://SD_ILS/0/SD_ILS:611145
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Milutinovic, Veljko. author. Salom, Jakob. author. Veljovic, Dragan. author. Korolija, Nenad. author. Markovic, Dejan. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
ent://SD_ILS/0/SD_ILS:613452
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Laaksonen, Antti. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72547-5">https://doi.org/10.1007/978-3-319-72547-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deductive Software Verification - The KeY Book From Theory to Practice
ent://SD_ILS/0/SD_ILS:616009
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection
ent://SD_ILS/0/SD_ILS:613964
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Mohamed, Khaled Salah. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22035-2">https://doi.org/10.1007/978-3-319-22035-2</a><br/>Format: Electronic Resources<br/>Availability 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-17T12:57:05Z
2026-03-17T12:57:05Z
Author Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-17T12:57:05Z
2026-03-17T12:57:05Z
Author Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Android Application Development for the Intel Platform
ent://SD_ILS/0/SD_ILS:618667
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Cohen, Ryan. author. Wang, Tao. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0100-8">https://doi.org/10.1007/978-1-4842-0100-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
jQuery 2 Recipes A Problem-Solution Approach
ent://SD_ILS/0/SD_ILS:618688
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Pande, Arun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Visual Studio Condensed For Visual Studio 2013 Express, Professional, Premium and Ultimate Editions
ent://SD_ILS/0/SD_ILS:618550
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Desjardins, Patrick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6823-9">https://doi.org/10.1007/978-1-4302-6823-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Oracle SQL For Oracle Database 12c
ent://SD_ILS/0/SD_ILS:618537
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Gorman, Tim. author. Jorgensen, Inger. author. Caffrey, Melanie. author. deHaan, Lex. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6557-3">https://doi.org/10.1007/978-1-4302-6557-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scripting in Java Integrating with Groovy and JavaScript
ent://SD_ILS/0/SD_ILS:618573
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Sharan, Kishori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Xcode
ent://SD_ILS/0/SD_ILS:618512
2026-03-17T12:57:05Z
2026-03-17T12:57:05Z
Author Knott, Matthew. author. Bramhall, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-5744-8">https://doi.org/10.1007/978-1-4302-5744-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>