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
13. 
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:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
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:
20. 
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:
21. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings
Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings
Author 
Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74498-3
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Information and Communication Technologies 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedings
Information and Communication Technologies 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedings
Author 
Berrezueta-Guzman, Santiago. editor. (orcid)0000-0001-5559-2056 Torres, Rommel. editor. (orcid)0000-0003-2313-0118 Zambrano-Martinez, Jorge Luis. editor. (orcid)0000-0002-5339-7860 Herrera-Tapia, Jorge. editor. (orcid)0000-0002-8673-0236 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75431-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers
Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers
Author 
Kanhere, Salil. editor. (orcid)0000-0002-1835-3475 Jurdak, Raja. editor. (orcid)0000-0001-7517-0782 Parkinson, Joy. editor. Sridharan, Bhavani. editor. Pal, Shantanu. editor. (orcid)0000-0002-8784-0154
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4442-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Author 
Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90900-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action