Search Results for - Narrowed by: Logic design. - Ribeiro, Leila. editor.
SirsiDynix Enterprise
https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026qf$003dAUTHOR$002509Author$002509Ribeiro$00252C$002bLeila.$002beditor.$002509Ribeiro$00252C$002bLeila.$002beditor.$0026ps$003d300?
2024-06-08T10:15:19Z
Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:2085618
2024-06-08T10:15:19Z
2024-06-08T10:15:19Z
by Ribeiro, Leila. editor.<br/><a href="https://doi.org/10.1007/978-3-319-49815-7">https://doi.org/10.1007/978-3-319-49815-7</a><br/>Format: Electronic Resources<br/>
Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:511617
2024-06-08T10:15:19Z
2024-06-08T10:15:19Z
by Corradini, Andrea. editor.<br/><a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a><br/>Format: Electronic Resources<br/>