Limit Search Results
Author
SpringerLink (Online service)
(55)
Bonsangue, Marcello M. editor.
(2)
Craig, Iain D. author.
(2)
ScienceDirect (Online service)
(2)
Yang, Laurence T. editor.
(2)
Language
Subject
Computer science.
(53)
Operating systems (Computers).
(53)
Computer Communication Networks.
(34)
Software engineering.
(32)
Information systems.
(19)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
75 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Models of Operating System Kernels
Formal Models of Operating System Kernels
Author 
Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-718-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels
Author 
Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-967-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Operating systems : a concept-based approach
Operating systems : a concept-based approach
Author 
Dhamdhere, D. M.
Preferred Shelf Number 
QA76.76.O63 D484 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Operating systems and middleware : supporting controlled interaction
Operating systems and middleware : supporting controlled interaction
Author 
Hailperin, Max.
Preferred Shelf Number 
QA76.76.M54 H35 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Transact-SQL reference : Microsoft SQL Server ; Client-Server Dadabase Management System, Version 4.2 for the Microsoft Windows NT Operating System
Transact-SQL reference : Microsoft SQL Server ; Client-Server Dadabase Management System, Version 4.2 for the Microsoft Windows NT Operating System
Author 
Microsoft Corporation.
Preferred Shelf Number 
QA 76.9.D3 T687 1990-93
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Introduction to Operating System Design and Implementation The OSP 2 Approach
Introduction to Operating System Design and Implementation The OSP 2 Approach
Author 
Kifer, Michael. author. Smolka, Scott A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-843-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Core Topics in Operating Department Practice Anaesthesia and Critical Care
Core Topics in Operating Department Practice Anaesthesia and Critical Care
Author 
Smith, Brian. Rawling, Paul. Wicker, Paul. Jones, Chris.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Operating Hours and Working Times A Survey of Capacity Utilisation and Employment in the European Union
Operating Hours and Working Times A Survey of Capacity Utilisation and Employment in the European Union
Author 
Delsen, Lei. editor. Bosworth, Derek. editor. Groß, Hermann. editor. Muñoz de Bustillo y Llorente, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7908-1760-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Practical handbook for professional investigators
Practical handbook for professional investigators
Author 
McMahon, Rory J. McMahon, Rory J. Practical handbook for private investigators.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Red hat enterprise Linux 5 administration unleashed
Red hat enterprise Linux 5 administration unleashed
Author 
Fox, Tammy.
Format: 
Availability 
~0
Available:
Copies:
11. 
Cover image for Software Verification and Validation An Engineering and Scientific Approach
Software Verification and Validation An Engineering and Scientific Approach
Author 
Fisher, Marcus S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-47939-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Reliability, Life Testing and the Prediction of Service Lives For Engineers and Scientists
Reliability, Life Testing and the Prediction of Service Lives For Engineers and Scientists
Author 
Saunders, Sam C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-48538-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action