Полное описание
Кудинов, А. В.
ГРНТИ УДК 27.03.19 510(043) 03.91
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар09-385)
Шифр в сводном ЭК: 2ad1eea62413685081b8cba6f997fd9f
Кудинов А.В. Экономическая эффективность инвестиций в подготовку кадров для железнодорожного транспорта : специальность 08.00.05 "Экономика и управление народным хозяйством (по отраслям и сферам деятельности в т.ч.:теория управления экономическими системами; макроэкономика; экономика, организация и управление предприятиями, отраслями, комплексами; управление инновациями; региональная экономика; логистика; экономика труда; экономика народонаселения и демография; экономика природопользования; землеустройство и др." : диссертация на соискание ученой степени канд. экон. наук / А. В. Кудинов, 2009. - 26 с. - Текст : непосредственный. Информационное общество. - Журнал, 2014г. № 3. - Текст : непосредственный. Кудинов А.В. Эффекты анизотропии и межчастичные обменные взаимодействия в полупроводниковых наноструктурах А2В6 : автореф. дис. .. д-ра физ.-мат. наук: 01.04.07 / А. В. Кудинов, 2008. - 34 с. - Текст : непосредственный. Кудинов А.В. Алгоритмическое и программное обеспечение геоинформационной системы для решения задач управления сетями инженерных коммуникаций : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.11 / А. В. Кудинов, 2002. - 19 с. - Текст : непосредственный. Кудинов А.В. Информационно-вероятностные методы формирования производственно-технических характекристик металлорежущих станков : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.03.01 / А. В. Кудинов, 1993. - 32 с. - Текст : непосредственный. Кудинов А.В. Спектроскопия поляризованной люминесценции полумагнитных полупроводников CdMnTe и квантовых ям CdTe/CdMnTe : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:01.04.10 / А. В. Кудинов, 1996. - 17 с. - Текст : непосредственный. Кудинов А.В. Алгоритмы численного решения жестких дифференциальных уравнений : Учеб. пособие / А.В.Кудинов, 1989. - 44 c. - Текст : непосредственный. Кудинов А.В. Топологические модальные логики с модальностью неравенства : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / А. В. Кудинов, 2008. - 12 с. - Текст : непосредственный. Кудинов А.В. Проблемы автоматизации производства газодобывающих компаний / А. В. Кудинов, Н. Г. Марков, 2012. - 246 с. - Текст : непосредственный. Утилизация ловушечных нефтепродуктов путем вовлечения их в производство котельных топлив / А. В. Кудинов [и др.]. - Текст : непосредственный // Защита окружающей среды в нефтегазовом комплексе. - М. - 2012. - № 7. - с. 55-58. Мир математики : в 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
