Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003 : revised selected papers

TYPES 2003
Inngår i serie: Lecture notes in computer science (3085)
Bok · Engelsk · c2004
Vis mer

Rheology of particle suspensions : fresh concrete, mortar and cement paste with various types of lignosulfonates

Wallevik, Jon E.
Inngår i serie: Dr. ing.-avhandling (2003:18)
Bok · Engelsk · 2003
Vis mer