Skip to contents

  1. Barthe, Gilles [Author]

    Programming Languages and Systems : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

    Books
    View online
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Published in: Lecture notes in computer science ; 6602

  2. ISO/IEC JTC 1/SC 27 IT Sicherheitsverfahren, ISO/IEC JTC 1/SC 27 IT Security techniques, ISO/CEI JTC 1/SC 27 Techniques de sécurité des technologies de l'information, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC TR 27563 : Security and privacy in artificial intelligence use cases - Best practices - [2023-05-00]

    Standards
    View online
    Close

    Bookmarks

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

    Geneve: International Organization for Standardization, 2023

    Published in: ISO-Regelwerk- ISO-Normen

  3. Bethell, George [Author]; Harutyunyan, Karine [Author]

    The Development of the Student Assessment System in the Republic of Armenia : Achievements, Challenges, and Lessons Learned

    Books
    View online
    Close

    Bookmarks

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

    World Bank, Washington, DC, 2015

    Published in: Systems Approach for Better Education Results (SABER) student assessment working paper,no. 13

  4. Banerjee, Anindya [Author]; Mantel, Heiko [Author]; Naumann, David [Author]; Sabelfeld, Andrei [Author] ; Anindya Banerjee and Heiko Mantel and David Naumann and Andrei Sabelfeld [Contributor]

    03411 Abstracts Collection – Language Based Security

    Articles
    View online
    Close

    Bookmarks

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

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

  5. Banerjee, Anindya [Author]; Mantel, Heiko [Author]; Naumann, David [Author]; Sabelfeld, Andrei [Author] ; Anindya Banerjee and Heiko Mantel and David Naumann and Andrei Sabelfeld [Contributor]

    03411 Final Report – Language Based Security

    Articles
    View online
    Close

    Bookmarks

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

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

  6. Banerjee, Anindya [Author]; Mantel, Heiko [Author]; Naumann, David A. [Author]; Sabelfeld, Andrei [Author] ; Anindya Banerjee and Heiko Mantel and David A. Naumann and Andrei Sabelfeld [Contributor]

    Language-Based Security (Dagstuhl Seminar 03411)

    Articles
    View online
    Close

    Bookmarks

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

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

  7. ABADI, MARTÍN; MORRISETT, GREG; SABELFELD, ANDREI

    Language-Based Security

    Articles
    View online
    Close

    Bookmarks

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

    Cambridge University Press (CUP), 2005

    Published in: Journal of Functional Programming