Search Results for Computer logic. - Narrowed by: Operating Systems.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002blogic.$0026qf$003dSUBJECT$002509Subject$002509Operating$002bSystems.$002509Operating$002bSystems.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-03-20T23:33:44Z
Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615997
2026-03-20T23:33:44Z
2026-03-20T23:33:44Z
Author Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60588-3">https://doi.org/10.1007/978-3-319-60588-3</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-20T23:33:44Z
2026-03-20T23:33:44Z
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/>
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications
ent://SD_ILS/0/SD_ILS:617350
2026-03-20T23:33:44Z
2026-03-20T23:33:44Z
Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55947-5">https://doi.org/10.1007/978-3-662-55947-5</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-20T23:33:44Z
2026-03-20T23:33:44Z
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/>