Полное описание
Чернов, А. В.
ГРНТИ УДК 27.03.19 510(043) 03.91
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар04-4862)
Шифр в сводном ЭК: 5fa8e0ce1c838c75e1b32ebea5707be1
Горгорова В.В. Информационная безопасность : выставочные материалы / В. В. Горгорова, А. В. Чернов, 2011. - 125 с. - Текст : непосредственный. Чернов А.В. О некоторых вариантах понятия реализуемости : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Чернов, 2003. - 16 с. - Текст : непосредственный. Ивашкин В.В. Анализ оптимальных двухимпульсных перелетов космического аппарата к сближающемуся с Землей астероиду / В. В. Ивашкин, А. В. Чернов, Ф. И. Баум, 1999. - 31 с. - Текст : непосредственный. Информатика / А. Н. Гуда, М. А. Бутакова, Н. М. Нечитайло, А. В. Чернов ; Ред. В. И. Колесников, 2006. - 399 с. - Текст : непосредственный. Чернов А.В. Кинетические уравнения физических систем с хаотическим внутренним строением : монография / А. В. Чернов, 2009. - 213 с. - Текст : непосредственный. Чернов А.В. Вольтерровы операторные уравнения и их применение в теории оптимизации гиперболических систем : специальность 01.01.02 "Дифференциальные уравнения, динамические системы и оптимальное управление " : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Чернов, 2000. - 20 с. - Текст : непосредственный. Чернов А.В. Система комплексной оценки профессиональной компетентности специалистов для предприятий и организаций радиоэлектронного комплекса России на основе квалиметрической модели / А. В. Чернов, 2011. - 21 с. - Текст : непосредственный. Чернов А.В. Основы теплопередачи : выставочные материалы / А. В. Чернов, 1974. - 121 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Чернов А.В. Прямо-двойственные методы решения задач энтропийно-линейного программирования / А. В. Чернов, 2017. - 23 с. - Текст : непосредственный. Чернов А.В. Взаимосвязь энергии и скорости в микро - и макромире. Роль энергетических ячеек в физических процессах / А. В. Чернов, 2018. - 24 с. - Текст : непосредственный. Чернов А.В. Разработка и исследование методики формирования трехмерного кадастра объектов недвижимости : автореф. дис. .. канд. техн. наук: 25.00.26 / А. В. Чернов, 2018. - 24 с. - Текст : непосредственный. Методология баллистического выбора местоположения спутников на стационарных орбитах для обеспечения связи с регионами Земли / А.В.Бондаренко,В.А.Галактионов,Г.С.Заславский,А.В.Чернов, 2000. - 28 с. - Текст : непосредственный. Чернов А.В. Исследование оптимальных перелетов космического аппарата к сближающемуся с Землей астероиду : автореф. дис. .. канд. физ.-мат. наук: 01.02.01 / А. В. Чернов, 2002. - 21 с. - Текст : непосредственный. Введение в цифровую обработку сигналов и изображений: критерии качества изображений и погрешности их дискретного представления : учеб. пособие / В. А. Сойфер [и др.], 2006. - 35 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Chen Y. Meshless methods in solid mechanics / Y. Chen, J. Lee, A. Eskandarian, 2006 r=on-line Romano A. Continuum mechanics using mathematica ® / A. Romano, A. Marasco, R. Lancellotta, 2006 r=on-line Teodorescu P.P. Mechanical systems, classical models / P. P. Teodorescu, 2007 r=on-line Иванова О.А. Алгоритмизация и численная реализация аналитических методов представления решений в задачах механики : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / О. А. Иванова, 2007. - 15 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Разностные схемы : сборник№ 5 / Ред. В. Г. Дулов, 1989. - 162 с. - Текст : непосредственный. Хованский А.Д. Геохимия аквальных ландшафтов / А. Д. Хованский, 1993. - 239 c. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Кузнецов П.Б. Основы нечеткой математики. Теория нечетких множеств / П. Б. Кузнецов, Ю. К. Оленикова, 2003. - 154 с. - Текст : непосредственный. Арсеньев Д.Г. Адаптивное управление в стохастических методах вычислительной математики и механики : учебное пособие / Д. Г. Арсеньев, В. М. Иванов, М. Л. Кореневский, 2008. - 423 с. - Текст : непосредственный. Цивинский С.В. Специальная теория относительности, понятие времени, новая возможность уточнения классической механики и зависимость физических свойств от скорости движения / С. В. Цивинский, 1989. - 33 л. - Текст : непосредственный. Численные методы механики сплошной среды : материалы временных коллективов / АН СССР, Сибирское отделение, 1991. - 171 с. - Текст : непосредственный. Показать все результаты Пак Бен Ха.Субрекурсивная реализуемость и логика предикатов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Пак Бен Ха, 2003. - 12 с. - Текст : непосредственный. Кузнецов С.Л. Категориальные грамматики, основанные на вариантах исчисления Ламбека / С. Л. Кузнецов, 2012. - 12 с. - Текст : непосредственный. Чернов А.В. О некоторых вариантах понятия реализуемости : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Чернов, 2003. - 16 с. - Текст : непосредственный. Подзоров С.Ю. Вычислимость и конструктивность в ограниченных фрагментах теорий : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / С. Ю. Подзоров, 1999. - 8 с. - Текст : непосредственный. Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный. Вайценавичюс Р.Ю. Главные нумерации вычислимых функционалов на допустимых множествах : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Р. Ю. Вайценавичюс, 1991. - 11 с. - Текст : непосредственный. Руцкий А.Н. Исследование допустимых правил вывода в нестандартных суперинтуиционистских и модальных транзитивных логиках : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Н. Руцкий, 2002. - 18 с. - Текст : непосредственный. Римацкий В.В. Допустимые правила вывода в нестандартных логиках и их базисы : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / В. В. Римацкий, 2000. - 18 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Горбунов И.А. Модальные квазинормальные логики без независимой аксиоматизации : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / И. А. Горбунов, 2006. - 14 с. - Текст : непосредственный. Орехова Е.А. О критериях полноты по неявной выразимости в трехзначной логике : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Е. А. Орехова, 2004. - 18 c. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
