Поиск :
Личный кабинет :
Электронный каталог: Справочник таблиц УДК
К списку таблиц УДК
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Нет экз.
510.6
Сортировать по: заглавиюдате издания
Нет экз.
Электронный ресурс
Ганичева, А. В.
Теория логического вывода: учебное пособие для вузов
Лань, 2024 г.
ISBN 978-5-507-51643-8
Ганичева, А. В.
Теория логического вывода: учебное пособие для вузов
Лань, 2024 г.
ISBN 978-5-507-51643-8
На полку Нет экз.
Электронный ресурс
Певзнер, Л. Д.
Теория систем управления: учебное пособие для вузов
Лань, 2025 г.
ISBN 978-5-507-49635-8
Певзнер, Л. Д.
Теория систем управления: учебное пособие для вузов
Лань, 2025 г.
ISBN 978-5-507-49635-8
Нет экз.
Электронный ресурс
Туганбаев, А. А.
Введение в алгебраические системы и математическую логику: учебное пособие для вузов
Лань, 2025 г.
ISBN 978-5-507-49973-1
Туганбаев, А. А.
Введение в алгебраические системы и математическую логику: учебное пособие для вузов
Лань, 2025 г.
ISBN 978-5-507-49973-1
Нет экз.
Электронный ресурс
Батенков, К. А.
Основы математической логики: учебное пособие
РТУ МИРЭА, 2025 г.
ISBN 978-5-7339-2443-4
Батенков, К. А.
Основы математической логики: учебное пособие
РТУ МИРЭА, 2025 г.
ISBN 978-5-7339-2443-4
Нет экз.
Электронный ресурс
Глотина, И. М.
Математическая логика и теория алгоритмов: учебное пособие
ПГАТУ, 2025 г.
ISBN 978-5-94279-669-3
Глотина, И. М.
Математическая логика и теория алгоритмов: учебное пособие
ПГАТУ, 2025 г.
ISBN 978-5-94279-669-3
Нет экз.
Электронный ресурс
Батенков, К. А.
Основы алгоритмизации: учебное пособие
РТУ МИРЭА, 2025 г.
ISBN 978-5-7339-2444-1
Батенков, К. А.
Основы алгоритмизации: учебное пособие
РТУ МИРЭА, 2025 г.
ISBN 978-5-7339-2444-1