Coq: Азы классической логики для алкоголиков
How-to по SELinux, базовые принципы
Эффективный анализатор нагрузки на MySQL
Perl-библиотека расстановки переносов
Журнал прочитанных книг
1
2