Search Results for SpringerLink (Online service) - Narrowed by: Lanese, Ivan. editor. - Computer logic. - Programming Languages, Compilers, Interpreters.
SirsiDynix Enterprise
https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dSpringerLink$002b$002528Online$002bservice$002529$0026qf$003dAUTHOR$002509Yazar$002509Lanese$00252C$002bIvan.$002beditor.$002509Lanese$00252C$002bIvan.$002beditor.$0026qf$003dSUBJECT$002509Konu$002509Computer$002blogic.$002509Computer$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$0026ic$003dtrue$0026ps$003d300?
2024-08-25T05:39:55Z
Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:18111
2024-08-25T05:39:55Z
2024-08-25T05:39:55Z
Yazar 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/>
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:22365
2024-08-25T05:39:55Z
2024-08-25T05:39:55Z
Yazar Lanese, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15317-9">http://dx.doi.org/10.1007/978-3-319-15317-9</a><br/>Format: Electronic Resources<br/>