Nelma Moreira – författare
Visar alla böcker från författaren Nelma Moreira. Handla med fri frakt och snabb leverans.
12 produkter
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Av Emil Sekerinski, Nelma Moreira m. fl.
Häftad, 2020
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Av David Delmas, Pedro Monteiro m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
Av Emil Sekerinski, Nelma Moreira m. fl.
Häftad, 2020
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
Av David Delmas, Pedro Monteiro m. fl.
E-bok, 2020
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
Developments in Language Theory
25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings
Av Nelma Moreira, Rogério Reis
Häftad, 2021
959 kr
Lägg i varukorg
This book constitutes the proceedings of the 25th International Conference on Developments in Language Theory, DLT 2021, which was held in Porto, Portugal, during August 16-20, 2021. The conference took place in an hybrid format with both in-person and online participation.The 27 full papers …
Developments in Language Theory
25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings
Av Rogerio Reis, Nelma Moreira
E-bok, 2021
1251 kr
Lägg i varukorg
This book constitutes the proceedings of the 25th International Conference on Developments in Language Theory, DLT 2021, which was held in Porto, Portugal, during August 16-20, 2021. The conference took place in an hybrid format with both in-person and online participation. The 27 full papers …
Natural Language Processing
EAIA '90, 2nd Advanced School in Artificial Intelligence Guarda, Portugal, October 8-12, 1990. Proceedings
Av Miguel Filgueiras, Luis Damas m. fl.
Häftad, 1991
567 kr
Lägg i varukorg
This volume is the proceedings of the Second Advanced School on Artificial Intelligence (EAIA '90) held in Guarda, Portugal, October 8-12, 1990. The focus of the contributions is natural language processing. Two types of subject are covered: - Linguistically motivated theories, presented at an …
Implementation and Application of Automata
17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
Av Nelma Moreira, Rogério Reis
Häftad, 2012
552 kr
Lägg i varukorg
This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 revised full papers presented together with 5 invited papers and 7 short papers were carefully selected …
Implementation and Application of Automata
17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
Av Rogerio Reis, Nelma Moreira
E-bok, 2012
718 kr
Lägg i varukorg
This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 revised full papers presented together with 5 invited papers and 7 short papers were carefully selected …
Descriptional Complexity of Formal Systems
14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings
Av Martin Kutrib, Nelma Moreira m. fl.
Häftad, 2012
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. …
Descriptional Complexity of Formal Systems
14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings
Av Rogerio Reis, Nelma Moreira m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. …
ROLE OF THEORY IN COMPUTER SCIENCE, THE: ESSAYS DEDICATED TO JANUSZ BRZOZOWSKI
Av Konstantinidis Stavros, Stavros Konstantinidis m. fl.
Inbunden, 2017
1674 kr
Lägg i varukorg
This volume brings together the work of several prominent researchers who have collaborated with Janusz Brzozowski, or worked in topics he developed, in the areas of regular languages, syntactic semigroups of formal languages, the dot-depth hierarchy, and formal modeling of circuit testing and …
