Arama Sonu&ccedil;lar&#305; Computer software -- Reliability. - Daralt&#305;lm&#305;&#351;: Artificial intelligence. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002bsoftware$002b--$002bReliability.$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300?dt=list 2026-03-15T14:13:37Z Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613619 2026-03-15T14:13:37Z 2026-03-15T14:13:37Z Yazar&#160;Bogomolov, Sergiy. editor.&#160;Martel, Matthieu. editor.&#160;Prabhakar, Pavithra. 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-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Dependability Engineering and Complex Systems Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brun&oacute;w, Poland ent://SD_ILS/0/SD_ILS:612033 2026-03-15T14:13:37Z 2026-03-15T14:13:37Z Yazar&#160;Zamojski, Wojciech. editor.&#160;Mazurkiewicz, Jacek. editor.&#160;Sugier, Jaros&#322;aw. editor. (orcid)0000-0003-1452-3067&#160;Walkowiak, Tomasz. editor.&#160;Kacprzyk, Janusz. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-39639-2">https://doi.org/10.1007/978-3-319-39639-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>