| Teatmekirjandus |
The compiler design handbook : optimizations and machine code generation  |
TEA entsüklopeedia. 2. köide, Alžiir - Aruba
|
| |
| 25 years of model checking : history, achievements, perspectives / [ed. by] O. Grumberg, H. Veith |
| Beall, J. C. Logical pluralism |
| Bella, G. Formal correctness of security protocols |
| Brink, C.A paradigm for program semantics : power structures and duality |
| Concurrency, graphs and models : essays dedicated to ugo montanari on the occasion of his 65th birthday / [ed. by] P. Degano, R. De Nicola, J. Meseguer |
| De Jong, K.A. Evolutionary computation : a unified approach |
| Dowek, G. Principles of programming languages |
| Dubuc, E.J. Kan extensions in enriched category theory |
| Jackson, D. Software abstractions : logic, language and analysis |
| Kroening, D. Decision procedures : an algorithmic point of view |
| Kröger, F. Temporal logic and state systems |
| Meglicki, Z. Quantum computing without magic : devices |
| Reports of the Midwest Category Seminar II |
| Reports of the Midwest Category Seminar III |
| Reports of the Midwest Category Seminar IV |
| Reports of the Midwest Category Seminar V |
