Search Results for - Narrowed by: Computer science. - Logics and Meanings of Programs. - Math Applications in Computer Science.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Konu$002509Math$002bApplications$002bin$002bComputer$002bScience.$002509Math$002bApplications$002bin$002bComputer$002bScience.$0026ps$003d300?2024-06-17T10:57:27ZReachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2218812024-06-17T10:57:27Z2024-06-17T10:57:27ZYazar Potapov, Igor. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00250-3">https://doi.org/10.1007/978-3-030-00250-3</a><br/>Format: Electronic Resources<br/>Applied Logic for Computer Scientists Computational Deduction and Formal Proofsent://SD_ILS/0/SD_ILS:2216772024-06-17T10:57:27Z2024-06-17T10:57:27ZYazar Ayala-Rincón, Mauricio. author.<br/><a href="https://doi.org/10.1007/978-3-319-51653-0">https://doi.org/10.1007/978-3-319-51653-0</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-06-17T10:57:27Z2024-06-17T10:57:27ZYazar 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/>Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedingsent://SD_ILS/0/SD_ILS:229822024-06-17T10:57:27Z2024-06-17T10:57:27ZYazar Hinze, Ralf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19797-5">http://dx.doi.org/10.1007/978-3-319-19797-5</a><br/>Format: Electronic Resources<br/>