Luís Soares Barbosa – författare
Visar alla böcker från författaren Luís Soares Barbosa. Handla med fri frakt och snabb leverans.
10 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
569 kr
Lägg i varukorg
This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019.The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The …
Dynamic Logic. New Trends and Applications
Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Av Alexandru Baltag, Luis Soares Barbosa
E-bok, 2020
732 kr
Lägg i varukorg
This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. …
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
569 kr
Lägg i varukorg
This volume contains the lecture notes from the courses o?ered at the Inter- tional Summer School on Language Engineering and Rigorous Software De- lopment, held in Piriap ' olis, Uruguay, from February 25 to March 1, 2008. The aim of the schoolwasthe dissemination of advancedscienti?c knowledge in …
Language Engineering and Rigorous Software Development
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Av Jorge Sousa Pinto, Alberto Pardo m. fl.
E-bok, 2009
755 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
569 kr
Lägg i varukorg
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully …
Formal Aspects of Component Software
7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Av Markus Lumpe, Luis Soares Barbosa
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully …
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
523 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages, SBLP 2012, held in Natal, Brazil, in September 2012. The 10 full and 2 short papers were carefully reviewed and selected from 27 submissions. The papers cover various aspects of programming languages …
Programming Languages
16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings
Av Luis Soares Barbosa, Francisco Heron de Carvalho Junior
E-bok, 2013
705 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages, SBLP 2012, held in Natal, Brazil, in September 2012. The 10 full and 2 short papers were carefully reviewed and selected from 27 submissions. The papers cover various aspects of programming languages …
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
906 kr
Lägg i varukorg
This book constitutes the proceedings of the 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024, held in Lanzhou, China, during August 10–11, 2024.The 16 full papers and the 11 short papers included in this volume were carefully reviewed and selected from 45 …
Artificial Intelligence Logic and Applications
4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings
Av Luis Soares Barbosa, Songmao Zhang
E-bok, 2025
1175 kr
Lägg i varukorg
This book constitutes the proceedings of the 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024, held in Lanzhou, China, during August 10–11, 2024. The 16 full papers and the 11 short papers included in this volume were carefully reviewed and selected from 45 …
