Название: Математическая логика и теория алгоритмов
Автор: Е. В. Зайцева
Издательство: Горная книга
Название: Системы контроля геомеханических процессов
Автор: А. Вознесенский
Издательство: Горная книга
Название: Эксплуатация горных машин и оборудования
Автор: Г. Бериявский
Издательство: Горная книга
Название: Геометрия недр
Автор: В. Букринский
Издательство: Горная книга
Название: Проблемы подземной изоляции радиоактивных отходов
Автор: И. Шищиц
Издательство: Горная книга
Название: Человек и биосфера: вхождение в техносферу
Автор: А. Воробьев
Издательство: Горная книга
Название: Извлечение метана из угольных пластов
Автор: С. Сластунов
Издательство: Горная книга