Barbosa, Luis Soares books & textbook
Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Theoretical Computer Science and General Issues)
Soares Barbosa, Luís Baltag, Alexandru
Springer /2020-01-14 Paperback / 240 Pages
isbn-10: 3030388077 / isbn-13: 9783030388072
Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings (Programming and Software Engineering)
de Carvalho Junior, Francisco Heron Barbosa, Luis Soares
Springer /2012-08-14 Paperback / 180 Pages
isbn-10: 3642331815 / isbn-13: 9783642331817
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, ... (Lecture Notes in Computer Science, 5520)
Bove, Ana Barbosa, Luis Soares Pardo, Alberto Pinto, Jorge Sousa
Springer /2009-07-14 Paperback / 310 Pages
isbn-10: 3642031528 / isbn-13: 9783642031526
Samia e o Cantharus Mágico (Portuguese Edition)
Bosvichy, Ale Soares Barbosa, Camila Ferreira Alves, Luis Ricardo
Independently published /2022-03-18 Paperback / 138 Pages
Artificial Intelligence Logic and Applications: 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings (Communications in Computer and Information Science, 2248)
Zhang, Songmao Barbosa, Luis Soares
Springer /2025-03-12 Paperback / 336 Pages
isbn-10: 9819603536 / isbn-13: 9789819603534
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6921)
Barbosa, Luis Soares Lumpe, Markus
Springer /2012-03-09 Paperback / 315 Pages
isbn-10: 3642272681 / isbn-13: 9783642272684
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 (Portuguese Edition)
Barbosa Vicente, Luís Sousa, Prof Julião Soares
Independently published /2014-11-26 Paperback / 175 Pages
isbn-10: 1794591672 / isbn-13: 9781794591677
