Search Results for Computer Science, general. - Narrowed by: Computing Milieux. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bScience$00252C$002bgeneral.$0026qf$003dSUBJECT$002509Subject$002509Computing$002bMilieux.$002509Computing$002bMilieux.$0026ps$003d300?dt=list 2026-03-17T19:32:54Z 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-17T19:32:54Z 2026-03-17T19:32:54Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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-17T19:32:54Z 2026-03-17T19:32:54Z Author&#160;Majumdar, Rupak. editor.&#160;Kun&#269;ak, Viktor. 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-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>