Skip to contents

  2. Priese, Lutz [Author]; Wimmel, Harro [Author]

    Theoretische Informatik : Petri-Netze

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg; New York [u.a.]: Springer, 2003

    Published in: Springer-Lehrbuch

  4. Ferreira, Fernando [Editor]; Löwe, Benedikt [Other]; Mayordomo, Elvira [Other]; Mendes Gomes, Luís [Other] ; Conference on Computability in Europe 6 2010 Ponta Delgada

    Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Published in: Lecture notes in computer science ; 6158

  6. Ferreira, Fernando [Author] ; Löwe, Benedikt [Other]; Mayordomo, Elvira [Other]; Mendes Gomes, Luís [Other]

    Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. 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, 2010

    Published in: Lecture notes in computer science ; 6158

  7. Degano, Pierpaolo [Other]; Meseguer, José [Other]; Nicola, Rocco [Other]

    Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

    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-Verlag Berlin Heidelberg, 2008

    Published in: Lecture notes in computer science ; 5065