Электронный каталог НБ БНТУ
rus
Научная библиотека БНТУ
Режим работы: Пн-Пт.
- читальные залы с 9:00 до 20:00
- абонементы с 9:00 до 19:00
Сб. с 9:00 до 16:45. Вс. - выходной.
Адреса: г. Минск, ул. Я. Коласа, 16 (читальные залы)
пр. Независимости, 65 (абонементы и читальные залы)
ОНЛАЙН-ЗАКАЗ книг из каталога
ФИЛИАЛЫ
КНИГООБЕСПЕЧЕННОСТЬ
Поиск :
Новые поступления
Простой поиск
Расширенный поиск
Авторы
Издательства
Серии
Тезаурус (Рубрики)
Учебная литература:
По дисциплинам
По специальностям
По специализациям
По кафедрам
Список дисциплин
Информация о фонде
Помощь
Личный кабинет :
Штрих-код
Пароль
Электронный каталог: Справочник авторов
К списку авторов
Гончаров, С.С.
Сортировать по:
заглавию
Связанные описания:
Отобрать для печати:
страницу
|
инверсия
|
сброс
|
печать
(
0
)
Доступно
1 из 1
Книга
Вып.148. : Логические методы в информатике: сборник научных трудов
1993 г.
ISBN 5-7623-0675-5
ОХОФ
Заказать
На полку
Доступно
1 из 1
Книга
Вып.133. : Логические методы в программировании: сборник научных трудов
1990 г.
ISBN отсутствует
ОХОФ
Заказать
На полку
Доступно
1 из 1
Книга
Вып.129. : Теория алгоритмов и ее приложения: сборник научных трудов
1989 г.
ISBN отсутствует
ОХОФ
Заказать
На полку
Доступно
2 из 2
Книга
Кейслер, Г. Дж.
Теория моделей
Мир, 1977 г.
ISBN отсутствует
ОХОФ, ОНЛ
Заказать
На полку
Доступно
1 из 1
Книга
Гончаров, С.С.
Счетные булевы алгебры
Наука, Сибирское отделение, 1988 г.
ISBN 5-02-028628-1
ОХОФ
Заказать
На полку
Доступно
1 из 1
Книга
Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал)
ИМ, 1986 г.
ISBN отсутствует
ОХОФ
Заказать
На полку
Доступно
1 из 1
Книга
Ч.1. : Теория моделей
1982 г.
ISBN отсутствует
ОХОФ
Заказать
На полку