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 Windows 8.1 Development with XAML and C#
Pro Windows 8.1 Development with XAML and C#
Author 
Liberty, Jesse. author. Galloway, Jon. author. Japikse, Philip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-4048-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for SAP ABAP Hands-On Test Projects with Business Scenarios
SAP ABAP Hands-On Test Projects with Business Scenarios
Author 
Markandeya, Sushil. author. Roy, Kaushik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-4804-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Spring Recipes A Problem-Solution Approach
Spring Recipes A Problem-Solution Approach
Author 
Rubio, Daniel. author. Long, Josh. author. Mak, Gary. author. Deinum, Marten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-5909-1
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Unboxing Android USB A hands on approach with real world examples
Unboxing Android USB A hands on approach with real world examples
Author 
Regupathy, Rajaram. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6209-1
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Pro JavaScript Development Coding, Capabilities, and Tooling
Pro JavaScript Development Coding, Capabilities, and Tooling
Author 
Odell, Den. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6269-5
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
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:
46. 
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:
47. 
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:
48. 
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:
Select an Action