Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Courant, Judicaël"'
Autor:
Courant, Judicaël, Gossa, Julien
Publikováno v:
La sélection dans l’enseignement supérieur : Politiques, instruments, pratiques
La sélection dans l’enseignement supérieur : Politiques, instruments, pratiques, Feb 2019, Paris, France
La sélection dans l’enseignement supérieur : Politiques, instruments, pratiques, Feb 2019, Paris, France
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1301e16906b0879ee7523240359173e4
https://hal.science/hal-02967579/file/courant-gossa.pdf
https://hal.science/hal-02967579/file/courant-gossa.pdf
Autor:
Courant, Judicaël
Publikováno v:
In Electronic Notes in Theoretical Computer Science February 2003 70(1):53-71
Autor:
Courant, Judicaël, De Falco, Marc, Gonnord, Stéphane, Filliâtre, Jean-Christophe, Conchon, Sylvain, Dowek, Gilles, Wack, Benjamin
Publikováno v:
Eyrolles, pp.1-390, 2013, 978-2-212-13700-2
National audience; L'enseignement de l'informatique est indispensable à la formation scientifique de l'étudiant qui se destine à une carrière d'ingénieur ou de chercheur. Comprendre le fonctionnement des systèmes qui nous entourent et, mieux en
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::534148186e5b4d567a8c6ae2f5baa638
https://inria.hal.science/hal-00880268
https://inria.hal.science/hal-00880268
Autor:
Barras, Bruno, Boutin, Samuel, Cornes, Cristina, Courant, Judicaël, Filliâtre, Jean-Christophe, Giménez, Eduardo, Herbelin, Hugo, Huet, Gérard, Muñoz, César, Murthy, Chetan, Parent, Catherine, Paulin-Mohring, Christine, Saïbi, Amokrane, Werner, Benjamin
Publikováno v:
[Research Report] RT-0203, INRIA. 1997, pp.214
Projet COQ; Coq is a proof assistant based on a higher-order logic allowing powerful definitions of functions. Coq V6.1 is available by anonymous ftp at ftp.inria.fr:/INRIA/Projects/coq/V6.1 and ftp.ens-lyon.fr:/pub/LIP/COQ/V6.1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2ecf7fa50804c06ea1f61a3e0a318729
https://inria.hal.science/inria-00069968/file/RT-0203.pdf
https://inria.hal.science/inria-00069968/file/RT-0203.pdf
Autor:
Cornes, Cristina, Courant, Judicaël, Filliâtre, Jean-Christophe, Huet, Gérard, Manoury, Pascal, Munoz, César, Murthy, Chetan, Parent, Catherine, Paulin-Mohring, Christine, Saibi, Amokrane, Werner, Benjamin
Publikováno v:
[Research Report] RT-0177, INRIA. 1995, pp.185
Projet COQ; Résumé disponible dans les fichiers attachés
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cb31ff793f22d02fe7c3a39cc2b64ecc
https://inria.hal.science/inria-00069994/document
https://inria.hal.science/inria-00069994/document
Publikováno v:
Proceedings of the 15th ACM Conference: Computer & Communications Security; 10/27/2008, p371-380, 10p
Publikováno v:
Trends in Functional Programming Volume 7; 2007, Vol. 7, p1-18, 18p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Arvind, V., Prasad, Sanjiva, Courant, Judicaël, Ene, Cristian, Lakhnech, Yassine
Publikováno v:
FSTTCS 2007: Foundations of Software Technology & Theoretical Computer Science; 2007, p364-375, 12p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
COURANT, JUDICAËL
Publikováno v:
Journal of Functional Programming; May2007, Vol. 17 Issue 3, p287-352, 66p