Search Results for SpringerLink (Online service) - Narrowed by: Information Systems. - Logics and Meanings of Programs. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dSpringerLink$002b$002528Online$002bservice$002529$0026qf$003dSUBJECT$002509Konu$002509Information$002bSystems.$002509Information$002bSystems.$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ic$003dtrue$0026ps$003d300? 2024-08-10T20:22:45Z Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings ent://SD_ILS/0/SD_ILS:225096 2024-08-10T20:22:45Z 2024-08-10T20:22:45Z Yazar&#160;Patitz, Matthew J. editor.<br/><a href="https://doi.org/10.1007/978-3-319-58187-3">https://doi.org/10.1007/978-3-319-58187-3</a><br/>Format:&#160;Electronic Resources<br/> Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 &ndash; March 2, 2017, Proceedings ent://SD_ILS/0/SD_ILS:223801 2024-08-10T20:22:45Z 2024-08-10T20:22:45Z Yazar&#160;Gr&uuml;nbacher, Paul. editor.<br/><a href="https://doi.org/10.1007/978-3-319-54045-0">https://doi.org/10.1007/978-3-319-54045-0</a><br/>Format:&#160;Electronic Resources<br/> SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9&ndash;11, 2017, Proceedings ent://SD_ILS/0/SD_ILS:225691 2024-08-10T20:22:45Z 2024-08-10T20:22:45Z Yazar&#160;Cs&ouml;ndes, Tibor. editor.<br/><a href="https://doi.org/10.1007/978-3-319-68015-6">https://doi.org/10.1007/978-3-319-68015-6</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-08-10T20:22:45Z 2024-08-10T20:22:45Z 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/> Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:225302 2024-08-10T20:22:45Z 2024-08-10T20:22:45Z Yazar&#160;Cuppens-Boulahia, Nora. editor.<br/><a href="https://doi.org/10.1007/978-3-319-61437-3">https://doi.org/10.1007/978-3-319-61437-3</a><br/>Format:&#160;Electronic Resources<br/> Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:222243 2024-08-10T20:22:45Z 2024-08-10T20:22:45Z Yazar&#160;Gerdt, Vladimir P. editor.<br/><a href="https://doi.org/10.1007/978-3-319-66320-3">https://doi.org/10.1007/978-3-319-66320-3</a><br/>Format:&#160;Electronic Resources<br/> Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings ent://SD_ILS/0/SD_ILS:226638 2024-08-10T20:22:45Z 2024-08-10T20:22:45Z Yazar&#160;Yevtushenko, Nina. editor. (orcid)0000-0002-4006-1161<br/><a href="https://doi.org/10.1007/978-3-319-67549-7">https://doi.org/10.1007/978-3-319-67549-7</a><br/>Format:&#160;Electronic Resources<br/>