Search Results for Debugging.

Algorithmic program debugging

2026-03-16T13:18:28Z

Author Shapiro, Ehud Y.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335
Format: Electronic Resources
Availability Online Library~1

Debugging embedded microprocessor systems

2026-03-16T13:18:28Z

Author Ball, Stuart R., 1956-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750699907
Format: Electronic Resources
Availability Online Library~1

Embedded Software Verification and Debugging

2026-03-16T13:18:28Z

Author Lettnin, Djones. editor. Winterholer, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-2266-2
Format: Electronic Resources
Availability Online Library~1

Debugging at the Electronic System Level

2026-03-16T13:18:28Z

Author Rogin, Frank. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9255-7
Format: Electronic Resources
Availability Online Library~1

Debugging by thinking a multidisciplinary approach

2026-03-16T13:18:28Z

Author Metzger, Robert C.
Preferred Shelf Number ONLINE
Electronic Access Volltext http://www.sciencedirect.com/science/book/9781555583071
Format: Electronic Resources
Availability Online Library~1

Pro Perl Debugging From Professional to Expert

2026-03-16T13:18:28Z

Author Foley, Richard. author. Lester, Andy. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0044-4
Format: Electronic Resources
Availability Online Library~1

Program styl, design, efficiency, debugging, and testing

2026-03-16T13:18:28Z

Author Van Tassel, Dennie.
Preferred Shelf Number QA 76.6 V37 1978
Format: Books
Availability Beytepe Library~1

Program style, design, efficiency, debugging, and testing

2026-03-16T13:18:28Z

Author Van Tassel, Dennie, 1939-
Preferred Shelf Number QA 76.6 V37 1974
Format: Books
Availability Beytepe Library~1

Microprocessor. 5, Software and hardware aspects of development, debugging and testing -- the microcomputer

2026-03-16T13:18:28Z

Author Darche, Philippe.
Preferred Shelf Number QA76.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119801740
Format: Electronic Resources
Availability Online Library~1

Visual Studio code : end-to-end editing and debugging tools for web developers

2026-03-16T13:18:28Z

Author Johnson, Bruce, author.
Preferred Shelf Number QA76.76 .A65
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119588238
Format: Electronic Resources
Availability Online Library~1

Debugging Systems-on-Chip Communication-centric and Abstraction-based Techniques

2026-03-16T13:18:28Z

Author Vermeulen, Bart. author. Goossens, Kees. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06242-6
Format: Electronic Resources
Availability Online Library~1

Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code

2026-03-16T13:18:28Z

Author Blunden, Bill. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-5108-8
Format: Electronic Resources
Availability Online Library~1

Why programs fail a guide to systematic debugging

2026-03-16T13:18:28Z

Author Zeller, Andreas.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123745156
Format: Electronic Resources
Availability Online Library~1

Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

2026-03-16T13:18:28Z

Author Boulé, Marc. author. Zilic, Zeljko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8586-4
Format: Electronic Resources
Availability Online Library~1

Modern multithreading implementing, testing, and debugging multithreaded Java and C++/Pthreads/Win32 programs

2026-03-16T13:18:28Z

Author Carver, Richard H., 1960- Tai, Kuo-Chung. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0624/2005045775-b.html John Wiley http://dx.doi.org/10.1002/0471744174
Format: Electronic Resources
Availability Online Library~1

Why programs fail a guide to systematic debugging

2026-03-16T13:18:28Z

Author Zeller, Andreas.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781558608665
Format: Electronic Resources
Availability Online Library~1

The microprocessor : a practical introduction using the Arm Cortex-M0 processor

2026-03-16T13:18:28Z

Author Vasavada, Darshak S., author. Sinha, Sudhir Kumar, author.
Preferred Shelf Number TK7895 .M5 V37 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394245321
Format: Electronic Resources
Availability Online Library~1

Microsoft Copilot Studio quick start : learn to create and deploy personalized AI solutions

2026-03-16T13:18:28Z

