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

Animal Cell Culture and Technology (THE BASICS (Garland Science))

PDF
English
Year: 2004
Author: Michael Butler

Cell Culture and Upstream Processing

PDF
English
Year: 2007
Author: Michael Butler

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.)