Nelma Moreira

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

2020 · ENGLISH · PDF

View details →

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

2020 · ENGLISH · PDF

View details →

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

2012 · ENGLISH · PDF

View details →

Implementation and Application of Automata: 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

2012 · ENGLISH · PDF

View details →

Implementation and Application of Automata: 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

2012 · ENGLISH · PDF

View details →

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

2012 · ENGLISH · PDF

View details →

Natural Language Processing: EAIA '90, 2nd Advanced School in Artificial Intelligence Guarda, Portugal, October 8–12, 1990 Proceedings

1991 · ENGLISH · DJVU

View details →