Search Results for Logic. - Narrowed by: E-Book - English - Algorithms. - Computer communication systems. - Mathematical logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bcommunication$002bsystems.$002509Computer$002bcommunication$002bsystems.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-07-18T18:45:32Z Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7&ndash;12, 2018, Tutorial Lectures ent://SD_ILS/0/SD_ILS:484616 2024-07-18T18:45:32Z 2024-07-18T18:45:32Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. 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-17601-3">https://doi.org/10.1007/978-3-030-17601-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10&ndash;12, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483222 2024-07-18T18:45:32Z 2024-07-18T18:45:32Z Author&#160;Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X&#160;Mordonini, Monica. editor. (orcid)0000-0002-5916-9770&#160;Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845&#160;Roli, Andrea. editor. (orcid)0000-0001-9891-5441&#160;Villani, Marco. editor. (orcid)0000-0002-5991-5470<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21733-4">https://doi.org/10.1007/978-3-030-21733-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487782 2024-07-18T18:45:32Z 2024-07-18T18:45:32Z Author&#160;van den Herik, H. Jaap. editor.&#160;Iida, Hiroyuki. editor.&#160;Plaat, Aske. 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-09165-5">https://doi.org/10.1007/978-3-319-09165-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>