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 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 Pro ASP.NET MVC 5 Platform
Pro ASP.NET MVC 5 Platform
Author 
Freeman, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6542-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Beginning COBOL for Programmers
Beginning COBOL for Programmers
Author 
Coughlan, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6254-1
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
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:
48. 
Cover image for Expert Oracle Database Architecture
Expert Oracle Database Architecture
Author 
Kyte, Thomas. author. Kuhn, Darl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6299-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets