4 works on record
C++ GUI programming with Qt 4
C++ GUI programming with Qt3
Automated Reasoning
2022
C++ GUI Programming with Qt4 (Adobe Reader)
