Luís Soares Barbosa – författare
Visar alla böcker från författaren Luís Soares Barbosa.
5 produkter
Dynamic Logic. New Trends and Applications
Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Av Luís Soares Barbosa, Alexandru Baltag
Häftad, 2020
739 kr
Lägg i varukorg
Language Engineering and Rigorous Software Development
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Av Ana Bove, Luis Soares Barbosa m. fl.
Häftad, 2009
739 kr
Lägg i varukorg
Formal Aspects of Component Software
7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Av Luis Soares Barbosa, Markus Lumpe
Häftad, 2012
739 kr
Lägg i varukorg
Programming Languages
16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings
Av Francisco Heron de Carvalho Junior, Luis Soares Barbosa
Häftad, 2012
679 kr
Lägg i varukorg
Artificial Intelligence Logic and Applications
4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings
Av Songmao Zhang, Luis Soares Barbosa
Häftad, 2025
1179 kr
Lägg i varukorg