Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages

Solid Oxide Fuel Cells for Marine Applications

Design and control of hybrid power and propulsion systems for smart ships: A review of developments

Planetary Radio Interferometry and Doppler Experiment (PRIDE) of the JUICE Mission

Use of fine recycled concrete aggregates in concrete: A critical review

Application of in-situ liquid cell transmission electron microscopy in corrosion studies: a critical review of challenges and achievements

Energy prediction models of belt conveyor systems towards speed control - Modellen om energie besparing te voorspellen van bandtransporteurs door snelheidsvariatie

Preparation and demonstration of a support technology concept for in-orbit payload operations

Bresgroei - Deel II: 2DV-ontwikkeling initiële bres

Criteria for the evaluation of implemented architectures

De produktie van aceton uit isopropylalkohol m.b.v. katalytische dehydrogenering

De bereiding van vloeibaar zwaveldioxide

Semantic versioning versus breaking changes: A study of the Maven Repository

A remote user support pilot experiment for Anthrorack during spacelab D-2

Model-Driven Software Evolution: A Research Agenda

A cognitive model for software architecture complexity

Winzuiger voor zowel persen als bakkenladen. Zuigdiepte 50 m. (4de-jaars opdracht)

Oceanografische omstandigheden in het zeegebied nabij Texel

Utilisatie technologie in Nederland

Stratego/XT 0.17. A Language and Toolset for Program Transformation