Skip to contents

  5. Schmid, Detlef [Editor]; Kropf, Thomas [Other] ; Workshop Formale Methoden zum Entwurf Korrekter Systeme 1993 Bad Herrenalb, Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme

    GI-ITG-Workshop Formale Methoden zum Entwurf Korrekter Systeme : 21. - 23. März 1993, Bad Herrenalb

    Books
    Close

    Bookmarks

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

    Karlsruhe: Univ., Fakultät für Informatik, 1993

    Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 93,10

  6. Bonnard, Jacques [Artist]; Braegger, Tina [Artist]; Donzé, Natacha [Artist]; Fleury, Sylvie [Artist]; Gabioud, Frédéric [Artist]; Kropf, Stéphane [Artist]; Leonardi, Miriam Laura [Artist]; Liu Le Lann, Thomas [Artist]; Mirambeau, Charly [Artist]; Savary, Denis [Artist]; Van Lubeek, Claire [Artist]; De Watteville, Romane [Artist]; Ziehe, Jens [Photographer] ; Gross, Samuel [Writer of supplementary textual content]; Jackson, Gerrit [Translator]

    Duna bianca - a proposal by Alfredo Aceto

    Books
    Close

    Bookmarks

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

    Berlin, Germany: Dittrich & Schlechtriem, [2020]

  7. Pierre, Laurence [Author] ; Kropf, Thomas [Other]

    Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 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-Verlag Berlin Heidelberg, 1999

    Published in: Lecture notes in computer science ; 1703