Search Results for - Narrowed by: English - Springer E-Book Collection - Computers. - Discrete Mathematics in Computer Science. - Logics and Meanings of Programs.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Computers.$002509Computers.$0026qf$003dSUBJECT$002509Konu$002509Discrete$002bMathematics$002bin$002bComputer$002bScience.$002509Discrete$002bMathematics$002bin$002bComputer$002bScience.$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300?2024-09-23T16:42:41ZDescriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:181372024-09-23T16:42:41Z2024-09-23T16:42:41ZYazar Câmpeanu, Cezar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41114-9">http://dx.doi.org/10.1007/978-3-319-41114-9</a><br/>Format: Electronic Resources<br/>Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applicationsent://SD_ILS/0/SD_ILS:182852024-09-23T16:42:41Z2024-09-23T16:42:41ZYazar O'Regan, Gerard. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44561-8">http://dx.doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179232024-09-23T16:42:41Z2024-09-23T16:42:41ZYazar Kulikov, Alexander S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34171-2">http://dx.doi.org/10.1007/978-3-319-34171-2</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181282024-09-23T16:42:41Z2024-09-23T16:42:41ZYazar Han, Yo-Sub. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40946-7">http://dx.doi.org/10.1007/978-3-319-40946-7</a><br/>Format: Electronic Resources<br/>Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexityent://SD_ILS/0/SD_ILS:186762024-09-23T16:42:41Z2024-09-23T16:42:41ZYazar Skrzypczak, Michał. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-52947-8">http://dx.doi.org/10.1007/978-3-662-52947-8</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186832024-09-23T16:42:41Z2024-09-23T16:42:41ZYazar Brlek, Srečko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53132-7">http://dx.doi.org/10.1007/978-3-662-53132-7</a><br/>Format: Electronic Resources<br/>Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231342024-09-23T16:42:41Z2024-09-23T16:42:41ZYazar Xu, Dachuan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21398-9">http://dx.doi.org/10.1007/978-3-319-21398-9</a><br/>Format: Electronic Resources<br/>Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedingsent://SD_ILS/0/SD_ILS:229112024-09-23T16:42:41Z2024-09-23T16:42:41ZYazar Shallit, Jeffrey. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19225-3">http://dx.doi.org/10.1007/978-3-319-19225-3</a><br/>Format: Electronic Resources<br/>Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedingsent://SD_ILS/0/SD_ILS:246832024-09-23T16:42:41Z2024-09-23T16:42:41ZYazar Banerjee, Mohua. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45824-2">http://dx.doi.org/10.1007/978-3-662-45824-2</a><br/>Format: Electronic Resources<br/>Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232622024-09-23T16:42:41Z2024-09-23T16:42:41ZYazar Durand-Lose, Jerome. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23111-2">http://dx.doi.org/10.1007/978-3-319-23111-2</a><br/>Format: Electronic Resources<br/>Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:230332024-09-23T16:42:41Z2024-09-23T16:42:41ZYazar Beklemishev, Lev D. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20297-6">http://dx.doi.org/10.1007/978-3-319-20297-6</a><br/>Format: Electronic Resources<br/>Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedingsent://SD_ILS/0/SD_ILS:208682024-09-23T16:42:41Z2024-09-23T16:42:41ZYazar Hirsch, Edward A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06686-8">http://dx.doi.org/10.1007/978-3-319-06686-8</a><br/>Format: Electronic Resources<br/>Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212362024-09-23T16:42:41Z2024-09-23T16:42:41ZYazar Cai, Zhipeng. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08783-2">http://dx.doi.org/10.1007/978-3-319-08783-2</a><br/>Format: Electronic Resources<br/>Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245252024-09-23T16:42:41Z2024-09-23T16:42:41ZYazar Diaz, Josep. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44602-7">http://dx.doi.org/10.1007/978-3-662-44602-7</a><br/>Format: Electronic Resources<br/>Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213762024-09-23T16:42:41Z2024-09-23T16:42:41ZYazar Jürgensen, Helmut. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09704-6">http://dx.doi.org/10.1007/978-3-319-09704-6</a><br/>Format: Electronic Resources<br/>