W.P. de Roever's Documents

W.P. de Roever's Documents

Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990

Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990
Read more
Progress in Low Temperature Physics : Volume XIV (Progress in Low Temperature Physics)

Progress in Low Temperature Physics : Volume XIV (Progress in Low Temperature Physics)
Read more
Progress in Low Temperature Physics

Progress in Low Temperature Physics
Read more
The science of sugar confectionery

The science of sugar confectionery
Read more
Progress in Low Temperature Physics : Volume XIV (Progress in Low Temperature Physics)

Progress in Low Temperature Physics : Volume XIV (Progress in Low Temperature Physics)
Read more
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science (No. 47))

Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science (No. 47))
Read more
Typological Models in Reconstruction (Amsterdam Studies in the Theory & History of Linguistic Science, Series IV: Current Issues in Linguistic Theory)

Typological Models in Reconstruction (Amsterdam Studies in the Theory & History of Linguistic Science, Series IV: Current Issues in Linguistic Theory)
Read more
Breast Cancer (Advances in Oncobiology, Volume 2)

Breast Cancer (Advances in Oncobiology, Volume 2)
Read more
A backtracking method for constructing perfect hash functions from a set of mapping functions

A backtracking method for constructing perfect hash functions from a set of mapping functions
Read more
Language Testing: The Social Dimension

Language Testing: The Social Dimension
Read more
Complex variables

Complex variables
Read more
Complex variables

Complex variables
Read more
Fischer Weltgeschichte, Bd.30, Die Vereinigten Staaten von Amerika

Fischer Weltgeschichte, Bd.30, Die Vereinigten Staaten von Amerika
Read more
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd
Read more
Complex Variables

Complex Variables
Read more
Air Conditioning Engineering

Air Conditioning Engineering
Read more
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)
Read more
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007, Revised Lectures
Read more
Programming and Software Engineering)

Programming and Software Engineering)
Read more
Semantics: Foundations and Applications: REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings

Semantics: Foundations and Applications: REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
Read more
A Decade of Concurrency

A Decade of Concurrency
Read more
Air Conditioning Engineering

Air Conditioning Engineering
Read more
Religion and Violence: Philosophical Perspectives from Kant to Derrida

Religion and Violence: Philosophical Perspectives from Kant to Derrida
Read more
Writings on Empire and Slavery

Writings on Empire and Slavery
Read more
Writings on Empire and Slavery

Writings on Empire and Slavery
Read more
Mathematical Tools for One-Dimensional Dynamics

Mathematical Tools for One-Dimensional Dynamics
Read more
Mathematical Tools for One-Dimensional Dynamics

Mathematical Tools for One-Dimensional Dynamics
Read more
Mathematical Tools for One-Dimensional Dynamics

Mathematical Tools for One-Dimensional Dynamics
Read more
Real-Time: Theory in Practice: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings

Real-Time: Theory in Practice: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings
Read more
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Read more