Skip to contents

  3. Krishna, Siddharth [Author] ; Summers, Alex J. [Other]; Wies, Thomas [Other]

    Local Reasoning for Global Graph Properties

    Videos
    View online
    Schließen
    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: 29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021)

  11. Stafford, Tom [Author] ; Webb, Matt [Contributor] Safari Tech Books Online

    Mind hacks

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Sebastopol, Calif.: O'Reilly Media, c2005

  18. Belhaj Amor, Fatma [Author] ; Pau [Contributor]; Université virtuelle de Tunis [Contributor]; Lévi, Laurent [Contributor]; Kouki, Rahim [Contributor]; Gibel, Patrick [Contributor]

    Enseignement et apprentissage des approximations locales des fonctions au début du cursus dans le Supérieur - Cas des classes préparatoires aux études d'ingénieurs ; Teaching and learning of local approximations of functions at the start of the higher education course - The case of preparatory classes for engineering studies

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2022-11-29