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.)
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.)
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
The Republic of Therapy: Triage and Sovereignty in West Africa’s Time of AIDS
  • PDF
  • English
  • Year: 2010
  • Author: Vinh-Kim Nguyen (editor); Arjun Appadurai (editor); Jean L. Comaroff (editor); Judith Farquhar (editor)
Acoustic Particle Velocity Measurements Using Laser. Principles, Signal Processing and Applications
  • EPUB
  • English
  • Year: 2014
  • Author: Jean-Christophe Valière
L’Age d’or capétien (1180-1328)
  • EPUB
  • French
  • Year: 2011
  • Author: Jean-Christophe Cassard
search