Search Results for - Narrowed by: Information Systems and Communication Service. - Logics and Meanings of Programs. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Information$002bSystems$002band$002bCommunication$002bService.$002509Information$002bSystems$002band$002bCommunication$002bService.$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300$0026isd$003dtrue? 2024-06-20T20:57:11Z Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:2085508 2024-06-20T20:57:11Z 2024-06-20T20:57:11Z by&#160;Chen, Liqun. editor. (orcid)0000-0003-2680-4907<br/><a href="https://doi.org/10.1007/978-3-319-99136-8">https://doi.org/10.1007/978-3-319-99136-8</a><br/>Format:&#160;Electronic Resources<br/> Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503781 2024-06-20T20:57:11Z 2024-06-20T20:57:11Z by&#160;Bassiliades, Nick. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88808-6">http://dx.doi.org/10.1007/978-3-540-88808-6</a><br/>Format:&#160;Electronic Resources<br/> Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503752 2024-06-20T20:57:11Z 2024-06-20T20:57:11Z by&#160;Cha, Sungdeok (Steve). editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88387-6">http://dx.doi.org/10.1007/978-3-540-88387-6</a><br/>Format:&#160;Electronic Resources<br/> Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22&ndash;25, 2007 Proceedings ent://SD_ILS/0/SD_ILS:512926 2024-06-20T20:57:11Z 2024-06-20T20:57:11Z by&#160;Namjoshi, Kedar S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75596-8">http://dx.doi.org/10.1007/978-3-540-75596-8</a><br/>Format:&#160;Electronic Resources<br/> Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512947 2024-06-20T20:57:11Z 2024-06-20T20:57:11Z by&#160;Paschke, Adrian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75975-1">http://dx.doi.org/10.1007/978-3-540-75975-1</a><br/>Format:&#160;Electronic Resources<br/> Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511835 2024-06-20T20:57:11Z 2024-06-20T20:57:11Z by&#160;Graf, Susanne. editor.<br/><a href="http://dx.doi.org/10.1007/11901914">http://dx.doi.org/10.1007/11901914</a><br/>Format:&#160;Electronic Resources<br/> Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510340 2024-06-20T20:57:11Z 2024-06-20T20:57:11Z by&#160;Peled, Doron A. editor.<br/><a href="http://dx.doi.org/10.1007/11562948">http://dx.doi.org/10.1007/11562948</a><br/>Format:&#160;Electronic Resources<br/>