Limit Search Results
Author
SpringerLink (Online service)
(61)
Reis, Ricardo. editor.
(5)
Guelfi, Nicolas. editor.
(3)
Kiritsis, Dimitris. editor.
(2)
Lödding, Hermann. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(26)
Application software.
(18)
Computer and Information Systems Applications.
(18)
Artificial intelligence.
(16)
Computer networks .
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
63 Results Found Subscribe to search results
000DEFAULT
Print
61. 
Cover image for Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Author 
Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29613-5
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
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:
63. 
Cover image for Software engineering for image processing systems
Software engineering for image processing systems
Author 
Laplante, Phillip A., author.
Preferred Shelf Number 
TA1637 .L34 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action