Limit Search Results
Author
SpringerLink (Online service)
(63)
O'Regan, Gerard. author.
(4)
Freeman, Adam. author.
(3)
Sharan, Kishori. author.
(3)
Mahmood, Zaigham. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(10)
Compilers (Computer programs).
(9)
Compilers and Interpreters.
(9)
Computer networks .
(9)
Computer Communication Networks.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
67 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Software Design for Resilient Computer Systems
Software Design for Resilient Computer Systems
Author 
Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29465-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Author 
Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27810-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Expert ASP.NET Web API 2 for MVC Developers
Expert ASP.NET Web API 2 for MVC Developers
Author 
Freeman, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0085-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Introducing Maven
Introducing Maven
Author 
Varanasi, Balaji. author. Belida, Sudha. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0841-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Learn C++ for Game Development
Learn C++ for Game Development
Author 
Sutherland, Bruce. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6458-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Pro AngularJS
Pro AngularJS
Author 
Freeman, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6449-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Beginning Java 8 APIs, Extensions and Libraries Swing, JavaFX, JavaScript, JDBC and Network Programming APIs
Beginning Java 8 APIs, Extensions and Libraries Swing, JavaFX, JavaScript, JDBC and Network Programming APIs
Author 
Sharan, Kishori. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6662-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Beginning Python Visualization Crafting Visual Transformation Scripts
Beginning Python Visualization Crafting Visual Transformation Scripts
Author 
Vaingast, Shai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0052-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Java 8 Recipes
Java 8 Recipes
Author 
Dea, Carl. author. Beaty, Mark. author. Guime, Freddy. author. OConner, John. author. Juneau, Josh. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6826-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Pro Git
Pro Git
Author 
Chacon, Scott. author. Straub, Ben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0076-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Pro JavaFX 8 A Definitive Guide to Building Desktop, Mobile, and Embedded Java Clients
Pro JavaFX 8 A Definitive Guide to Building Desktop, Mobile, and Embedded Java Clients
Author 
Weaver, James. author. Gao, Weiqi. author. Chin, Stephen. author. Iverson, Dean. author. Vos, Johan. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6575-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action