| |
| Eesti doktoriõppe kvaliteedi, tulemuslikkuse ja jätkusuutlikkuse tagamise süsteem : ettekanded ja artiklid |
| Laaneoks, E. Sissejuhatus võrgutehnoloogiasse |
|
Ammann, P. Introduction to software testing  |
Coron, J.M. Control and nonlinearity  |
Craig, I. Formal models of operating system kernels  |
Datatype generic programming : internaitonal spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006, revised lectures  |
Durran, D. Numerical methods for wave equations in geophysical fluid dynamics  |
Falk, M. Laws of small numbers : extremes and rare events  |
Franěk, F. Memory as a programming concept in C and C++  |
Haan, L. de. Extreme value theory : an introduction  |
Hesselink, W.H. Programs, recursion, and unbounded choice : predicate-transformation semantics and transformation rules  |
Huang, J. C. Path-oriented program analysis  |
Kunkel, P. Differential-algebraic equations : analysis and numerical solution  |
Lefebvre, M. Applied probability and statistics  |
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday |
| Thirteenth Estonian Winter School in Computer Science (EWSCS'08) : Park Hotel Palmse, Lahemaa, Estonia, March 2-7, 2008 |