3 books on BookOwl
Efficient Termination of Ada Tasks in a Multiprocessor Environment
2018
From Prototype to Efficient Implementation
From Linear Operators to Computational Biology
2014
