Search Results for USA. - Narrowed by: Operating Systems.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dUSA.$0026qf$003dSUBJECT$002509Subject$002509Operating$002bSystems.$002509Operating$002bSystems.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-03-22T19:38:19Z
Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602090
2026-03-22T19:38:19Z
2026-03-22T19:38:19Z
Author Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062 Yue, Tao. editor. Fredericks, Erik M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48796-5">https://doi.org/10.1007/978-3-031-48796-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:603134
2026-03-22T19:38:19Z
2026-03-22T19:38:19Z
Author Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56580-9">https://doi.org/10.1007/978-3-031-56580-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611953
2026-03-22T19:38:19Z
2026-03-22T19:38:19Z
Author Spirakis, Paul. editor. Tsigas, Philippas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69084-1">https://doi.org/10.1007/978-3-319-69084-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
ent://SD_ILS/0/SD_ILS:615974
2026-03-22T19:38:19Z
2026-03-22T19:38:19Z
Author Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52709-3">https://doi.org/10.1007/978-3-319-52709-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research in Attacks, Intrusions, and Defenses 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612555
2026-03-22T19:38:19Z
2026-03-22T19:38:19Z
Author Dacier, Marc. editor. Bailey, Michael. editor. Polychronakis, Michalis. editor. Antonakakis, Manos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66332-6">https://doi.org/10.1007/978-3-319-66332-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611088
2026-03-22T19:38:19Z
2026-03-22T19:38:19Z
Author Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29778-1">https://doi.org/10.1007/978-3-319-29778-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611423
2026-03-22T19:38:19Z
2026-03-22T19:38:19Z
Author Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40648-0">https://doi.org/10.1007/978-3-319-40648-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334533
2026-03-22T19:38:19Z
2026-03-22T19:38:19Z
Author Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334533.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334122
2026-03-22T19:38:19Z
2026-03-22T19:38:19Z
Author Dawson, Ed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334122.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36095-4">http://dx.doi.org/10.1007/978-3-642-36095-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Modularity and Composition I
ent://SD_ILS/0/SD_ILS:617818
2026-03-22T19:38:19Z
2026-03-22T19:38:19Z
Author Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46969-0">https://doi.org/10.1007/978-3-319-46969-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>