Hoppa till sidans huvudinnehåll

Luís Soares Barbosa – författare

Visar alla böcker från författaren Luís Soares Barbosa.
5 produkter
Luís Soares Barbosa, Alexandru Baltag - Dynamic Logic. New Trends and Applications, Häftad
Del 12005 - Lecture Notes in Computer Science

Dynamic Logic. New Trends and Applications

Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings

AvLuís Soares Barbosa,Alexandru Baltag

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto - Language Engineering and Rigorous Software Development, Häftad

Language Engineering and Rigorous Software Development

International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

AvAna Bove,Luis Soares Barbosam. fl.

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Luis Soares Barbosa, Markus Lumpe - Formal Aspects of Component Software, Häftad

Formal Aspects of Component Software

7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

AvLuis Soares Barbosa,Markus Lumpe

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

Francisco Heron de Carvalho Junior, Luis Soares Barbosa - Programming Languages, Häftad

Programming Languages

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

AvFrancisco Heron de Carvalho Junior,Luis Soares Barbosa

Häftad, Engelska, 2012

669 kr

Skickas inom 10-15 vardagar

Songmao Zhang, Luis Soares Barbosa - Artificial Intelligence Logic and Applications, Häftad

Artificial Intelligence Logic and Applications

4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings

AvSongmao Zhang,Luis Soares Barbosa

Häftad, Engelska, 2025

1 159 kr

Skickas inom 10-15 vardagar