Search Results for - Narrowed by: Programming Techniques. - Computer science. - Computational complexity. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Computational$002bcomplexity.$002509Computational$002bcomplexity.$0026ps$003d300? 2024-06-05T13:27:40Z Theory and Applications of Satisfiability Testing &ndash; SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:224930 2024-06-05T13:27:40Z 2024-06-05T13:27:40Z Yazar&#160;Beyersdorff, Olaf. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format:&#160;Electronic Resources<br/> Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:224784 2024-06-05T13:27:40Z 2024-06-05T13:27:40Z Yazar&#160;Lambers, Leen. editor. (orcid)0000-0001-6937-5167<br/><a href="https://doi.org/10.1007/978-3-319-92991-0">https://doi.org/10.1007/978-3-319-92991-0</a><br/>Format:&#160;Electronic Resources<br/> Mathematical Software &ndash; ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:222589 2024-06-05T13:27:40Z 2024-06-05T13:27:40Z Yazar&#160;Davenport, James H. editor. (orcid)0000-0002-3982-7545<br/><a href="https://doi.org/10.1007/978-3-319-96418-8">https://doi.org/10.1007/978-3-319-96418-8</a><br/>Format:&#160;Electronic Resources<br/> Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings ent://SD_ILS/0/SD_ILS:224003 2024-06-05T13:27:40Z 2024-06-05T13:27:40Z Yazar&#160;Balduccini, Marcello. editor.<br/><a href="https://doi.org/10.1007/978-3-319-61660-5">https://doi.org/10.1007/978-3-319-61660-5</a><br/>Format:&#160;Electronic Resources<br/> Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings ent://SD_ILS/0/SD_ILS:223811 2024-06-05T13:27:40Z 2024-06-05T13:27:40Z Yazar&#160;de Lara, Juan. editor. (orcid)0000-0001-9425-6362<br/><a href="https://doi.org/10.1007/978-3-319-61470-0">https://doi.org/10.1007/978-3-319-61470-0</a><br/>Format:&#160;Electronic Resources<br/>