Yves André's Documents

Yves André's Documents

Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99

Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99
Read more
Handbook of Multiphase Polymer Systems

Handbook of Multiphase Polymer Systems
Read more
Genotype - Proteotype - Phenotype Relationships in Neurodegenerative Diseases (Research and Perspectives in Alzheimer's Disease)

Genotype - Proteotype - Phenotype Relationships in Neurodegenerative Diseases (Research and Perspectives in Alzheimer's Disease)
Read more
Deductive Reasoning and Strategies

Deductive Reasoning and Strategies
Read more
Historical Origins of the Concept of Neurosis

Historical Origins of the Concept of Neurosis
Read more
Fifth Letter of Hernan Cortes to the Emperor Charles V: Containing an Account of his Expedition to Honduras (Cambridge Library Collection - Hakluyt First Series)

Fifth Letter of Hernan Cortes to the Emperor Charles V: Containing an Account of his Expedition to Honduras (Cambridge Library Collection - Hakluyt First Series)
Read more
Charlevoix : Saguenay-Lac-Saint-Jean

Charlevoix : Saguenay-Lac-Saint-Jean
Read more
Mathematical geophysics: an introduction to rotating fluids and the Navier-Stokes equations

Mathematical geophysics: an introduction to rotating fluids and the Navier-Stokes equations
Read more
Euro- Par '96. Parallel Processing I: Second International Euro-Par Conference, Lyon, France, August 26 - 29, 1996, Proceedings: 001

Euro- Par '96. Parallel Processing I: Second International Euro-Par Conference, Lyon, France, August 26 - 29, 1996, Proceedings: 001
Read more
High Performance Computing - HiPC 2006: 13th International Conference Bangalore, India, December 18-21, 2006, Proceedings

High Performance Computing - HiPC 2006: 13th International Conference Bangalore, India, December 18-21, 2006, Proceedings
Read more
From Semantics to Computer Science: Essays in Honour of Gilles Kahn

From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Read more
Advances in Practical Applications of Agents and Multiagent Systems (Advances in Intelligent and Soft Computing, 70)

Advances in Practical Applications of Agents and Multiagent Systems (Advances in Intelligent and Soft Computing, 70)
Read more
Wavelets and their Applications

Wavelets and their Applications
Read more
Pour une approche intégrée en santé : Vers un nouveau paradigme

Pour une approche intégrée en santé : Vers un nouveau paradigme
Read more
Substrate Noise Coupling in Analog RF Circuits (Artech House Microwave Library)

Substrate Noise Coupling in Analog RF Circuits (Artech House Microwave Library)
Read more
Parallel Processing: CONPAR 92, VAPP V: CONPAR '92, VAPP V - Second Joint International Conference on Vector and Parallel Processing, Lyon, France,

Parallel Processing: CONPAR 92, VAPP V: CONPAR '92, VAPP V - Second Joint International Conference on Vector and Parallel Processing, Lyon, France,
Read more
Wavelets and Their Applications

Wavelets and Their Applications
Read more
Computer Security - ESORICS 98, 5 conf

Computer Security - ESORICS 98, 5 conf
Read more
Physique. Tout-en-un pour la Licence - Cours, applications et exercices corrigés

Physique. Tout-en-un pour la Licence - Cours, applications et exercices corrigés
Read more
Ghost Process: a Sound Basis to Implement Process Duplication, Migration and Checkpoint Restart in Linux Clusters

Ghost Process: a Sound Basis to Implement Process Duplication, Migration and Checkpoint Restart in Linux Clusters
Read more
Green devils : German paratroops - 1939-45

Green devils : German paratroops - 1939-45
Read more
Four Short Courses on Harmonic Analysis: Wavelets, Frames, Time-Frequency Methods, and Applications to Signal and Image Analysis (Applied and Numerical Harmonic Analysis)

Four Short Courses on Harmonic Analysis: Wavelets, Frames, Time-Frequency Methods, and Applications to Signal and Image Analysis (Applied and Numerical Harmonic Analysis)
Read more
X-Ray Tomography in Material Science

X-Ray Tomography in Material Science
Read more
Mental and Behavioral Dysfunction in Movement Disorders

Mental and Behavioral Dysfunction in Movement Disorders
Read more
Climate Law and Developing Countries: Legal and Policy Challenges for the World Economy (New Horizons in Environmental and Energy Law)

Climate Law and Developing Countries: Legal and Policy Challenges for the World Economy (New Horizons in Environmental and Energy Law)
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
Evangelio de Jesucristo Segun San Lucas

Evangelio de Jesucristo Segun San Lucas
Read more
Les Therapies Ciblees

Les Therapies Ciblees
Read more
Knowledge Acquisition for Knowledge-Based Systems: 7th European Workshop, EKAW'93, Toulouse and Caylus, France, September 6-10, 1993. Proceedings

Knowledge Acquisition for Knowledge-Based Systems: 7th European Workshop, EKAW'93, Toulouse and Caylus, France, September 6-10, 1993. Proceedings
Read more
Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development
Read more