Home Advanced Search

Advanced Search - Page 1

Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Sandrine Blazy, Thomas Jensen (eds.)
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2016
  • Author: Sandrine Blazy, Marsha Chechik (eds.)
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (eds.)
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (eds.)
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Sandrine Blazy, Philippe Facon (auth.), Olivier Danvy, Robert Glück, Peter Thiemann (eds.)
The United Kingdom — The United Nations
  • PDF
  • English
  • Year: 1990
  • Author: Erik Jensen, Thomas Fisher (eds.)
Colonial Culture in France since the Revolution
  • PDF
  • English
  • Year: 2013
  • Author: Pascal Blanchard, Sandrine Lemaire, Nicolas Bancel, Dominic Thomas (eds.)
Nanomedicine
  • PDF
  • English
  • Year: 2016
  • Author: Kenneth A. Howard, Thomas Vorup-Jensen, Dan Peer (eds.)
Smart Card Programming and Security: International Conference on Research in Smart Cards, E-smart 2001 Cannes, France, September 19–21, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Simon Moore (auth.), Isabelle Attali, Thomas Jensen (eds.)
Collaborative Form: Studies in the Relations of the Arts
  • PDF
  • English
  • Year: 1991
  • Author: Thomas Jensen Hines
search