Search Results for - Narrowed by: Springer E-Book Collection - Logics and Meanings of Programs. - Database management. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Konu$002509Database$002bmanagement.$002509Database$002bmanagement.$0026ps$003d300? 2024-05-11T12:12:20Z Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427849 2024-05-11T12:12:20Z 2024-05-11T12:12:20Z Yazar&#160;Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054<br/><a href="https://doi.org/10.1007/978-3-030-20528-7">https://doi.org/10.1007/978-3-030-20528-7</a><br/>Format:&#160;Electronic Resources<br/> Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429044 2024-05-11T12:12:20Z 2024-05-11T12:12:20Z Yazar&#160;Hofman, Piotrek. editor.<br/><a href="https://doi.org/10.1007/978-3-030-24886-4">https://doi.org/10.1007/978-3-030-24886-4</a><br/>Format:&#160;Electronic Resources<br/> Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428984 2024-05-11T12:12:20Z 2024-05-11T12:12:20Z Yazar&#160;Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699<br/><a href="https://doi.org/10.1007/978-3-030-20981-0">https://doi.org/10.1007/978-3-030-20981-0</a><br/>Format:&#160;Electronic Resources<br/> Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428784 2024-05-11T12:12:20Z 2024-05-11T12:12:20Z Yazar&#160;Ganty, Pierre. editor. (orcid)0000-0002-3625-6003<br/><a href="https://doi.org/10.1007/978-3-030-35092-5">https://doi.org/10.1007/978-3-030-35092-5</a><br/>Format:&#160;Electronic Resources<br/> Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27&ndash;29, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428876 2024-05-11T12:12:20Z 2024-05-11T12:12:20Z Yazar&#160;Huang, Shujian. editor.<br/><a href="https://doi.org/10.1007/978-981-15-1721-1">https://doi.org/10.1007/978-981-15-1721-1</a><br/>Format:&#160;Electronic Resources<br/> Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Ko&scaron;ice, Slovakia, July 17&ndash;19, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428662 2024-05-11T12:12:20Z 2024-05-11T12:12:20Z Yazar&#160;Hospod&aacute;r, Michal. editor.<br/><a href="https://doi.org/10.1007/978-3-030-23247-4">https://doi.org/10.1007/978-3-030-23247-4</a><br/>Format:&#160;Electronic Resources<br/> Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures ent://SD_ILS/0/SD_ILS:223309 2024-05-11T12:12:20Z 2024-05-11T12:12:20Z Yazar&#160;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:&#160;Electronic Resources<br/> Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21731 2024-05-11T12:12:20Z 2024-05-11T12:12:20Z Yazar&#160;Ferm&eacute;, Eduardo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11558-0">http://dx.doi.org/10.1007/978-3-319-11558-0</a><br/>Format:&#160;Electronic Resources<br/> Verification of Business Rules Programs ent://SD_ILS/0/SD_ILS:23801 2024-05-11T12:12:20Z 2024-05-11T12:12:20Z Yazar&#160;Berstel-Da Silva, Bruno. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-40038-4">http://dx.doi.org/10.1007/978-3-642-40038-4</a><br/>Format:&#160;Electronic Resources<br/> Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics ent://SD_ILS/0/SD_ILS:20428 2024-05-11T12:12:20Z 2024-05-11T12:12:20Z Yazar&#160;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:&#160;Electronic Resources<br/>