Home Advanced Search

Advanced Search - Page 1

STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science Cachan, France, February 13–15, 1992 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Marie-Claude Gaudel (auth.), Alain Finkel, Matthias Jantzen (eds.)
Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Ana Cavalcanti, Marie-Claude Gaudel (auth.), Shengchao Qin (eds.)
FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: C. A. R. Hoare (auth.), Marie-Claude Gaudel, James Woodcock (eds.)
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Jim Woodcock, Victor Bandur (auth.), Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.)
Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)
Algebraic Foundations of Systems Specification
  • PDF
  • English
  • Year: 1999
  • Author: Marie-Claude Gaudel, Gilles Bernot (auth.), Prof. Dr. Egidio Astesiano, Prof. Dr. Hans-Jörg Kreowski, Prof. Dr. Bernd Krieg-Brückner (eds.)
STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings
  • PDF
  • English
  • Year: 1991
  • Author: Jacek Leszczylowski, Martin Wirsing (auth.), Christian Choffrut, Matthias Jantzen (eds.)
Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Mikołaj Bojańczyk, Sławomir Lasota (auth.), Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
Open quantum systems I: the Hamiltonian approach
  • PDF
  • English
  • Year: 2006
  • Author: Alain Joye (auth.), Stéphane Attal, Alain Joye, Claude-Alain Pillet (eds.)
Nonlinear Hyperbolic Problems: Proceedings of an Advanced Research Workshop held in Bordeaux, France, June 13–17, 1988
  • PDF
  • English-French
  • Year: 1989
  • Author: Said Benachour, Alain Yves Le Roux, Marie Noëlle Le Roux (auth.), Claude Carasso, Pierre Charrier, Bernard Hanouzet, Jean-Luc Joly (eds.)
search