Limit Search Results
Author
SpringerLink (Online service)
(392)
Boer, Frank S. editor.
(9)
Bonsangue, Marcello M. editor.
(9)
Romanovsky, Alexander. editor.
(7)
Yang, Laurence T. editor.
(7)
Language
Publication Date
-
Subject
Operating systems (Computers).
(348)
Computer science.
(318)
Computer Communication Networks.
(185)
Information systems.
(91)
Operating Systems.
(68)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
394 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 OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings
OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings
Author 
Stoyanov, Danail. editor. Taylor, Zeike. editor. Sarikaya, Duygu. editor. McLeod, Jonathan. editor. González Ballester, Miguel Angel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01201-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Mobile Wireless Middleware, Operating Systems, and Applications 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers
Mobile Wireless Middleware, Operating Systems, and Applications 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers
Author 
Venkatasubramanian, Nalini. editor. Getov, Vladimir. editor. Steglich, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30607-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Mobile Wireless Middleware, Operating Systems, and Applications Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010. Revised Selected Papers
Mobile Wireless Middleware, Operating Systems, and Applications Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010. Revised Selected Papers
Author 
Cai, Ying. editor. Magedanz, Thomas. editor. Li, Minglu. editor. Xia, Jinchun. editor. Giannelli, Carlo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17758-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for MobileWireless Middleware, Operating Systems, and Applications Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings
MobileWireless Middleware, Operating Systems, and Applications Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings
Author 
Bonnin, Jean-Marie. editor. Giannelli, Carlo. editor. Magedanz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01802-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Mobile Wireless Middleware, Operating Systems, and Applications - Workshops Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers
Mobile Wireless Middleware, Operating Systems, and Applications - Workshops Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers
Author 
Hesselman, Cristian. editor. Giannelli, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03569-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I
Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I
Author 
Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75144-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part II
Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part II
Author 
Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75147-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Security and Trust Management 20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19-20, 2024, Proceedings
Security and Trust Management 20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19-20, 2024, Proceedings
Author 
Martinelli, Fabio. editor. (orcid)0000-0002-6721-9395 Rios, Ruben. editor. (orcid)0000-0002-6251-4897 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76371-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers
Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers
Author 
Aiello, Marco. editor. (orcid)0000-0002-0764-2124 Barzen, Johanna. editor. Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Leymann, Frank. editor. (orcid)0000-0002-9123-259X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72578-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action