Limit Search Results
Author
SpringerLink (Online service)
(841)
Boer, Frank S. editor.
(9)
Bonsangue, Marcello M. editor.
(9)
Yang, Laurence T. editor.
(8)
Yung, Moti. editor.
(8)
Language
Publication Date
-
Subject
Operating systems (Computers).
(714)
Computer science.
(559)
Software engineering.
(388)
Computer Communication Networks.
(343)
Operating systems (Computers)
(172)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1234 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Author 
Castellani, Ilaria. editor. (orcid)0000-0001-9820-0892 Tiezzi, Francesco. editor. (orcid)0000-0003-4740-7521 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62697-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Author 
Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523 Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62645-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Trusted Execution Environments
Trusted Execution Environments
Author 
Shepherd, Carlton. author. Markantonakis, Konstantinos. author. (orcid)0000-0003-3975-9033 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55561-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Blockchain Technology and Application 6th CCF China Blockchain Summit, CBCS 2023, Haikou, China, December 15-18, 2023, Revised Selected Papers
Blockchain Technology and Application 6th CCF China Blockchain Summit, CBCS 2023, Haikou, China, December 15-18, 2023, Revised Selected Papers
Author 
Zhu, Jianming. editor. Wu, Qianhong. editor. Ding, Yong. editor. (orcid)0000-0002-3571-7576 Song, Xianhua. editor. (orcid)0000-0002-0111-8559 Lu, Zeguang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-3203-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Raspberry Pi OS Text Editors, git, and LXC : A Practical Approach.
Raspberry Pi OS Text Editors, git, and LXC : A Practical Approach.
Author 
Koretsky, Robert, author.
Preferred Shelf Number 
QA76.73 .P98
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003455813
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Electric power systems : a conceptual introduction
Electric power systems : a conceptual introduction
Author 
Meier, Alexandra von, author
Preferred Shelf Number 
TK1005
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394241033
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Linear and nonlinear system modeling
Linear and nonlinear system modeling
Author 
Roy, Tamal, editor. Tripathi, Suman Lata, editor. Ganguli, Souvik, editor.
Preferred Shelf Number 
QA402.3 .L56 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119847533
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for A users guide to vacuum technology
A users guide to vacuum technology
Author 
O'Hanlon, John F., 1937- author. Gessert, Timothy A., author.
Preferred Shelf Number 
TJ940 .O37 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394174232
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Radio Engineering and Telecommunications Waveguide Systems in the Microwave Range Modeling and Synthesis
Radio Engineering and Telecommunications Waveguide Systems in the Microwave Range Modeling and Synthesis
Author 
Islamov, Islam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37916-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Introduction to Cybersecurity A Multidisciplinary Challenge
Introduction to Cybersecurity A Multidisciplinary Challenge
Author 
Sharp, Robin. author. (orcid)0000-0002-8593-267X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41463-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Applied Informatics 6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26-28, 2023, Proceedings
Applied Informatics 6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26-28, 2023, Proceedings
Author 
Florez, Hector. editor. (orcid)0000-0002-5339-4459 Leon, Marcelo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46813-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
Author 
Buttazzo, Giorgio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45410-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action