Search Results for SpringerLink (Online service) - Narrowed by: Data Structures and Information Theory. - 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$002509Data$002bStructures$002band$002bInformation$002bTheory.$002509Data$002bStructures$002band$002bInformation$002bTheory.$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300? 2024-07-23T03:31:43Z Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:221716 2024-07-23T03:31:43Z 2024-07-23T03:31:43Z Yazar&#160;Hoshi, Mizuho. editor.<br/><a href="https://doi.org/10.1007/978-3-319-98654-8">https://doi.org/10.1007/978-3-319-98654-8</a><br/>Format:&#160;Electronic Resources<br/> Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:223810 2024-07-23T03:31:43Z 2024-07-23T03:31:43Z Yazar&#160;Gopal, T.V. editor.<br/><a href="https://doi.org/10.1007/978-3-319-55911-7">https://doi.org/10.1007/978-3-319-55911-7</a><br/>Format:&#160;Electronic Resources<br/> Reliable Software Technologies &ndash; Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:222254 2024-07-23T03:31:43Z 2024-07-23T03:31:43Z Yazar&#160;Casimiro, Ant&oacute;nio. editor. (orcid)0000-0002-5522-5739<br/><a href="https://doi.org/10.1007/978-3-319-92432-8">https://doi.org/10.1007/978-3-319-92432-8</a><br/>Format:&#160;Electronic Resources<br/> Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:222452 2024-07-23T03:31:43Z 2024-07-23T03:31:43Z Yazar&#160;Chen, Liqun. editor. (orcid)0000-0003-2680-4907<br/><a href="https://doi.org/10.1007/978-3-319-99136-8">https://doi.org/10.1007/978-3-319-99136-8</a><br/>Format:&#160;Electronic Resources<br/>