Полное описание
> Витяев, Е. Е. Предсказание и индуктивный синтез пролог-программ по вероятностной модели данных / Е.Е.Витяев. - Новосибирск : [б. и.], 1990. - 34 c. - (Препринт / Институт математики(Новосибирск) ; 24(1990)). - 180 экз. - Текст : непосредственный. Библиогр.: с. 34 (9 назв.)
ГРНТИ УДК 50.41 004.422.8(04)
Рубрики: Программирования языки -- Prolog
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/11999/24(1990))>
Шифр в сводном ЭК: c6bd83684b7c242f036565d59711ca7c
Шевченко Г.В. Алгоритмы решения некоторых задач оптимального управления для линейных систем / Г. В. Шевченко, 1990. - 28 с. - Текст : непосредственный. Ломов А.А. Условия корректности линейных параметрических моделей / А. А. Ломов, 1992. - 30 с. - Текст : непосредственный. Бондаренко А.Н. On the structure of the fundamental solution of the time-independent transport equation / А. Н. Бондаренко, 1996. - 19 p. - Текст : непосредственный. Филиппов В.Т. Ниль-элементы индекса 2 в алгебрах Мальцева / В. Т. Филиппов, 1996. - 18 с. - Текст : непосредственный. Бухгейм А.А. Сингулярное разложение веерного преобразования Радона тензорных полей в круге / А. А. Бухгейм, С. Г. Казанцев, 2001. - 33 с. - Текст : непосредственный. Нагаев С.В. On the Berri-Esseen bound for the self-normalized sum / С. В. Нагаев, 2001. - 39 p. - Текст : непосредственный. Бегматов А. Х. Некоторые новые классы задач интегральной геометрии / А. Х. Бегматов, 1997. - 29 с. - Текст : непосредственный. Кусраев А.Г. Нерешенные нестандартные задачи / А. Г. Кусраев, С. С. Кутателадзе, 2000. - 19 с. - Текст : непосредственный. Деревцов Е.Ю. Приближенное решение задачи векторной томографии с помощью полиномиальных базисов / Е. Ю. Деревцов, И. Г. Кашина, 2000. - 27 с. - Текст : непосредственный. Легченко А.В. Регуляризация одной обратной задачи геофизической ЯРМ - томографии / А. В. Легченко, С. И. Кабанихин, 1991. - 40 с. - Текст : непосредственный. Маракулин В.М. Контракты и доминирование в конкурентной экономике. 1. Модель договорной экономики и стандартный рынок / В. М. Маракулин, 2002. - 36 с. - Текст : непосредственный. Богопольский О.В. Классификация автоморфизмов свободной группы ранга 2 по рангам групп неподвижных точек / О. В. Богопольский, 1999. - 14 с. - Текст : непосредственный. Горбачевская Л.Е. К двухуровневой экстремальной задаче выбора номенклатуры изделий / Л.Е.Горбачевская, 1998. - 28 с. - Текст : непосредственный. Шамардин Ю.В. Трехуровневые задачи размещения производства / Ю.В.Шамардин, 1998. - 17 с. - Текст : непосредственный. Демиденко Г.В. Интегральные критерии принадлежности спектра матриц выпуклым множествам / Г. В. Демиденко, И. И. Матвеева, 1995. - 22 c. - Текст : непосредственный. Шестаков А.И. Обратная спектральная задача для операторов Штурма-Лиувилля с разрывными коэффициентами / А. И. Шестаков, 2001. - 19 с. - Текст : непосредственный. Черноусов Г.Н. О продолжении до изометрии гомеоморфизмов, сохраняющих конформные модули в гиперболическом пространстве / Г. Н. Черноусов, 1996. - 15 c. - Текст : непосредственный. Матвеева И.И. Задача Коши для систем с вырожденной матрицей при производной по времени / И. И. Матвеева, 1996. - 34 c. - Текст : непосредственный. Л.В.Канторович - математик и экономист / С. С. Кутателадзе, В. Л. Макаров, И. В. Романовский, Г. Ш. Рубинштейн, 2003. - 26 с. - Текст : непосредственный. Ачасов Н.Н. Axial anomaly pole and spontaneous breakdown of chiral symmetry / Н. Н. Ачасов, 1992. - 9 p. - Текст : непосредственный. Показать все результаты Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный. Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный. Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный. Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный. Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный. Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный. Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный. Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный. Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный. MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный. Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный. Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный. Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный. Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный. Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный. Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный. Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный. Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный. Показать все результаты Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный. Макаров В.М. Имитационная модель МКП для получения временных характеристик программ : препринт / В. М. Макаров, Н. К. Скурат, 1991. - 46 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Иванченко В.Н. СОСНА - пакет программ для структурирования экспериментальных данных / В.Н.Иванченко, 1994. - 38 . - Текст : непосредственный. Классистат-Д : Препринт / М.Хоолма,Э.Лелумеэс,Э.Вийкманн,И.Петерсен, 1990. - 36 с. - Текст : непосредственный. Черноножкин С.К. Меры сложности программ : Обзор / С.К.Черноножкин, 1994. - 35 c. - Текст : непосредственный. Городняя Л.В. Функциональный подход к системному представлению прикладных программ учебного назначения / Л.В.Городняя, 1994. - 24 c. - Текст : непосредственный. Петлинский В.П. Комплекс программ для сопровождения архива АРФА / В.П.Петлинский, 1991. - 10 с. - Текст : непосредственный. Хухлаев Е.В. Metamake - средство подготовки программ в сетевой гетерогенной среде / Е.В.Хухлаев, 1999. - 32 с. - Текст : непосредственный. Гречаник С.А. Полипрограммы как представление множеств функциональных программ и преобразования над ними / С. А. Гречаник, 2017. - 31 с. - Текст : непосредственный. Зизин М.Н. Требования к вычислительному модулю для Фортрана-77. Редакция 1998 года / М.Н.Зизин, 1999. - 23 с. - Текст : непосредственный. Евстигнеев В.А. Векторизация программ: анализ зависимостей / В.А.Евстигнеев,С.В.Спрогис, 1989. - 36 с., с.,. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