Search Results for - Narrowed by: linguistics - Computer science SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509linguistics$002509linguistics$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience$002509Computer$002bscience$0026ps$003d300? 2024-05-30T22:58:06Z Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings ent://SD_ILS/0/SD_ILS:2186751 2024-05-30T22:58:06Z 2024-05-30T22:58:06Z by&#160;M&uuml;ller, Peter<br/><a href="https://library.oapen.org/bitstream/20.500.12657/37721/1/2020_Book_ProgrammingLanguagesAndSystems.pdf">DOAB: download the publication</a> <a href="https://directory.doabooks.org/handle/20.500.12854/28495">DOAB: description of the publication</a><br/>Format:&#160;Books<br/> Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I ent://SD_ILS/0/SD_ILS:2184596 2024-05-30T22:58:06Z 2024-05-30T22:58:06Z by&#160;Lahiri, Shuvendu K.<br/><a href="https://library.oapen.org/bitstream/20.500.12657/41295/1/2020_Book_ComputerAidedVerification.pdf">DOAB: download the publication</a> <a href="https://directory.doabooks.org/handle/20.500.12854/26292">DOAB: description of the publication</a><br/>Format:&#160;Books<br/> Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II ent://SD_ILS/0/SD_ILS:2204007 2024-05-30T22:58:06Z 2024-05-30T22:58:06Z by&#160;Lahiri, Shuvendu K.<br/><a href="https://library.oapen.org/bitstream/20.500.12657/41296/1/2020_Book_ComputerAidedVerification.pdf">DOAB: download the publication</a> <a href="https://directory.doabooks.org/handle/20.500.12854/35502">DOAB: description of the publication</a><br/>Format:&#160;Books<br/> Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I ent://SD_ILS/0/SD_ILS:2198982 2024-05-30T22:58:06Z 2024-05-30T22:58:06Z by&#160;Biere, Armin<br/><a href="https://library.oapen.org/bitstream/20.500.12657/37722/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf">DOAB: download the publication</a> <a href="https://directory.doabooks.org/handle/20.500.12854/31311">DOAB: description of the publication</a><br/>Format:&#160;Books<br/>