Home Advanced Search

Advanced Search - Page 1

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Étienne André, Giuseppe Pellegrino (auth.), Víctor Braberman, Laurent Fribourg (eds.)
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Étienne André, Giuseppe Pellegrino (auth.), Víctor Braberman, Laurent Fribourg (eds.)
Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)
Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Peter O’Hearn, John Reynolds, Hongseok Yang (auth.), Laurent Fribourg (eds.)
Séminaire de Probabilités XXVIII
  • PDF
  • English-French
  • Year: 1994
  • Author: Laurent Schwartz (auth.), Jacques Azéma, Marc Yor, Paul André Meyer (eds.)
Towards Process Safety 4.0 in the Factory of the Future
  • PDF
  • English
  • Year: 2023
  • Author: André Laurent
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)
Human Resource Management in International Firms: Change, Globalization, Innovation
  • PDF
  • English
  • Year: 1990
  • Author: Paul Evans, Yves Doz, André Laurent (eds.)
Small States Inside and Outside the European Union: Interests and Policies
  • PDF
  • English
  • Year: 1998
  • Author: Laurent Goetschel (auth.), Laurent Goetschel (eds.)
search