Помощь
Корзина ( 0 )
Регистрация
Вход
ANY-BOOK
Изготовление электронных копий любых изданий
О проекте
Каталог
Поиск
Регистрация
Форум
Помощь
Корзина ( 0 )
Регистрация
Вход
Изготовление электронных копий любых изданий
Непейвода, Николай Николаевич
Анализ и методы доказательного программирования в конструктивных логиках : автореферат дис. ... доктора физико-математических наук : 05.13.11;01.01.06 АН СССР. Сиб. отд-ние. ВЦ.
Прикладная логика : Учеб. пособие для студентов вузов, обучающихся по специальностям "Математика", "Приклад. математика", "Лингвистика", "Философия" и "Психология" Н. Н. Непейвода; М-во общ. и проф. образования Рос. Федерации. Удмурт. гос. ун-т
Прикладная логика : Учеб. пособие для студентов вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Лингвистика", "Философия" и "Психология" Н. Н. Непейвода
Стили и методы программирования : курс лекций : учеб. пособие для студентов вузов, обучающихся по специальностям в обл. информ. технологий Н. Н. Непейвода
о проекте
|
каталог
|
поиск
|
помощь
copyright (c) 2010-2024 any-book.ru