Search Results for - Narrowed by: Computer simulation. - Database management. - Logics and Meanings of Programs. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026qf$003dSUBJECT$002509Subject$002509Database$002bmanagement.$002509Database$002bmanagement.$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300? 2024-09-25T17:36:52Z Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2086141 2024-09-25T17:36:52Z 2024-09-25T17:36:52Z by&#160;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:&#160;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 Papers ent://SD_ILS/0/SD_ILS:2084385 2024-09-25T17:36:52Z 2024-09-25T17:36:52Z by&#160;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:&#160;Electronic Resources<br/>