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
37. 
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:
38. 
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:
39. 
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:
40. 
Cover image for Pro Python
Pro Python
Author 
Alchin, Marty. author. Browning, J. Burton. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0334-7
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
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:
42. 
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:
43. 
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:
44. 
Cover image for Pro TypeScript Application-Scale JavaScript Development
Pro TypeScript Application-Scale JavaScript Development
Author 
Fenton, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6790-4
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Pro Vim
Pro Vim
Author 
McDonnell, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0250-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
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:
47. 
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:
48. 
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:
Select an Action