Arama Sonu&ccedil;lar&#305; Congress - Daralt&#305;lm&#305;&#351;: Computer system failures. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCongress$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsystem$002bfailures.$002509Computer$002bsystem$002bfailures.$0026ps$003d300? 2026-01-21T18:20:45Z Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482859 2026-01-21T18:20:45Z 2026-01-21T18:20:45Z Yazar&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Keller, Chantal. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Services &ndash; SERVICES 2019 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486228 2026-01-21T18:20:45Z 2026-01-21T18:20:45Z Yazar&#160;Xia, Yunni. editor.&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-23381-5">https://doi.org/10.1007/978-3-030-23381-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487047 2026-01-21T18:20:45Z 2026-01-21T18:20:45Z Yazar&#160;Strous, Leon. editor.&#160;Cerf, Vinton G. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-15651-0">https://doi.org/10.1007/978-3-030-15651-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>