Author Matfess, Jared, author.
Preferred Shelf Number Q335 .M38 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352418
Format: Electronic Resources
Availability Online Library~1

Fundamentals of VHDL for FPGA programming using Vivado

2026-03-16T13:18:28Z

Author Pakdel, Majid, author.
Preferred Shelf Number TK7885.7
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394343126
Format: Electronic Resources
Availability Online Library~1

Boosting Software Development Using Machine Learning

2026-03-16T13:18:28Z

Author Benala, Tirimula Rao. editor. Dehuri, Satchidananda. editor. Mall, Rajib. editor. Favorskaya, Margarita N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88188-6
Format: Electronic Resources
Availability Online Library~1

The Python Workbook A Brief Introduction with Exercises and Solutions

2026-03-16T13:18:28Z

Author Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84560-4
Format: Electronic Resources
Availability Online Library~1

Analog Filters Handbook using APL-2

2026-03-16T13:18:28Z

Author Fernández Marzalo, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80987-3
Format: Electronic Resources
Availability Online Library~1

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

2026-03-16T13:18:28Z

Author Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97492-2
Format: Electronic Resources
Availability Online Library~1

Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification

2026-03-16T13:18:28Z

Author Klemmer, Lucas. author. Große, Daniel. author. (orcid)0000-0002-1490-6175 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-83093-8
Format: Electronic Resources
Availability Online Library~1

Professional JavaScript for web developers

2026-03-16T13:18:28Z

Author Frisbie, Matt, author.
Preferred Shelf Number TK5105.8885 .J38 Z34 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193240
Format: Electronic Resources
Availability Online Library~1

Professional C++

2026-03-16T13:18:28Z

Author Gregoire, Marc (Software engineer), author.
Preferred Shelf Number QA76.73 .C153 G733 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193202
Format: Electronic Resources
Availability Online Library~1

x86 software reverse-engineering, cracking, and counter-measures

2026-03-16T13:18:28Z

Author Domas, Stephanie, author. Domas, Christopher, author.
Preferred Shelf Number QA76.9 .A25 D66 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277131
Format: Electronic Resources
Availability Online Library~1

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2026-03-16T13:18:28Z

Author Laaksonen, Antti. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61794-2
Format: Electronic Resources
Availability Online Library~1

Learning Java A Test-Driven Approach

2026-03-16T13:18:28Z

Author Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66638-4
Format: Electronic Resources
Availability Online Library~1

Laser Powder Bed Fusion of Additive Manufacturing Technology

2026-03-16T13:18:28Z

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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5513-8
Format: Electronic Resources
Availability Online Library~1

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

2026-03-16T13:18:28Z

Author Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40132-9
Format: Electronic Resources
Availability Online Library~1

Ethics in Artificial Intelligence: Bias, Fairness and Beyond

2026-03-16T13:18:28Z

Author Mukherjee, Animesh. editor. Kulshrestha, Juhi. editor. Chakraborty, Abhijnan. editor. Kumar, Srijan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7184-8
Format: Electronic Resources
Availability Online Library~1

Advances in Quantitative Ethnography 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8-12, 2023, Proceedings

2026-03-16T13:18:28Z

Author Arastoopour Irgens, Golnaz. editor. Knight, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47014-1
Format: Electronic Resources
Availability Online Library~1

Formal Verification of Structurally Complex Multipliers

2026-03-16T13:18:28Z

Author Mahzoon, Alireza. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-24571-8
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

2026-03-16T13:18:28Z

Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2449-3
Format: Electronic Resources
Availability Online Library~1

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

2026-03-16T13:18:28Z

Author Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31476-6
Format: Electronic Resources
Availability Online Library~1

Handbook of software fault localization : foundations and advances

2026-03-16T13:18:28Z

Author Wong, W. Eric, editor. Tse, T. H., editor. John Wiley & Sons, publisher.
Preferred Shelf Number QA76.76 .F34 H36 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119880929
Format: Electronic Resources
Availability Online Library~1

