p. dybjer P. Dybjer's Documents - EPDF.PUB

P. Dybjer's Documents

P. Dybjer's Documents

Semantics and Logics of Computation (Publications of the Newton Institute)

Semantics and Logics of Computation (Publications of the Newton Institute)
Read more
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
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
Bottom-up Computing and Discrete Mathematics

Bottom-up Computing and Discrete Mathematics
Read more
Empirical Distributions and Processes

Empirical Distributions and Processes
Read more
Desigualdades

Desigualdades
Read more
Light-Weight Steel and Aluminium Structures

Light-Weight Steel and Aluminium Structures
Read more
Metaphors in International Relations Theory

Metaphors in International Relations Theory
Read more
Multirate Systems And Filter Banks (Prentice Hall Signal Processing Series)

Multirate Systems And Filter Banks (Prentice Hall Signal Processing Series)
Read more
The Theory of Linear Prediction

The Theory of Linear Prediction
Read more
Best Practices in Sequence Stratigraphy English and French

Best Practices in Sequence Stratigraphy English and French
Read more
Superlinear Parabolic Problems: Blow-up, Global Existence and Steady States

Superlinear Parabolic Problems: Blow-up, Global Existence and Steady States
Read more
Atomic Force Microscopy

Atomic Force Microscopy
Read more
Inequalities (Little Mathematics Library)

Inequalities (Little Mathematics Library)
Read more
Data Warehousing Fundamentals

Data Warehousing Fundamentals
Read more
The theory of linear prediction

The theory of linear prediction
Read more
Atomic Force Microscopy

Atomic Force Microscopy
Read more
An Introduction to Mathematica

An Introduction to Mathematica
Read more
Inequalities (Little Mathematics Library)

Inequalities (Little Mathematics Library)
Read more
Inequalities (Little Mathematics Library)

Inequalities (Little Mathematics Library)
Read more
An Introduction to Laplace Transforms and Fourier Series

An Introduction to Laplace Transforms and Fourier Series
Read more
Women in England: c. 1275-1525

Women in England: c. 1275-1525
Read more
Ontology Learning and Population: Bridging the Gap between Text and Knowledge - Volume 167 Frontiers in Artificial Intelligence and Applications

Ontology Learning and Population: Bridging the Gap between Text and Knowledge - Volume 167 Frontiers in Artificial Intelligence and Applications
Read more
Designing Inclusive Interactions: Inclusive Interactions Between People and Products in Their Contexts of Use

Designing Inclusive Interactions: Inclusive Interactions Between People and Products in Their Contexts of Use
Read more
IUTAM Symposium on Size Effects on Material and Structural Behavior at Micron- and Nano-Scales: Proceedings of the IUTAM Symposium held in Hong Kong, China, ... 2004 (Solid Mechanics and Its Applications)

IUTAM Symposium on Size Effects on Material and Structural Behavior at Micron- and Nano-Scales: Proceedings of the IUTAM Symposium held in Hong Kong, China, ... 2004 (Solid Mechanics and Its Applications)
Read more
Dementia in Clinical Practice (Frontiers of Neurology and Neuroscience)

Dementia in Clinical Practice (Frontiers of Neurology and Neuroscience)
Read more
Introduction to parallel computing

Introduction to parallel computing
Read more
Representation and Processing of Spatial Expressions

Representation and Processing of Spatial Expressions
Read more