Skip to contents

  2. Moreira, Nelma [Editor]; Reis, Rogério [Editor]

    Developments in Language Theory : 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings - [1st ed. 2021.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Published in: Theoretical Computer Science and General Issues ; 12811

  3. Kutrib, Martin [Author] ; Moreira, Nelma [Other]; Reis, Rogério [Other]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer, 2012

    Published in: Lecture notes in computer science ; 7386

  4. Filgueiras, Miguel [Author] ; Damas, Luis [Other]; Moreira, Nelma [Other]; Tomas, Ana P. [Other]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1991

    Published in: Lecture notes in computer science ; 476

  6. Sekerinski, Emil [Editor]; Moreira, Nelma [Editor]; Oliveira, José N. [Editor]; Ratiu, Daniel [Editor]; Guidotti, Riccardo [Editor]; Farrell, Marie [Editor]; Luckcuck, Matt [Editor]; Marmsoler, Diego [Editor]; Campos, José [Editor]; Astarte, Troy [Editor]; Gonnord, Laure [Editor]; Cerone, Antonio [Editor]; Couto, Luis [Editor]; Dongol, Brijesh [Editor]; Kutrib, Martin [Editor]; Monteiro, Pedro [Editor]; Delmas, David [Editor]

    Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I - [1st ed. 2020.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

    Published in: Programming and Software Engineering ; 12232- Springer eBook Collection

  7. Sekerinski, Emil [Editor]; Moreira, Nelma [Editor]; Oliveira, José N. [Editor]; Ratiu, Daniel [Editor]; Guidotti, Riccardo [Editor]; Farrell, Marie [Editor]; Luckcuck, Matt [Editor]; Marmsoler, Diego [Editor]; Campos, José [Editor]; Astarte, Troy [Editor]; Gonnord, Laure [Editor]; Cerone, Antonio [Editor]; Couto, Luis [Editor]; Dongol, Brijesh [Editor]; Kutrib, Martin [Editor]; Monteiro, Pedro [Editor]; Delmas, David [Editor]

    Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II - [1st ed. 2020.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

    Published in: Programming and Software Engineering ; 12233- Springer eBook Collection

  11. Pereira, David; Moreira, Nelma

    KAT and PHL in Coq

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    National Library of Serbia, 2008

    Published in: Computer Science and Information Systems