Search Results for Mathematical logic. - Narrowed by: Models and Principles.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dMathematical$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Models$002band$002bPrinciples.$002509Models$002band$002bPrinciples.$0026ic$003dtrue$0026ps$003d300?2024-09-30T19:50:53ZProvably Correct Systemsent://SD_ILS/0/SD_ILS:2240902024-09-30T19:50:53Z2024-09-30T19:50:53ZYazar Hinchey, Mike. editor.<br/><a href="https://doi.org/10.1007/978-3-319-48628-4">https://doi.org/10.1007/978-3-319-48628-4</a><br/>Format: Electronic Resources<br/>Scala: From a Functional Programming Perspective An Introduction to the Programming Languageent://SD_ILS/0/SD_ILS:183892024-09-30T19:50:53Z2024-09-30T19:50:53ZYazar Torra, Vicenç. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46481-7">http://dx.doi.org/10.1007/978-3-319-46481-7</a><br/>Format: Electronic Resources<br/>Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4278392024-09-30T19:50:53Z2024-09-30T19:50:53ZYazar Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X<br/><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: Electronic Resources<br/>Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:182972024-09-30T19:50:53Z2024-09-30T19:50:53ZYazar Lucanu, Dorel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44802-2">http://dx.doi.org/10.1007/978-3-319-44802-2</a><br/>Format: Electronic Resources<br/>Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:219822024-09-30T19:50:53Z2024-09-30T19:50:53ZYazar Escobar, Santiago. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12904-4">http://dx.doi.org/10.1007/978-3-319-12904-4</a><br/>Format: Electronic Resources<br/>Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:4277102024-09-30T19:50:53Z2024-09-30T19:50:53ZYazar Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format: Electronic Resources<br/>International Proceedings on Advances in Soft Computing, Intelligent Systems and Applications ASISA 2016ent://SD_ILS/0/SD_ILS:2229532024-09-30T19:50:53Z2024-09-30T19:50:53ZYazar Reddy, M. Sreenivasa. editor.<br/><a href="https://doi.org/10.1007/978-981-10-5272-9">https://doi.org/10.1007/978-981-10-5272-9</a><br/>Format: Electronic Resources<br/>