Skip to contents

  3. Baraitser, Lisa [Author]; Chude-Sokei, Louis [Author]; Ganesh, Maya Indira [Author]; Goatley, Wesley [Author]; Le Roy, Xavier [Author]; Parisi, Luciana [Author]; Pohflepp, Sascha [Author]; Roosth, Sophia [Author]; Thomlinson, Gary [Author] ; Houde, Nick [Editor]; Klingan, Katrin [Editor]; Schindler, Johanna [Editor] Spector Books OHG

    Echo - [1. Auflage]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Leipzig: Spector Books, [2021]

    Published in: Das neue Alphabet ; 4

  4. García, Rodrigo [Other]; Watts, Naomi [Other]; Bening, Annette [Other]; Washington, Kerry [Other]; Shearmur, Edward [Other]; Pérez Grobet, Xavier [Other]; Watts, Naomi [Performer]; Bening, Annette [Performer]; Washington, Kerry [Performer]; Smits, Jimmy [Performer]; Jackson, Samuel L. [Performer]

    Mütter und Töchter (1 DVD-Video)

    Videos
    Close

    Bookmarks

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

    München: Universum Film, 2011

  5. Dirkens, Jenny [Other]; Jentjens, Kathrin [Editor]; Lentz, Michael [Other]; Winters, Uli [Other]; Le Roy, Xavier [Other]; Morris, Robert [Other]; Rosler, Martha [Other]; Vonna-Michell, Tris [Other]; Voss, Jeronimo [Other]; Zdjelar, Katarina [Other]; Verwoert, Jan [Other]; Dirksen, Jenny [Other]; Backström, Fia [Other]; Becker, Lutz [Other]; Boudry, Pauline [Other]; Fraser, Andrea [Other]; Graham, Dan [Other]; Leckey, Mark [Other]; Lengerer, Achim [Other]; Joksimović, Radmila [Editor]; Vesić, Jelena [Editor]; Nathan-Dorn, Anja [Editor] ; Kölnischer Kunstverein, Muzej Savremene Umetnosti Belgrad, Kuća Legata Belgrad

    Lecture Performance : [Lecture Performance, Kölnischer Kunstverein, 24.10.-20.12.2009 ; Salon of the MoCA, Belgrade, 24.1.-28.2.2010, Kuća legata (Heritage House), 24.1.-24.2.2010]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin: Revolver Publ. by VVV, 2009

  8. Leroy, Xavier [Author] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Programming Languages, ACM Special Interest Group on Algorithms and Computation Theory

    Proceedings of the 2015 Conference on Certified Programs and Proofs

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    New York, NY: ACM, 2015

    Published in: ACM Conferences- ACM Digital Library

  14. França, Ricardo Bedin [Author]; Favre-Felix, Denis [Author]; Leroy, Xavier [Author]; Pantel, Marc [Author]; Souyris, Jean [Author] ; Ricardo Bedin França and Denis Favre-Felix and Xavier Leroy and Marc Pantel and Jean Souyris [Contributor]

    Towards Formally Verified Optimizing Compilation in Flight Control Software

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

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

  15. Schommer, Bernhard [Author]; Cullmann, Christoph [Author]; Gebhard, Gernot [Author]; Leroy, Xavier [Author]; Schmidt, Michael [Author]; Wegener, Simon [Author] ; Bernhard Schommer and Christoph Cullmann and Gernot Gebhard and Xavier Leroy and Michael Schmidt and Simon Wegener [Contributor]

    Embedded Program Annotations for WCET Analysis

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

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

  16. von Eikels, Kai [Contributor]; Hölscher, Stefan [Contributor]; Rainer, Yvonne [Speaker]; Le Roy, Xavier [Speaker] ; ICI Library

    The Workshop : Investigations Into an Artistic-Political Format : Conference

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin: ICI Berlin, 26-28 Mar 2021

    Published in: ICI Edition : Conference

  17. Pawlotsky, Jean-Michel [Author]; Dhumeaux, Daniel [Author] ; Alter, Harvey J [Contributor]; Antona, Denise [Contributor]; Asselah, Tarik [Contributor]; Bedossa, Pierre [Contributor]; Benhamou, Yves [Contributor]; Billioud, Gaëtan [Contributor]; Cacoub, Patrice [Contributor]; Castel, Hélène [Contributor]; Castéra, Laurent [Contributor]; Chessa, Luchino [Contributor]; Chevaliez, Stéphane [Contributor]; Cimino, Letizia [Contributor]; Cova, Lucyna [Contributor]; Delarocque-Astagneau, Elisabeth [Contributor]; Denis, François [Contributor]; Dhumeaux, Daniel [Contributor]; Duvoux, Christophe [Contributor]; Farci, Patrizia [Contributor]; Fournier, Claire [Contributor]; Hézode, Christophe [Contributor]; Lada, Olivier [Contributor]; Lagaudrière-Gesbert, Cécile [Contributor]; Lai, Maria Eliana [Contributor]; Lalazar, Gadi [Contributor]; [...]

    Hépatite B

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Les Ulis: EDP Sciences, [2021] ; [Online-Ausgabe]

    Published in: Monographie

  18. Yeni, P. [Author]; Leport, C. [Author]; Regnier, B. [Author] ; Barré-Sinoussi, F. [Contributor]; Bouvet, Élisabeth [Contributor]; Bricaire, François [Contributor]; Caulin, Charles [Contributor]; Crance, J.-M [Contributor]; Debord, Thierry [Contributor]; Deubel, Vincent [Contributor]; Diop, O.M [Contributor]; Drillien, R. [Contributor]; Duval, Xavier [Contributor]; Garin, D. [Contributor]; Georges-Courbot, M.-C [Contributor]; Georges-Courbot, Marie-Claude [Contributor]; Guèye, A. [Contributor]; Guérin, Nicole [Contributor]; Güell, Antonio [Contributor]; Kornfeld, C. [Contributor]; Leculier, Christophe [Contributor]; Leroy, E. [Contributor]; Lévy-Bruhl, Daniel [Contributor]; Makuwa, M. [Contributor]; Meignier, Bernard [Contributor]; Michel, S. [Contributor]; Mouton, Yves [Contributor]; [...]

    Infections virales émergentes : enjeux collectifs

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Les Ulis: EDP Sciences, [2003]

    Published in: Hors collection

  19. Leroy, Xavier

    Sciences du logiciel

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    OpenEdition, 2023

    Published in: L’annuaire du Collège de France (2023) 120, Seite 13-22

  20. Leroy, Xavier

    Sciences du logiciel

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    OpenEdition, 2022

    Published in: L’annuaire du Collège de France (2022) 119, Seite 21-33