Limit Search Results
Author
Boer, Frank S. editor.
(9)
Bonsangue, Marcello M. editor.
(9)
Yang, Laurence T. editor.
(8)
Yung, Moti. editor.
(8)
Romanovsky, Alexander. editor.
(7)
Language
Publication Date
-
2005
(99)
2006
(97)
2013
(94)
2009
(61)
2018
(60)
Subject
Operating systems (Computers).
(598)
Computer science.
(545)
Software engineering.
(331)
Computer Communication Networks.
(305)
Information systems.
(137)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
725 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Embedded and Real-Time Operating Systems
Embedded and Real-Time Operating Systems
Author 
Wang, K. C. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520615.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28701-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Interrupt Handling Schemes in Operating Systems
Interrupt Handling Schemes in Operating Systems
Author 
Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94493-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Embedded Operating Systems A Practical Approach
Embedded Operating Systems A Practical Approach
Author 
Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72977-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Embedded Operating Systems A Practical Approach
Embedded Operating Systems A Practical Approach
Author 
Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6603-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
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:
7. 
Cover image for The SAGES Manual Operating Through the Endoscope
The SAGES Manual Operating Through the Endoscope
Author 
Kroh, Matthew. editor. Docimo Jr., Salvatore. editor. El Djouzi, Sofiane. editor. Shada, Amber. editor. Reavis, Kevin M. editor.
Preferred Shelf Number 
XX(521615.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21044-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings
Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings
Author 
Li, Ruidong. editor. Jia, Min. editor. Taleb, Tarik. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520676.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34497-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Expertise in the Operating Room Logistics, Fundamentals and Nuances
Expertise in the Operating Room Logistics, Fundamentals and Nuances
Author 
Yaremchuk, Michael. editor. Serebrakian, Arman T. editor. Pickrell, Brent B. editor. Paniss, Julianna. editor. Bailin, Michael T. editor.
Preferred Shelf Number 
XX(521911.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30835-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Sociomaterial Practices in Medical Work An Ethnography in the Operating Room
Sociomaterial Practices in Medical Work An Ethnography in the Operating Room
Author 
Bruni, Attila. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(522118.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44804-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Operating Systems for Supercomputers and High Performance Computing
Operating Systems for Supercomputers and High Performance Computing
Author 
Gerofi, Balazs. editor. Ishikawa, Yutaka. editor. Riesen, Rolf. editor. Wisniewski, Robert W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6624-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for OR 2.0 Context-Aware Operating Theaters and Machine Learning in Clinical Neuroimaging Second International Workshop, OR 2.0 2019, and Second International Workshop, MLCN 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13 and 17, 2019, Proceedings
OR 2.0 Context-Aware Operating Theaters and Machine Learning in Clinical Neuroimaging Second International Workshop, OR 2.0 2019, and Second International Workshop, MLCN 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13 and 17, 2019, Proceedings
Author 
Zhou, Luping. editor. Sarikaya, Duygu. editor. (orcid)0000-0002-2083-4999 Kia, Seyed Mostafa. editor. (orcid)0000-0002-7128-814X Speidel, Stefanie. editor. (orcid)0000-0002-4590-1908 Malpani, Anand. editor. (orcid)0000-0001-9477-9403
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32695-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets