Search Results for Computer science. - Narrowed by: Online Library - Computer logic. - Computer organization. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002blogic.$002509Computer$002blogic.$0026qf$003dSUBJECT$002509Subject$002509Computer$002borganization.$002509Computer$002borganization.$0026te$003dILS$0026ps$003d300? 2024-09-10T05:59:48Z Implementation and Application of Automata 24th International Conference, CIAA 2019, Ko&scaron;ice, Slovakia, July 22&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484027 2024-09-10T05:59:48Z 2024-09-10T05:59:48Z Author&#160;Hospod&aacute;r, Michal. editor.&#160;Jir&aacute;skov&aacute;, Galina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23679-3">https://doi.org/10.1007/978-3-030-23679-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485680 2024-09-10T05:59:48Z 2024-09-10T05:59:48Z Author&#160;Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872&#160;Sampaio, Augusto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31038-7">https://doi.org/10.1007/978-3-030-31038-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>