Search Results for - Narrowed by: Springer E-Book Collection - Programming Techniques. - Voronkov, Andrei. editor. - Electronic Resources SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026qf$003dAUTHOR$002509Yazar$002509Voronkov$00252C$002bAndrei.$002beditor.$002509Voronkov$00252C$002bAndrei.$002beditor.$0026qf$003dFORMAT$002509Format$002509ER$002509Electronic$002bResources$0026ps$003d300? 2024-06-14T22:28:34Z Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2&ndash;5, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:427847 2024-06-14T22:28:34Z 2024-06-14T22:28:34Z Yazar&#160;Bj&oslash;rner, Nikolaj. editor.<br/><a href="https://doi.org/10.1007/978-3-030-37487-7">https://doi.org/10.1007/978-3-030-37487-7</a><br/>Format:&#160;Electronic Resources<br/> Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:225516 2024-06-14T22:28:34Z 2024-06-14T22:28:34Z Yazar&#160;Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831<br/><a href="https://doi.org/10.1007/978-3-319-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format:&#160;Electronic Resources<br/> Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings ent://SD_ILS/0/SD_ILS:24888 2024-06-14T22:28:34Z 2024-06-14T22:28:34Z Yazar&#160;Davis, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48899-7">http://dx.doi.org/10.1007/978-3-662-48899-7</a><br/>Format:&#160;Electronic Resources<br/>