Zum Inhalt springen

  1. Moreira, Nelma [VerfasserIn] ; Reis, Rogério [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2012

    Erschienen in: Lecture notes in computer science ; 7381

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Theoretical Computer Science and General Issues ; 12811

  3. Kutrib, Martin [VerfasserIn] ; Moreira, Nelma [Sonstige Person, Familie und Körperschaft]; Reis, Rogério [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2012

    Erschienen in: Lecture notes in computer science ; 7386

  4. Filgueiras, Miguel [VerfasserIn] ; Damas, Luis [Sonstige Person, Familie und Körperschaft]; Moreira, Nelma [Sonstige Person, Familie und Körperschaft]; Tomas, Ana P. [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1991

    Erschienen in: Lecture notes in computer science ; 476

  5. Ferreira, Miguel [VerfasserIn]; Moreira, Nelma [VerfasserIn]; Reis, Rogério [VerfasserIn] ; Miguel Ferreira and Nelma Moreira and Rogério Reis [MitwirkendeR]

    Automata Serialization for Manipulation and Drawing

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

  9. Moreira, Nelma; Reis, Rogério

    Implementation and Application of Automata: Manipulation of Regular Expressions Using Derivatives: An Overview

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2022

    Erschienen in: Implementation and Application of Automata

  11. Pereira, David; Moreira, Nelma

    KAT and PHL in Coq

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    National Library of Serbia, 2008

    Erschienen in: Computer Science and Information Systems

  15. Ferreira, Miguel; Moreira, Nelma; Reis, Rogério

    Descriptional Complexity of Formal Systems: Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2018

    Erschienen in: Descriptional Complexity of Formal Systems