Arama Sonu&ccedil;lar&#305; Software failures. - Daralt&#305;lm&#305;&#351;: SpringerLink (Online service) SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSoftware$002bfailures.$0026qf$003dAUTHOR$002509Yazar$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ps$003d300?dt=list 2025-03-28T10:27:23Z Security Protocols XXVIII 28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:521253 2025-03-28T10:27:23Z 2025-03-28T10:27:23Z Yazar&#160;Stajano, Frank. editor.&#160;Maty&aacute;&scaron;, Vashek. editor.&#160;Christianson, Bruce. editor.&#160;Anderson, Jonathan. 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-031-43033-6">https://doi.org/10.1007/978-3-031-43033-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebasti&aacute;n, Spain, July 20, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518782 2025-03-28T10:27:23Z 2025-03-28T10:27:23Z Yazar&#160;Pop, Florin. editor.&#160;Potop-Butucaru, Maria. 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-319-28448-4">https://doi.org/10.1007/978-3-319-28448-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519007 2025-03-28T10:27:23Z 2025-03-28T10:27:23Z Yazar&#160;Kroening, Daniel. editor.&#160;P&#259;s&#259;reanu, Corina S. 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-319-21690-4">https://doi.org/10.1007/978-3-319-21690-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>