Search Results for History of Computing. - Narrowed by: Logics and Meanings of Programs. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qu$003dHistory$002bof$002bComputing.$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300? 2024-06-20T15:26:33Z Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications ent://SD_ILS/0/SD_ILS:2084526 2024-06-20T15:26:33Z 2024-06-20T15:26:33Z by&#160;O'Regan, Gerard. author.<br/><a href="https://doi.org/10.1007/978-3-319-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures ent://SD_ILS/0/SD_ILS:510386 2024-06-20T15:26:33Z 2024-06-20T15:26:33Z by&#160;Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/b135888">http://dx.doi.org/10.1007/b135888</a><br/>Format:&#160;Electronic Resources<br/>