Search Results for - Narrowed by: Database management. - Logics and Meanings of Programs.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Database$002bmanagement.$002509Database$002bmanagement.$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300$0026isd$003dtrue?2024-09-25T00:01:45ZBidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lecturesent://SD_ILS/0/SD_ILS:20856412024-09-25T00:01:45Z2024-09-25T00:01:45Zby Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917<br/><a href="https://doi.org/10.1007/978-3-319-79108-1">https://doi.org/10.1007/978-3-319-79108-1</a><br/>Format: Electronic Resources<br/>Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861082024-09-25T00:01:45Z2024-09-25T00:01:45Zby Michael, Loizos. editor.<br/><a href="https://doi.org/10.1007/978-3-319-48758-8">https://doi.org/10.1007/978-3-319-48758-8</a><br/>Format: Electronic Resources<br/>Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861412024-09-25T00:01:45Z2024-09-25T00:01:45Zby Comyn-Wattiau, Isabelle. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46397-1">https://doi.org/10.1007/978-3-319-46397-1</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:20843852024-09-25T00:01:45Z2024-09-25T00:01:45Zby Lamprecht, Anna-Lena. editor.<br/><a href="https://doi.org/10.1007/978-3-319-51641-7">https://doi.org/10.1007/978-3-319-51641-7</a><br/>Format: Electronic Resources<br/>Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5032852024-09-25T00:01:45Z2024-09-25T00:01:45Zby Hartmann, Sven. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77684-0">http://dx.doi.org/10.1007/978-3-540-77684-0</a><br/>Format: Electronic Resources<br/>Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lecturesent://SD_ILS/0/SD_ILS:5036432024-09-25T00:01:45Z2024-09-25T00:01:45Zby Baroglio, Cristina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85658-0">http://dx.doi.org/10.1007/978-3-540-85658-0</a><br/>Format: Electronic Resources<br/>Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037022024-09-25T00:01:45Z2024-09-25T00:01:45Zby Börger, Egon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87603-8">http://dx.doi.org/10.1007/978-3-540-87603-8</a><br/>Format: Electronic Resources<br/>Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126462024-09-25T00:01:45Z2024-09-25T00:01:45Zby Kedad, Zoubida. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73351-5">http://dx.doi.org/10.1007/978-3-540-73351-5</a><br/>Format: Electronic Resources<br/>Finite Model Theory and Its Applicationsent://SD_ILS/0/SD_ILS:5121122024-09-25T00:01:45Z2024-09-25T00:01:45Zby Grädel, Erich. author.<br/><a href="http://dx.doi.org/10.1007/3-540-68804-8">http://dx.doi.org/10.1007/3-540-68804-8</a><br/>Format: Electronic Resources<br/>Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5101812024-09-25T00:01:45Z2024-09-25T00:01:45Zby Dix, Jürgen. editor.<br/><a href="http://dx.doi.org/10.1007/11663881">http://dx.doi.org/10.1007/11663881</a><br/>Format: Electronic Resources<br/>Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5111762024-09-25T00:01:45Z2024-09-25T00:01:45Zby Kop, Christian. editor.<br/><a href="http://dx.doi.org/10.1007/11765448">http://dx.doi.org/10.1007/11765448</a><br/>Format: Electronic Resources<br/>Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reportsent://SD_ILS/0/SD_ILS:5097362024-09-25T00:01:45Z2024-09-25T00:01:45Zby Malenfant, Jacques. editor.<br/><a href="http://dx.doi.org/10.1007/b104146">http://dx.doi.org/10.1007/b104146</a><br/>Format: Electronic Resources<br/>Inconsistency Toleranceent://SD_ILS/0/SD_ILS:5097692024-09-25T00:01:45Z2024-09-25T00:01:45Zby Bertossi, Leopoldo. editor.<br/><a href="http://dx.doi.org/10.1007/b104925">http://dx.doi.org/10.1007/b104925</a><br/>Format: Electronic Resources<br/>Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104692024-09-25T00:01:45Z2024-09-25T00:01:45Zby Montoyo, Andrés. editor.<br/><a href="http://dx.doi.org/10.1007/b136569">http://dx.doi.org/10.1007/b136569</a><br/>Format: Electronic Resources<br/>