peter dybjer Peter Dybjer's Documents - EPDF.PUB

Peter Dybjer's Documents

Peter Dybjer's Documents

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Read more
Semantics and Logics of Computation (Publications of the Newton Institute)

Semantics and Logics of Computation (Publications of the Newton Institute)
Read more
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
Read more
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Read more
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science)

Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science)
Read more
Innocent Graves

Innocent Graves
Read more
Category Theory and Computer Science 1989

Category Theory and Computer Science 1989
Read more
Mobile and Wireless Communications: Key Technologies and Future Applications

Mobile and Wireless Communications: Key Technologies and Future Applications
Read more
Mystik und Natur: Zur Geschichte ihres Verhältnisses vom Altertum bis zur Gegenwart ,Theophrastus Paracelsus Studien

Mystik und Natur: Zur Geschichte ihres Verhältnisses vom Altertum bis zur Gegenwart ,Theophrastus Paracelsus Studien
Read more
Lexikon der Informatik

Lexikon der Informatik
Read more
Stalingrad 1942

Stalingrad 1942
Read more
IUTAM Symposium on Computational Physics and New Perspectives in Turbulence: Proceedings of the IUTAM Symposium on Computational Physics and New Persp

IUTAM Symposium on Computational Physics and New Perspectives in Turbulence: Proceedings of the IUTAM Symposium on Computational Physics and New Persp
Read more
Collagen: Structure and Mechanics

Collagen: Structure and Mechanics
Read more
Plant Microtubules: Development and Flexibility

Plant Microtubules: Development and Flexibility
Read more
Stalingrad 1942

Stalingrad 1942
Read more
Clinical Examination of Farm Animals

Clinical Examination of Farm Animals
Read more
Paulo Freire: A Critical Encounter

Paulo Freire: A Critical Encounter
Read more
Berlin 1945: End of the Thousand Year Reich

Berlin 1945: End of the Thousand Year Reich
Read more
The SLL Lighting Handbook

The SLL Lighting Handbook
Read more
Practical Design, Construction and Operation of Food Facilities (Food Science and Technology)

Practical Design, Construction and Operation of Food Facilities (Food Science and Technology)
Read more
The SLL Lighting Handbook

The SLL Lighting Handbook
Read more
Creating Shareholder Wealth

Creating Shareholder Wealth
Read more
Environmental Radiochemical Analysis III

Environmental Radiochemical Analysis III
Read more
A Century of Mathematics in America

A Century of Mathematics in America
Read more
Unexpected Death in Childhood: A Handbook for Practitioners (Wiley Child Protection & Policy Series)

Unexpected Death in Childhood: A Handbook for Practitioners (Wiley Child Protection & Policy Series)
Read more
A Century of Mathematics in America (History of Mathematics, Vol 2)

A Century of Mathematics in America (History of Mathematics, Vol 2)
Read more
Reference Modeling for Business Systems Analysis

Reference Modeling for Business Systems Analysis
Read more
Analytische Informationssysteme: Business Intelligence-Technologien und -Anwendungen, 3. Auflage

Analytische Informationssysteme: Business Intelligence-Technologien und -Anwendungen, 3. Auflage
Read more
A review of the laelapid mites associated with terrestrial mammals in Slovakia, with a key to the European species. - 1

A review of the laelapid mites associated with terrestrial mammals in Slovakia, with a key to the European species. - 1
Read more
Lexikon der Informatik, 15. Auflage

Lexikon der Informatik, 15. Auflage
Read more