Beginning software engineering

2026-03-16T13:18:28Z

Author Stephens, Rod, author.
Preferred Shelf Number QA76.758 .S74 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592
Format: Electronic Resources
Availability Online Library~1

Microcontroller prototypes with Arduino and a 3D printer : learn, program, manufacture

2026-03-16T13:18:28Z

Author Bolanakis, Dimosthenis E., 1978- author.
Preferred Shelf Number TJ223 .P76 B665 2021
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782698
Format: Electronic Resources
Availability Online Library~1

Professional JavaScript® for web developers

2026-03-16T13:18:28Z

Author Frisbie, Matt, author.
Preferred Shelf Number QA76.73 .J39
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119366560
Format: Electronic Resources
Availability Online Library~1

Professional WordPress plugin development

2026-03-16T13:18:28Z

Author Williams, Brad (Web developer) Tadlock, Justin. James Jacoby, John.
Preferred Shelf Number TK5105.8885 .W66
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119666981
Format: Electronic Resources
Availability Online Library~1

Transient analysis of power systems : a practical approach

2026-03-16T13:18:28Z

Author Martinez-Velasco, Juan A., editor.
Preferred Shelf Number TK3226 .T76 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119480549
Format: Electronic Resources
Availability Online Library~1

Machine learning and big data with kdb+/q

2026-03-16T13:18:28Z

Author Novotny, Jan, 1982- author. Bilokon, Paul A., 1982- author. Galiotos, Aris, 1979- author. Délèze, Frédéric, 1975- author.
Preferred Shelf Number QA76.7 .N68 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119404729
Format: Electronic Resources
Availability Online Library~1

Design and application of modern synchronous generator excitation systems

2026-03-16T13:18:28Z

Author Li, Jicheng, 1930- author.
Preferred Shelf Number TK2731 .L5 2019
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118841006
Format: Electronic Resources
Availability Online Library~1

Design technology of synthetic aperture radar

2026-03-16T13:18:28Z

Author Lu, Jiaguo, 1964- author.
Preferred Shelf Number TK6592 .S95 L83 2019
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119564621
Format: Electronic Resources
Availability Online Library~1

Using R for Numerical Analysis in Science and Engineering

2026-03-16T13:18:28Z

Author Bloomfield, Victor A., author. Taylor and Francis.
Preferred Shelf Number Q183.9
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Multicore DSP : from algorithms to real-time implementation on the TMS320C66x SoC

2026-03-16T13:18:28Z

Author Dahnoun, Naim, author.
Preferred Shelf Number TK5102.9 .D335 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119125587
Format: Electronic Resources
Availability Online Library~1

Beginning C# 7 Programming with Visual Studio 2017

2026-03-16T13:18:28Z

Author Perkins, Benjamin, author. Hammer, Jacob Vibe, author. Reid, Jon D., author.
Preferred Shelf Number QA76.73 .C154
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549550
Format: Electronic Resources
Availability Online Library~1

Professional C++

2026-03-16T13:18:28Z

Author Gregoire, Marc (Software engineer), author.
Preferred Shelf Number QA76.73 .C153 G733 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119421276
Format: Electronic Resources
Availability Online Library~1

Introduction to Game Physics with Box2D

2026-03-16T13:18:28Z

Author Parberry, Ian, author. Taylor and Francis.
Preferred Shelf Number QA76.76 .C672
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

2026-03-16T13:18:28Z

Author Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52234-0
Format: Electronic Resources
Availability Online Library~1

Decentralized Neural Control: Application to Robotics

2026-03-16T13:18:28Z

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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53312-4
Format: Electronic Resources
Availability Online Library~1

DataFlow Supercomputing Essentials Research, Development and Education

2026-03-16T13:18:28Z

Author Milutinovic, Veljko. author. Salom, Jakob. author. Veljovic, Dragan. author. Korolija, Nenad. author. Markovic, Dejan. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66128-5
Format: Electronic Resources
Availability Online Library~1

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2026-03-16T13:18:28Z

