Limit Search Results
Author
SpringerLink (Online service)
(27)
Matthews, Martin S.
(3)
Spivey, Dwight.
(3)
Margaria, Tiziana. editor.
(2)
Steffen, Bernhard. editor.
(2)
Language
Subject
Operating systems (Computers).
(27)
Computer science.
(26)
Software engineering.
(18)
Operating systems (Computers)
(13)
Computer Communication Networks.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
41 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Operating system concepts
Operating system concepts
Author 
Silberschatz, Abraham. Galvin, Peter B. Gagne, Greg.
Preferred Shelf Number 
QA76.76.O63 S5583 2014
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
2. 
Cover image for Oracle database 11g & MySQL 5.6 developer handbook
Oracle database 11g & MySQL 5.6 developer handbook
Author 
McLaughlin, Michael, D.CS.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mac
Mac
Author 
Spivey, Dwight.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Windows 7
Windows 7
Author 
Matthews, Martin S.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mac, OS X Lion edition
Mac, OS X Lion edition
Author 
Spivey, Dwight.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Operating systems demystified
Operating systems demystified
Author 
McHoes, Ann McIver, 1950- Ballew, Joli.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Operating systems : internals and design principles
Operating systems : internals and design principles
Author 
Stallings, William.
Preferred Shelf Number 
QA76.76.O63 S733 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
Cover image for Data Privacy Management and Autonomous Spontaneus Security 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers
Data Privacy Management and Autonomous Spontaneus Security 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers
Author 
Garcia-Alfaro, Joaquin. editor. Navarro-Arribas, Guillermo. editor. Cuppens-Boulahia, Nora. editor. Capitani di Vimercati, Sabrina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28879-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
Author 
Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28891-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Author 
Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29479-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34032-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings
Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings
Author 
Park, James J. editor. Zomaya, Albert. editor. Yeo, Sang-Soo. editor. Sahni, Sartaj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35606-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action