Skip to contents

  1. Marx, Karl [Author]; Engels, Friedrich [Author] ; Ōtani, Teinosuke [Editor]; Saitō, Kōhei [Editor]; Graßmann, Timm [Editor]

    Gesamtausgabe (MEGA) / 4. Abteilung, Exzerpte, Notizen, Marginalien, Band 18, Exzerpte und Notizen : Februar 1864 bis Oktober 1868 - November 1869 - März, April, Juni 1870 - Dezember 1872 : Apparat / Karl Marx, Friedrich Engels ; bearbeitet von Teinosuke Otani, Kohei Saito und Timm Graßmann

    Books
    View online
    Close

    Bookmarks

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

    Berlin; Boston: De Gruyter, Akademie Forschung, 2019

    Published in: Gesamtausgabe (MEGA) / Karl Marx, Friedrich Engels ; herausgegeben von der Internationalen Marx-Engels-Stiftung, Amsterdam ; 4,18,2

  2. Marx, Karl [Author]; Engels, Friedrich [Author] ; Ōtani, Teinosuke [Editor]; Saitō, Kōhei [Editor]; Graßmann, Timm [Editor]

    Gesamtausgabe (MEGA) / 4. Abteilung, Exzerpte, Notizen, Marginalien, Band 18, Exzerpte und Notizen : Februar 1864 bis Oktober 1868 - November 1869 - März, April, Juni 1870 - Dezember 1872 : Text / Karl Marx, Friedrich Engels ; bearbeitet von Teinosuke Otani, Kohei Saito und Timm Graßmann

    Books
    View online
    Close

    Bookmarks

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

    Berlin; Boston: De Gruyter, Akademie Forschung, 2019

    Published in: Gesamtausgabe (MEGA) / Karl Marx, Friedrich Engels ; herausgegeben von der Internationalen Marx-Engels-Stiftung, Amsterdam ; 4,18,1

  3. Marx, Karl [Author] ; Saitō, Kōhei [Editor]; Ōtani, Teinosuke [Editor]; Graßmann, Timm [Editor]

    Gesamtausgabe (MEGA) : : Exzerpte und Notizen ; Februar 1864 bis Oktober 1868, November 1869, März, April, Juni 1870, Dezember 1872

    Books
    View online
    Close

    Bookmarks

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

    Berlin; Boston: De Gruyter Akademie Forschung, [2019] ; [Online-Ausgabe]

    Published in: Gesamtausgabe (MEGA)

  4. Nishida, Yuki [Author] ; Saito, Hiromasa [Other]; Chen, Ran [Other]; Kawata, Akira [Other]; Furuse. Jun [Other]; Suenaga, Kohei [Other]; Igarashi, Atsushi [Other]

    Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types

    Videos
    View online
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Published in: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021)