Limit Search Results
Author
SpringerLink (Online service)
(39)
Petersen, Richard, 1949-
(3)
David, Matthew, 1971-
(2)
Jang, Michael H.
(2)
Jeannot, Emmanuel. editor.
(2)
Language
Subject
Operating systems (Computers).
(40)
Computer science.
(35)
Computer Communication Networks.
(20)
Software engineering.
(18)
Operating systems (Computers)
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
58 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
Author 
Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20398-5
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for UNIX Operating System The Development Tutorial via UNIX Kernel Services
UNIX Operating System The Development Tutorial via UNIX Kernel Services
Author 
Liu, Yukun. author. Yue, Yong. author. Guo, Liwei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20432-6
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers
Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers
Author 
Xenakis, Christos. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21694-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
Author 
Cuellar, Jorge. editor. Lopez, Javier. editor. Barthe, Gilles. editor. Pretschner, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22444-7
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Security Protocols XVI 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers
Security Protocols XVI 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers
Author 
Christianson, Bruce. editor. Malcolm, James A. editor. Matyas, Vashek. editor. Roe, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22137-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 8th International Conference, EMMCVPR 2011, St. Petersburg, Russia, July 25-27, 2011. Proceedings
Energy Minimization Methods in Computer Vision and Pattern Recognition 8th International Conference, EMMCVPR 2011, St. Petersburg, Russia, July 25-27, 2011. Proceedings
Author 
Boykov, Yuri. editor. Kahl, Fredrik. editor. Lempitsky, Victor. editor. Schmidt, Frank R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23094-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
Author 
Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23397-5
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
Author 
Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23400-2
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Schaum's outline of principles of computer science
Schaum's outline of principles of computer science
Author 
Reynolds, Carl, 1948- Tymann, Paul T.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Mac OS X system administration
Mac OS X system administration
Author 
Hart-Davis, Guy.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Windows Registry Forensics Advanced Digital Forensic Analysis of the Windows Registry.
Windows Registry Forensics Advanced Digital Forensic Analysis of the Windows Registry.
Author 
Carvey, Harlan.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781597495806
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Flash mobile developing Android and iOS applications
Flash mobile developing Android and iOS applications
Author 
David, Matthew, 1971-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240815688
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action