Arama Sonu&ccedil;lar&#305; Computer Science, general. - Daralt&#305;lm&#305;&#351;: Computing Milieux. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002bScience$00252C$002bgeneral.$0026qf$003dSUBJECT$002509Konu$002509Computing$002bMilieux.$002509Computing$002bMilieux.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-21T14:39:23Z Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:610911 2026-03-21T14:39:23Z 2026-03-21T14:39:23Z Yazar&#160;Majumdar, Rupak. editor.&#160;Kun&#269;ak, Viktor. 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-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:611913 2026-03-21T14:39:23Z 2026-03-21T14:39:23Z Yazar&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor.&#160;Borruso, Giuseppe. editor.&#160;Torre, Carmelo M. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-62407-5">https://doi.org/10.1007/978-3-319-62407-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>