Luís Soares Barbosa - Böcker

Visar alla böcker från författaren Luís Soares Barbosa.

5 produkter

Kategorier

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 m. fl

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

Programming Languages

16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings

Av Francisco Heron de Carvalho Junior, Luis Soares Barbosa m. fl

Häftad, Engelska, 2012

669 kr

Skickas inom 10-15 vardagar

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, Engelska, 2025

1 229 kr

Skickas inom 10-15 vardagar