No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems ‘85".

Aerodynamics and hydrodynamics are still the main domains that make greater use of flow visualization and classical optical techniques such as schlieren and int

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conferen

The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism, held in R

Röntgenbefund und die sich in ihm widerspiegelnde pathologische Anatomie sind neben dem klinischen Bild die wichtigsten Säulen, auf denen die Diagnostik von K