Search Results for System Robustness. - Narrowed by: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystem$002bRobustness.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-28T15:43:33Z Asynchronous Many-Task Systems and Applications Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603725 2026-03-28T15:43:33Z 2026-03-28T15:43:33Z Author&#160;Diehl, Patrick. editor. (orcid)0000-0003-3922-8419&#160;Schuchart, Joseph. editor.&#160;Valero-Lara, Pedro. editor.&#160;Bosilca, George. editor. (orcid)0000-0003-2411-8495&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-61763-8">https://doi.org/10.1007/978-3-031-61763-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Intelligence for Network Structure Analytics ent://SD_ILS/0/SD_ILS:612359 2026-03-28T15:43:33Z 2026-03-28T15:43:33Z Author&#160;Gong, Maoguo. author.&#160;Cai, Qing. author.&#160;Ma, Lijia. author.&#160;Wang, Shanfeng. author.&#160;Lei, Yu. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-4558-5">https://doi.org/10.1007/978-981-10-4558-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Logic for Computer Scientists Computational Deduction and Formal Proofs ent://SD_ILS/0/SD_ILS:617465 2026-03-28T15:43:33Z 2026-03-28T15:43:33Z Author&#160;Ayala-Rinc&oacute;n, Mauricio. author.&#160;de Moura, Fl&aacute;vio L. C. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51653-0">https://doi.org/10.1007/978-3-319-51653-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616886 2026-03-28T15:43:33Z 2026-03-28T15:43:33Z Author&#160;Falcone, Yli&egrave;s. editor.&#160;S&aacute;nchez, C&eacute;sar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46982-9">https://doi.org/10.1007/978-3-319-46982-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>