Gérard Huet's Documents

Gérard Huet's Documents

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Read more
Statistical Tools for Nonlinear Regression

Statistical Tools for Nonlinear Regression
Read more
Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions
Read more
Multimedia Semantics: Metadata, Analysis and Interaction

Multimedia Semantics: Metadata, Analysis and Interaction
Read more
Statistical Physics and Spatial Statistics: The Art of Analyzing Spatial Structures and Pattern Formation

Statistical Physics and Spatial Statistics: The Art of Analyzing Spatial Structures and Pattern Formation
Read more
Statistical tools for nonlinear regression

Statistical tools for nonlinear regression
Read more
Current Studies in Italian Syntax: Essays Offered to Lorenzo Renzi

Current Studies in Italian Syntax: Essays Offered to Lorenzo Renzi
Read more
Giaur

Giaur
Read more
Social Life in Britain from the Conquest to the Reformation (Cambridge Library Collection - History)

Social Life in Britain from the Conquest to the Reformation (Cambridge Library Collection - History)
Read more
A study of Hegel's logic

A study of Hegel's logic
Read more
Complex variables

Complex variables
Read more
Handbook of Veterinary Obstetrics 2nd Edition

Handbook of Veterinary Obstetrics 2nd Edition
Read more
Solid-State Physics

Solid-State Physics
Read more
The Lovely Kittengirls of Mew Orleans

The Lovely Kittengirls of Mew Orleans
Read more
On the shoulders of giants: A course in single variable calculus

On the shoulders of giants: A course in single variable calculus
Read more
Introduction to Statistics and Data Analysis for Physicists

Introduction to Statistics and Data Analysis for Physicists
Read more
The Adoration of Addana

The Adoration of Addana
Read more
Cluster model interrelation with modern physical concepts

Cluster model interrelation with modern physical concepts
Read more
NEUROINFLAMMATION IN NEURONAL DEATH AND REPAIR

NEUROINFLAMMATION IN NEURONAL DEATH AND REPAIR
Read more
Surface Diffusion

Surface Diffusion
Read more
The Medieval Village (Cambridge Library Collection - History)

The Medieval Village (Cambridge Library Collection - History)
Read more
The Seleukid Royal Economy: The Finances and Financial Administration of the Seleukid Empire

The Seleukid Royal Economy: The Finances and Financial Administration of the Seleukid Empire
Read more
A Branch-and-cut Algorithm for the Undirected Rural Postman Problem

A Branch-and-cut Algorithm for the Undirected Rural Postman Problem
Read more
Ten Medieval Studies: with Four Appendices (Cambridge Library Collection - History)

Ten Medieval Studies: with Four Appendices (Cambridge Library Collection - History)
Read more
Polythiophenes: electrically conductive polymers

Polythiophenes: electrically conductive polymers
Read more
Polythiophenes - Electrically Conductive Polymers

Polythiophenes - Electrically Conductive Polymers
Read more
Advances in Multimedia Modeling: 15th International Multimedia Modeling Conference, MMM 2009, Sophia-Antipolis, France, January 7-9, 2009. Proceedings. ... Applications, incl. Internet Web, and HCI)

Advances in Multimedia Modeling: 15th International Multimedia Modeling Conference, MMM 2009, Sophia-Antipolis, France, January 7-9, 2009. Proceedings. ... Applications, incl. Internet Web, and HCI)
Read more
The Lie Behind The Lie Detector, 4th digital edition

The Lie Behind The Lie Detector, 4th digital edition
Read more
Kronika Zapowiedzianej Śmierci

Kronika Zapowiedzianej Śmierci
Read more
Necessary Roughness

Necessary Roughness
Read more