Filliatre, Jean Christophe books & textbook
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3839)
Filliatre, Jean-Christophe Paulin-Mohring, Christine Werner, Benjamin
Springer /2006-01-25 Paperback / 288 Pages
isbn-10: 3540314288 / isbn-13: 9783540314288
Spécialité Numérique et sciences informatiques : 24 leçons avec exercices corrigés - Terminale
Balabonski, Thibaut Conchon, Sylvain Filliâtre, Jean-Christophe Nguyen, Kim
ELLIPSES /2024-09-10 Paperback / 528 Pages
isbn-10: 2340096537 / isbn-13: 9782340096530
Informatique - MP2I/MPI - CPGE 1re et 2e années: Cours et exercices corrigés
Balabonski, Thibaut Conchon, Sylvain Filliâtre, Jean-Christophe Nguyen, Kim Sartre, Laurent
ELLIPSES /2022-09-06 Paperback / 1116 Pages
isbn-10: 2340070341 / isbn-13: 9782340070349
Spécialité NSI (Numérique et sciences informatiques) : 30 leçons avec exercices corrigés - Première (French Edition)
Balabonski, Thibaut Conchon, Sylvain Filliâtre, Jean-Christophe Nguyen, Kim
ELLIPSES /2021-07-13 Paperback / 528 Pages
isbn-10: 2340057817 / isbn-13: 9782340057814
Spécialité Numérique et sciences informatiques : 24 leçons avec exercices corrigés - Terminale - Nouveaux programmes
Balabonski, Thibaut Conchon, Sylvain Filliâtre, Jean-Christophe Nguyen, Kim Leroy, Xavier
ELLIPSES /2020-07-21 Paperback / 528 Pages
isbn-10: 2340038553 / isbn-13: 9782340038554
Spécialité Numérique et sciences informatiques : 30 leçons avec exercices corrigés - Première - Nouveaux programmes
Balabonski, Thibaut Conchon, Sylvain Filliâtre, Jean-Christophe Nguyen, Kim Dowek, Gilles
ELLIPSES /2019-08-21 Paperback / 528 Pages
isbn-10: 2340033640 / isbn-13: 9782340033641
Informatique pour tous en classes préparatoires aux grandes écoles: Manuel d'algorithmique et programmation structurée avec Python. Nouveaux programmes 2013. Voies MP, PC, PSI, PT, TPC et TSI.
Wack, Benjamin Conchon, Sylvain Courant, Judicaël de Falco, Marc Dowek, Gilles Filliâtre, Jean-Christophe Gonnord, Stéphane
EYROLLES /2013-08-22 Paperback / 390 Pages
isbn-10: 2212137001 / isbn-13: 9782212137002
