Home Advanced Search

Advanced Search - Page 1

Numérique et sciences informatiques
  • DJVU
  • French
  • Year: 2019
  • Author: Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyen
Apprendre a programmer avec Ocaml Algorithmes et structures de donnees
  • PDF
  • French
  • Year: 2014
  • Author: Sylvain Conchon, Jean-Christophe Filliatre
Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jean-Christophe Filliâtre (auth.), Maria Paola Bonacina (eds.)
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Michael Butler, Sylvain Conchon, Fatiha Zaïdi (eds.)
Handbook of elliptic and hyperelliptic curve cryptography
  • PDF
  • English
  • Year: 2006
  • Author: Henri Cohen, Gerhard Frey, Roberto Avanzi, Christophe Doche, Tanja Lange, Kim Nguyen, Frederik Vercauteren
Handbook of Elliptic and Hyperelliptic Curve Cryptography
  • PDF
  • English
  • Year: 2006
  • Author: Henri Cohen, Gerhard Frey, Roberto Avanzi, Christophe Doche, Tanja Lange, Kim Nguyen, Frederik Vercauteren
The Republic of Therapy: Triage and Sovereignty in West Africa’s Time of AIDS
  • PDF
  • English
  • Year: 2010
  • Author: Vinh-Kim Nguyen
The republic of therapy: Triage and sovereignty in West Africa's time of AIDS
  • PDF
  • English
  • Year: 2010
  • Author: Vinh-Kim Nguyen
search