Knjige avtorja: Luis Soares Barbosa

Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

Artificial Intelligence Logic and Applications

Language Engineering and Rigorous Software Development Programming and Software Engineering

Por Uma Reinvenção Da Governabilidade E Do Equilíbrio De Poder Na Guiné-Bissau - Diálogos E Olhares Cruzados a Partir Da Diáspora

Dynamic Logic. New Trends and Applications