Search Results for - Narrowed by: Esparza, Javier. editor.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dAUTHOR$002509Yazar$002509Esparza$00252C$002bJavier.$002beditor.$002509Esparza$00252C$002bJavier.$002beditor.$0026ps$003d300$0026isd$003dtrue?2024-06-02T17:31:50ZAutomated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4291032024-06-02T17:31:50Z2024-06-02T17:31:50ZYazar Chen, Yu-Fang. editor.<br/><a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2223112024-06-02T17:31:50Z2024-06-02T17:31:50ZYazar Esparza, Javier. editor.<br/><a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Electronic Resources<br/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:244472024-06-02T17:31:50Z2024-06-02T17:31:50ZYazar Esparza, Javier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43948-7">http://dx.doi.org/10.1007/978-3-662-43948-7</a><br/>Format: Electronic Resources<br/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:244482024-06-02T17:31:50Z2024-06-02T17:31:50ZYazar Esparza, Javier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43951-7">http://dx.doi.org/10.1007/978-3-662-43951-7</a><br/>Format: Electronic Resources<br/>