Tofte M. (eds.)'s Documents

Tofte M. (eds.)'s Documents

Tips for computer scientists on Standard ML

Tips for computer scientists on Standard ML
Read more
Proof, Language, and Interaction: Essays in Honour of Robin Milner

Proof, Language, and Interaction: Essays in Honour of Robin Milner
Read more
Arthur Tofte - The Day the Earth Stood Still

Arthur Tofte - The Day the Earth Stood Still
Read more
Crash Landing on Iduna

Crash Landing on Iduna
Read more
The Day The Earth Stood Still

The Day The Earth Stood Still
Read more
Arthur Tofte - The Day the Earth Stood Still

Arthur Tofte - The Day the Earth Stood Still
Read more
Crash landing on Iduna (Laser Book 3)

Crash landing on Iduna (Laser Book 3)
Read more
Walls Within Walls

Walls Within Walls
Read more
The Day the Earth Stood Still

The Day the Earth Stood Still
Read more
Crash Landing on Iduna

Crash Landing on Iduna
Read more
Arthur Tofte - Walls within Walls

Arthur Tofte - Walls within Walls
Read more
Walls within Walls

Walls within Walls
Read more
Commentary on Standard ML

Commentary on Standard ML
Read more
Handbook of metaheuristics

Handbook of metaheuristics
Read more
Elementary operators and their applications

Elementary operators and their applications
Read more
Progress in Analysis and Its Applications: Proceedings of the 7th International Isaac Congress

Progress in Analysis and Its Applications: Proceedings of the 7th International Isaac Congress
Read more
Commutative algebra: Noetherian and Non-Noetherian perspectives

Commutative algebra: Noetherian and Non-Noetherian perspectives
Read more
Intelligent Data Analysis

Intelligent Data Analysis
Read more
Trends in multiple criteria decision analysis

Trends in multiple criteria decision analysis
Read more
Infinity. New research frontiers

Infinity. New research frontiers
Read more
Algorithms in Computational Molecular Biology: Techniques, Approaches and Applications

Algorithms in Computational Molecular Biology: Techniques, Approaches and Applications
Read more
Approximation Theory XIII: San Antonio 2010

Approximation Theory XIII: San Antonio 2010
Read more
Kurt Goedel and the foundations of mathematics. Horizons of truth

Kurt Goedel and the foundations of mathematics. Horizons of truth
Read more
Periklean Athens and Its Legacy. Problems and Perspectives

Periklean Athens and Its Legacy. Problems and Perspectives
Read more
Evolution Equations of Hyperbolic and Schrödinger Type : Asymptotics, Estimates and Nonlinearities

Evolution Equations of Hyperbolic and Schrödinger Type : Asymptotics, Estimates and Nonlinearities
Read more
Daedalus (Fall 2010): On the Financial Crisis & Economic Policy

Daedalus (Fall 2010): On the Financial Crisis & Economic Policy
Read more
Handbook of Accelerator Physics and Engineering

Handbook of Accelerator Physics and Engineering
Read more
Fragment-Based Drug Discovery and X-Ray Crystallography

Fragment-Based Drug Discovery and X-Ray Crystallography
Read more
Protein - Protein Interaction

Protein - Protein Interaction
Read more
The handbook of MPEG applications: Standards in practice

The handbook of MPEG applications: Standards in practice
Read more