Search Results for Computer science. - Narrowed by: Algorithms. - Logic design. SirsiDynix Enterprise https://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:53Z Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21182 2024-08-21T16:38:53Z 2024-08-21T16:38:53Z Yazar&#160;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:&#160;Electronic Resources<br/> Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23080 2024-08-21T16:38:53Z 2024-08-21T16:38:53Z Yazar&#160;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:&#160;Electronic Resources<br/> Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18111 2024-08-21T16:38:53Z 2024-08-21T16:38:53Z Yazar&#160;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:&#160;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&ndash;11, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:428271 2024-08-21T16:38:53Z 2024-08-21T16:38:53Z Yazar&#160;Vojnar, Tom&aacute;&scaron;. 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:&#160;Electronic Resources<br/>