| |
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday  |
| Ben-Ari, M. Principles of the Spin model checker |
Bradley, A. R. The calculus of computation : decision procedures with applications to verification
|
| Brooke, P. J. Practical distributed processing |
| Brooks, D. R. An introduction to HTML and JavaScript for scientists and engineers |
| Esparza, J. Unfoldings : a partial-order approach to model checking |
| Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays |
| Grune, D. Parsing techniques : a practical guide |
| Hedman, S. A first course in logic : an introduction to model theory, proof theory, computability, and complexity |
| Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja |
| Jacobsen, N. E. NMR spectroscopy explained : simplified theory, applications and examples for organic chemistry and structural biology |
| Kornai, A. Mathematical linguistics |
| Lutz, M. Learning Python |
| Nisan, N. The elements of computing systems : building a modern computer from first principles |
| Zobel, J. Writing for computer science |
| Verification of object-oriented software : the KeY approach |
