Search Results for - Narrowed by: Logics and Meanings of Programs. - Computer System Implementation. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bSystem$002bImplementation.$002509Computer$002bSystem$002bImplementation.$0026ps$003d300$0026isd$003dtrue? 2024-06-09T19:13:57Z Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:427959 2024-06-09T19:13:57Z 2024-06-09T19:13:57Z Yazar&#160;Chamberlain, Roger. editor.<br/><a href="https://doi.org/10.1007/978-3-030-17910-6">https://doi.org/10.1007/978-3-030-17910-6</a><br/>Format:&#160;Electronic Resources<br/> Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:427982 2024-06-09T19:13:57Z 2024-06-09T19:13:57Z Yazar&#160;Boreale, Michele. editor. (orcid)0000-0002-1972-7491<br/><a href="https://doi.org/10.1007/978-3-030-21485-2">https://doi.org/10.1007/978-3-030-21485-2</a><br/>Format:&#160;Electronic Resources<br/> Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428947 2024-06-09T19:13:57Z 2024-06-09T19:13:57Z Yazar&#160;Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153<br/><a href="https://doi.org/10.1007/978-3-030-32872-6">https://doi.org/10.1007/978-3-030-32872-6</a><br/>Format:&#160;Electronic Resources<br/> Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:222601 2024-06-09T19:13:57Z 2024-06-09T19:13:57Z Yazar&#160;Durand-Lose, J&eacute;r&ocirc;me. editor. (orcid)0000-0001-6506-074X<br/><a href="https://doi.org/10.1007/978-3-319-92402-1">https://doi.org/10.1007/978-3-319-92402-1</a><br/>Format:&#160;Electronic Resources<br/> Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:222159 2024-06-09T19:13:57Z 2024-06-09T19:13:57Z Yazar&#160;Gerdt, Vladimir P. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99639-4">https://doi.org/10.1007/978-3-319-99639-4</a><br/>Format:&#160;Electronic Resources<br/>