Search Results for Computer science. - Narrowed by: Algorithms. - Logic design.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Algorithms.$002509Algorithms.$0026qf$003dSUBJECT$002509Konu$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300?2024-08-21T16:38:53ZReversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211822024-08-21T16:38:53Z2024-08-21T16:38:53ZYazar Yamashita, Shigeru. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08494-7">http://dx.doi.org/10.1007/978-3-319-08494-7</a><br/>Format: Electronic Resources<br/>Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:230802024-08-21T16:38:53Z2024-08-21T16:38:53ZYazar Krivine, Jean. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20860-2">http://dx.doi.org/10.1007/978-3-319-20860-2</a><br/>Format: Electronic Resources<br/>Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181112024-08-21T16:38:53Z2024-08-21T16:38:53ZYazar Devitt, Simon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40578-0">http://dx.doi.org/10.1007/978-3-319-40578-0</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4282712024-08-21T16:38:53Z2024-08-21T16:38:53ZYazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792<br/><a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Electronic Resources<br/>