Limit Search Results
Author
SpringerLink (Online service)
(45)
Drechsler, Rolf. author.
(2)
Frisbie, Matt, author.
(2)
Gregoire, Marc (Software engineer), author.
(2)
Laaksonen, Antti. author.
(2)
Language
Publication Date
-
Subject
Electronic books.
(15)
Debugging in computer science.
(12)
Computer science.
(9)
Software engineering.
(9)
Microprocessors.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
93 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Beginning C# 7 Programming with Visual Studio 2017
Beginning C# 7 Programming with Visual Studio 2017
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: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Introduction to Game Physics with Box2D
Introduction to Game Physics with Box2D
Author 
Parberry, Ian, author. Taylor and Francis.
Preferred Shelf Number 
QA76.76 .C672
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for DataFlow Supercomputing Essentials Research, Development and Education
DataFlow Supercomputing Essentials Research, Development and Education
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: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Decentralized Neural Control: Application to Robotics
Decentralized Neural Control: Application to Robotics
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: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Author 
Laaksonen, Antti. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72547-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection
IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection
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: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Deductive Software Verification - The KeY Book From Theory to Practice
Deductive Software Verification - The KeY Book From Theory to Practice
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: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Debug Automation from Pre-Silicon to Post-Silicon
Debug Automation from Pre-Silicon to Post-Silicon
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: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Author 
Falaschi, Moreno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27436-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action