FAST AND EFFICIENT CACHE BEHAVIOUR PREDICTION; pp. 69–88

FORMAL VERIFICATION OF THE BINARY EXPONENTIAL BACKOFF PROTOCOL; pp. 98–105

SWITCHES AND JUMPS IN HYBRID ACTION SYSTEMS; pp. 106–118

ON THE BORDER BETWEEN FUNCTIONAL PROGRAMMING AND PROGRAM SYNTHESIS; pp. 119–129

COMBINING COMMUNICATING SEQUENTIAL PROCESSES AND TEMPORAL LOGIC; pp. 130–137

DISTRIBUTION OF SOLAR ENERGY OUTPUT IN ESTONIA; pp. 138–143

NUMERICAL SIMULATION OF THE DISTRIBUTION CHARACTERISTICS OF FINE SOLID PARTICLES IN A HORIZONTAL PIPE; pp. 144–160