Author Laaksonen, Antti. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72547-5
Format: Electronic Resources
Availability Online Library~1

Deductive Software Verification - The KeY Book From Theory to Practice

2026-03-16T13:18:28Z

Author Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49812-6
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2026-03-16T13:18:28Z

Author Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49122-5
Format: Electronic Resources
Availability Online Library~1

IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection

2026-03-16T13:18:28Z

Author Mohamed, Khaled Salah. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22035-2
Format: Electronic Resources
Availability Online Library~1

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

2026-03-16T13:18:28Z

Author Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31220-0
Format: Electronic Resources
Availability Online Library~1

Windows performance analysis field guide

2026-03-16T13:18:28Z

Author Huffman, Clint, author.
Preferred Shelf Number ONLINE(355547.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124167018
Format: Electronic Resources
Availability Online Library~1

SVA: The Power of Assertions in SystemVerilog

2026-03-16T13:18:28Z

Author Cerny, Eduard. author. Dudani, Surrendra. author. Havlicek, John. author. Korchemny, Dmitry. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07139-8
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

2026-03-16T13:18:28Z

Author Falaschi, Moreno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27436-2
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

2026-03-16T13:18:28Z

Author Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-20860-2
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Information Systems 20th International Conference on Applications of Natural Language to Information Systems, NLDB 2015, Passau, Germany, June 17-19, 2015, Proceedings

2026-03-16T13:18:28Z

Author Biemann, Chris. editor. Handschuh, Siegfried. editor. Freitas, André. editor. Meziane, Farid. editor. Métais, Elisabeth. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19581-0
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

2026-03-16T13:18:28Z

Author ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22002-4
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers

2026-03-16T13:18:28Z

Author Brodman, James. editor. Tu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17473-0
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2026-03-16T13:18:28Z

Author Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23264-5
Format: Electronic Resources
Availability Online Library~1

Health Monitoring and Personalized Feedback using Multimedia Data

2026-03-16T13:18:28Z

Author Briassouli, Alexia. editor. Benois-Pineau, Jenny. editor. Hauptmann, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17963-6
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

2026-03-16T13:18:28Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17581-2
Format: Electronic Resources
Availability Online Library~1

Debug Automation from Pre-Silicon to Post-Silicon

2026-03-16T13:18:28Z

Author Dehbashi, Mehdi. author. Fey, Görschwin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09309-3
Format: Electronic Resources
Availability Online Library~1

Semantic Technology 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers

2026-03-16T13:18:28Z

Author Supnithi, Thepchai. editor. Yamaguchi, Takahira. editor. Pan, Jeff Z. editor. Wuwongse, Vilas. editor. Buranarach, Marut. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15615-6
Format: Electronic Resources
Availability Online Library~1

Parallel science and engineering applications : the Charm++ approach

2026-03-16T13:18:28Z

Author Kale, Laxmikant V., editor. Bhatele, Abhinav, editor.
Preferred Shelf Number TA345.5 .P37 P37 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

jQuery 2 Recipes A Problem-Solution Approach

2026-03-16T13:18:28Z

Author Pande, Arun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6434-7
Format: Electronic Resources
Availability Online Library~1

Android Application Development for the Intel Platform

2026-03-16T13:18:28Z

Author Cohen, Ryan. author. Wang, Tao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0100-8
Format: Electronic Resources
Availability Online Library~1

Scripting in Java Integrating with Groovy and JavaScript

2026-03-16T13:18:28Z

Author Sharan, Kishori. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0713-0
Format: Electronic Resources
Availability Online Library~1

Beginning Xcode

2026-03-16T13:18:28Z

Author Knott, Matthew. author. Bramhall, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-5744-8
Format: Electronic Resources
Availability Online Library~1

Visual Studio Condensed For Visual Studio 2013 Express, Professional, Premium and Ultimate Editions

2026-03-16T13:18:28Z

Author Desjardins, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6823-9
Format: Electronic Resources
Availability Online Library~1

Beginning Oracle SQL For Oracle Database 12c

2026-03-16T13:18:28Z

Author Gorman, Tim. author. Jorgensen, Inger. author. Caffrey, Melanie. author. deHaan, Lex. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6557-3
Format: Electronic Resources
Availability Online Library~1

Game development for iOS with Unity3D

2026-03-16T13:18:28Z

Author Murray, Jeff., author.
Preferred Shelf Number QA76.76 .C672 M887 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

OpenGL insights

2026-03-16T13:18:28Z

Author Cozzi, Patrick. Riccio, Christophe.
Preferred Shelf Number T385 .O625 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Design for embedded image processing on FPGAs

2026-03-16T13:18:28Z

Author Bailey, Donald G. (Donald Graeme), 1962-
Preferred Shelf Number TK7895 .E42 B3264 2011 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119819820
Format: Electronic Resources
Availability Online Library~1

Multi-core embedded systems

2026-03-16T13:18:28Z

Author Kornaros, Georgios.
Preferred Shelf Number TK7895 .E42 M848 2010
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software error detection through testing and analysis

2026-03-16T13:18:28Z

Author Huang, J. C., 1935-
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=456102 John Wiley http://dx.doi.org/10.1002/9780470464076 MyiLibrary, Table of contents http://www.myilibrary.com?id=227967&ref=toc http://site.ebrary.com/lib/alltitles/Doc?id=10332960 http://swb.eblib.com/patron/FullRecord.aspx?p=456102
Format: Electronic Resources
Availability Online Library~1

The compiler design handbook : optimizations and machine code generation

2026-03-16T13:18:28Z

Author Shankar, P. (Priti) Srikant, Y. N.
Preferred Shelf Number QA76.76 .C65 C35 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Patterns for performance and operability : building and testing enterprise software

2026-03-16T13:18:28Z

Author Ford, Chris (Christopher B.)
Preferred Shelf Number QA76.76 .D47 P3768 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Reverse engineering code with IDA Pro

2026-03-16T13:18:28Z

Author Ferguson, Justin. Kaminsky, Dan.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597492379
Format: Electronic Resources
Availability Online Library~1

R programming for bioinformatics

2026-03-16T13:18:28Z

Author Gentleman, Robert, 1959, author.
Preferred Shelf Number QH324.2 .G46 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The debugger's handbook

2026-03-16T13:18:28Z

Author DiMarzio, J. F., author.
Preferred Shelf Number QA76.9 .D43 D56 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Automated defect prevention best practices in software management

2026-03-16T13:18:28Z

Author Huizinga, Dorota. Kolawa, Adam. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201515
Format: Electronic Resources
Availability Online Library~1

Modeling software with finite state machines : a practical approach

2026-03-16T13:18:28Z

Author Wagner, Ferdinand.
Preferred Shelf Number QA76.76 .D47 M625 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Embedded Linux system design and development

2026-03-16T13:18:28Z

Author Raghavan, P. (Pichai), 1973, author. Lad, Amol. Neelakandan, Sriram.
Preferred Shelf Number QA76.76 .O63 R335 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The art of software testing

2026-03-16T13:18:28Z

Author Myers, Glenford J., 1946- Badgett, Tom. Thomas, Todd M. Sandler, Corey, 1950-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=114566
Format: Electronic Resources
Availability Online Library~1

Tru64 UNIX troubleshooting diagnosing and correcting system problems

2026-03-16T13:18:28Z

Author Moore, Martin L. Hancock, Steven M.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781555582746
Format: Electronic Resources
Availability Online Library~1

Handbook of object technology

2026-03-16T13:18:28Z

Author Zamir, Saba, 1959-
Preferred Shelf Number QA76.9 .O35 H35 1999
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781420049114 Taylor & Francis https://www.taylorfrancis.com/books/9780367802134 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1