Limit Search Results
Author
SpringerLink (Online service)
(225)
Bernardo, Marco. editor.
(10)
Apduhan, Bernady O. editor.
(6)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(6)
Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
(6)
Language
Publication Date
-
Subject
Computer science.
(141)
Computer Communication Networks.
(49)
Logic design.
(47)
Artificial intelligence.
(45)
Information systems.
(35)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
234 Results Found Subscribe to search results
000000DEFAULT
Print
229. 
Cover image for Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Author 
Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332921.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02444-8
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for The Engineering of Mixed Reality Systems
The Engineering of Mixed Reality Systems
Author 
Dubois, Emmanuel. editor. Gray, Philip. editor. Nigay, Laurence. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-733-2
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Tabletops - Horizontal Interactive Displays
Tabletops - Horizontal Interactive Displays
Author 
Müller-Tomfelde, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-113-4
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Pervasive Healthcare Computing EMR/EHR, Wireless and Health Monitoring
Pervasive Healthcare Computing EMR/EHR, Wireless and Health Monitoring
Author 
Varshney, Upkar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0215-3
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Dependability benchmarking for computer systems
Dependability benchmarking for computer systems
Author 
Kanoun, Karama. Spainhower, Lisa.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Computers, Software Engineering, and Digital Devices
Computers, Software Engineering, and Digital Devices
Author 
Dorf, Richard C., author. Taylor and Francis.
Preferred Shelf Number 
TK7885
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action