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
67 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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:
38. 
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:
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 Platform Embedded Security Technology Revealed Safeguarding the Future of Computing with Intel Embedded Security and Management Engine
Platform Embedded Security Technology Revealed Safeguarding the Future of Computing with Intel Embedded Security and Management Engine
Author 
Ruan, Xiaoyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6572-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Automation through Chef Opscode A Hands-on Approach to Chef
Automation through Chef Opscode A Hands-on Approach to Chef
Author 
Sabharwal, Navin. author. Wadhwa, Manak. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6296-1
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for JavaScript Creativity Exploring the Modern Capabilities of JavaScript and HTML5
JavaScript Creativity Exploring the Modern Capabilities of JavaScript and HTML5
Author 
Hudson, Shane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-5945-9
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Windows PowerShell Desired State Configuration Revealed
Windows PowerShell Desired State Configuration Revealed
Author 
Chaganti, Ravikanth. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0016-2
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Express.js Deep API Reference
Express.js Deep API Reference
Author 
Mardan, Azat. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0781-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
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:
46. 
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:
47. 
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:
48. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets