Search Results for Semiotics. - Narrowed by: Logics and Meanings of Programs.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dSemiotics.$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300$0026isd$003dtrue?2024-07-11T06:59:58ZRefinement Semantics, Languages and Applicationsent://SD_ILS/0/SD_ILS:2226432024-07-11T06:59:58Z2024-07-11T06:59:58ZYazar Derrick, John. author.<br/><a href="https://doi.org/10.1007/978-3-319-92711-4">https://doi.org/10.1007/978-3-319-92711-4</a><br/>Format: Electronic Resources<br/>Concrete Semantics With Isabelle/HOLent://SD_ILS/0/SD_ILS:215332024-07-11T06:59:58Z2024-07-11T06:59:58ZYazar Nipkow, Tobias. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10542-0">http://dx.doi.org/10.1007/978-3-319-10542-0</a><br/>Format: Electronic Resources<br/>Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalizationent://SD_ILS/0/SD_ILS:2264362024-07-11T06:59:58Z2024-07-11T06:59:58ZYazar Draheim, Dirk. author.<br/><a href="https://doi.org/10.1007/978-3-319-69868-7">https://doi.org/10.1007/978-3-319-69868-7</a><br/>Format: Electronic Resources<br/>Semantics of Probabilistic Processes An Operational Approachent://SD_ILS/0/SD_ILS:246082024-07-11T06:59:58Z2024-07-11T06:59:58ZYazar Deng, Yuxin. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45198-4">http://dx.doi.org/10.1007/978-3-662-45198-4</a><br/>Format: Electronic Resources<br/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:195272024-07-11T06:59:58Z2024-07-11T06:59:58ZYazar Fernández, Maribel. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4471-6368-8">http://dx.doi.org/10.1007/978-1-4471-6368-8</a><br/>Format: Electronic Resources<br/>Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semanticsent://SD_ILS/0/SD_ILS:204282024-07-11T06:59:58Z2024-07-11T06:59:58ZYazar Majkić, Zoran. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04156-8">http://dx.doi.org/10.1007/978-3-319-04156-8</a><br/>Format: Electronic Resources<br/>Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdaysent://SD_ILS/0/SD_ILS:171912024-07-11T06:59:58Z2024-07-11T06:59:58ZYazar Probst, Christian W. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27810-0">http://dx.doi.org/10.1007/978-3-319-27810-0</a><br/>Format: Electronic Resources<br/>