Search Results for - Narrowed by: Data structures (Computer scienc. - Mathematical Logic and Formal Languages. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Data$002bstructures$002b$002528Computer$002bscienc.$002509Data$002bstructures$002b$002528Computer$002bscienc.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ps$003d300$0026isd$003dtrue? 2024-06-21T16:55:07Z Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:2085043 2024-06-21T16:55:07Z 2024-06-21T16:55:07Z by&#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/> Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:2085880 2024-06-21T16:55:07Z 2024-06-21T16:55:07Z by&#160;Lambers, Leen. editor. (orcid)0000-0001-6937-5167<br/><a href="https://doi.org/10.1007/978-3-319-92991-0">https://doi.org/10.1007/978-3-319-92991-0</a><br/>Format:&#160;Electronic Resources<br/> Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:2085268 2024-06-21T16:55:07Z 2024-06-21T16:55:07Z by&#160;Hooker, John. editor. (orcid)0000-0003-3169-1871<br/><a href="https://doi.org/10.1007/978-3-319-98334-9">https://doi.org/10.1007/978-3-319-98334-9</a><br/>Format:&#160;Electronic Resources<br/> Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 &ndash; August 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:2085296 2024-06-21T16:55:07Z 2024-06-21T16:55:07Z by&#160;C&acirc;mpeanu, Cezar. editor. (orcid)0000-0002-9777-3012<br/><a href="https://doi.org/10.1007/978-3-319-94812-6">https://doi.org/10.1007/978-3-319-94812-6</a><br/>Format:&#160;Electronic Resources<br/> Modelling and Verification of Secure Exams ent://SD_ILS/0/SD_ILS:2084681 2024-06-21T16:55:07Z 2024-06-21T16:55:07Z by&#160;Giustolisi, Rosario. author.<br/><a href="https://doi.org/10.1007/978-3-319-67107-9">https://doi.org/10.1007/978-3-319-67107-9</a><br/>Format:&#160;Electronic Resources<br/> Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085803 2024-06-21T16:55:07Z 2024-06-21T16:55:07Z by&#160;Han, Yo-Sub. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40946-7">https://doi.org/10.1007/978-3-319-40946-7</a><br/>Format:&#160;Electronic Resources<br/> Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085867 2024-06-21T16:55:07Z 2024-06-21T16:55:07Z by&#160;Echahed, Rachid. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40530-8">https://doi.org/10.1007/978-3-319-40530-8</a><br/>Format:&#160;Electronic Resources<br/> Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:2085695 2024-06-21T16:55:07Z 2024-06-21T16:55:07Z by&#160;Hajiaghayi, Mohammad Taghi. editor.<br/><a href="https://doi.org/10.1007/978-3-319-28678-5">https://doi.org/10.1007/978-3-319-28678-5</a><br/>Format:&#160;Electronic Resources<br/> Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:2085397 2024-06-21T16:55:07Z 2024-06-21T16:55:07Z by&#160;Lipt&aacute;k, Zsuzsanna. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29516-9">https://doi.org/10.1007/978-3-319-29516-9</a><br/>Format:&#160;Electronic Resources<br/> Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:2085927 2024-06-21T16:55:07Z 2024-06-21T16:55:07Z by&#160;Yung, Moti. editor.<br/><a href="https://doi.org/10.1007/978-3-319-31550-8">https://doi.org/10.1007/978-3-319-31550-8</a><br/>Format:&#160;Electronic Resources<br/> Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085961 2024-06-21T16:55:07Z 2024-06-21T16:55:07Z by&#160;M&auml;kinen, Veli. editor.<br/><a href="https://doi.org/10.1007/978-3-319-44543-4">https://doi.org/10.1007/978-3-319-44543-4</a><br/>Format:&#160;Electronic Resources<br/>