Home Advanced Search

Advanced Search - Page 1

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Reinhard Wilhelm (auth.), Susanne Graf, Laurent Mounier (eds.)
Pensées sur la justice
  • EPUB
  • French
  • Year: 2011
  • Author: Pascal, Blaise;Thirouin, Laurent
Stochastic Modeling and Analysis of Telecoms Networks
  • PDF
  • English
  • Year: 2012
  • Author: Laurent Decreusefond, Pascal Moyal
Foundations and Practice of Security: 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Fatemeh Raji, Ali Miri, Mohammad Davarpanah Jazi (auth.), Joaquin Garcia-Alfaro, Pascal Lafourcade (eds.)
Modern Approaches to Discrete Curvature
  • PDF
  • English
  • Year: 2017
  • Author: Laurent Najman, Pascal Romon (eds.)
Foundations and Practice of Security: 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12–14, 2022, Revised Selected Papers
  • PDF
  • English
  • Year: 2023
  • Author: Guy-Vincent Jourdan, Laurent Mounier, Carlisle Adams, Florence Sèdes, Joaquin Garcia-Alfaro