Home Advanced Search

Advanced Search - Page 1

From Semantics to Computer Science: Essays in Honour of Gilles Kahn
  • PDF
  • English
  • Year: 2009
  • Author: Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin
Logical frameworks
  • PDF
  • English
  • Year: 1991
  • Author: Gèrard Huet, Gordon Plotkin
Héritage du Sanskrit-Dictionnaire sanskrit-français
  • PDF
  • Sanskrit-French
  • Author: Huet Gérard.
Introduction to the Theory of Programming Languages [recurso electrónico]
  • EPUB
  • English
  • Year: 2011
  • Author: Gilles Dowek & Jean-Jacques Lévy
Introduction to the Theory of Programming Languages
  • PDF
  • English
  • Year: 2011
  • Author: Gilles Dowek, Jean-Jacques Lévy (auth.)
Computer Security — ESORICS 92: Second European Symposium on Research in Computer Security Toulouse, France, November 23–25, 1992 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: John A Bull, Li Gong, Karen R Sollins (auth.), Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater (eds.)
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
  • PDF
  • English
  • Year: 2004
  • Author: Yves Bertot, Pierre Castéran
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
  • DJVU
  • English
  • Year: 2004
  • Author: Yves Bertot, Pierre Castéran
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
  • DJVU
  • English
  • Year: 2004
  • Author: Yves Bertot, Pierre Castéran
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
  • DJVU
  • English
  • Year: 2004
  • Author: Yves Bertot, Pierre Castéran
search