Sciweavers

10604 search results - page 164 / 2121
» Computational Fluid Dynamics
Sort
View
CONCUR
1997
Springer
15 years 10 months ago
A Product Version of Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan
EUROPAR
1997
Springer
15 years 10 months ago
Static and Dynamic Data Management in Networks
Friedhelm Meyer auf der Heide, Berthold Vöcki...