Home Advanced Search

Advanced Search - Page 1

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.)
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Marie-Claude Gaudel (auth.), Burkhart Wolff, Fatiha Zaïdi (eds.)
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Marie-Claude Gaudel (auth.), Burkhart Wolff, Fatiha Zaïdi (eds.)
Apprendre a programmer avec Ocaml Algorithmes et structures de donnees
  • PDF
  • French
  • Year: 2014
  • Author: Sylvain Conchon, Jean-Christophe Filliatre
Numérique et sciences informatiques
  • DJVU
  • French
  • Year: 2019
  • Author: Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyen
The Making of Modern Switzerland, 1848–1998
  • PDF
  • English
  • Year: 2000
  • Author: Michael Butler, Malcolm Pender, Joy Charnley (eds.)
Agents and Multi-Agent Systems for Health Care: 10th International Workshop, A2HC 2017, São Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017, Revised and Extended Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Sara Montagna,Pedro Henriques Abreu,Sylvain Giroux,Michael Ignaz Schumacher (eds.)
Phénoménologie de la religion et herméneutique théologique dans la pensée du jeune Heidegger: Commentaire analytique des Fondements philosophiques de la mystique médiévale (1916-1919)
  • PDF
  • French
  • Year: 2007
  • Author: Camilleri Sylvain (auth.), Camilleri Sylvain (eds.)
Phénoménologie de la religion et herméneutique théologique dans la pensée du jeune Heidegger: Commentaire analytique des Fondements philosophiques de la mystique médiévale (1916-1919)
  • PDF
  • French
  • Year: 2007
  • Author: Camilleri Sylvain (auth.), Camilleri Sylvain (eds.)
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.)
search