Полное описание
Корухова, Л. С.
ГРНТИ УДК 50.05.13 004.42(04)
Доп. точки доступа: Любимский, Э.Э.
Островский, В.В.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/16400/18 за 1994 г.)
Шифр в сводном ЭК: bff83b6c48917480534a27723ee7b6a0
Корухова Л.С. Программные средства реализации ассоциативного планирования / Л. С. Корухова, Э. З. Любимский, В. В. Малышко, 2002. - 29 с. - Текст : непосредственный. Ассоциативные методы планирования решений сложных задач / В. В. Вакин, Л. С. Корухова, Э. З. Любимский, В. В. Малышко, 1997. - 26 с. - Текст : непосредственный. Вакин В.В. Сравнительный анализ экспертных систем диагностики / В. В. Вакин, Л. С. Корухова, Э. З. Любимский, 1999. - 21 с. - Текст : непосредственный. Корухова Л.С. Сопоставление ситуаций в условиях альтернативного немонотонного планирования / Л. С. Корухова, Э. З. Любимский, С. Г. Манжелей, 1995. - 18 c. - Текст : непосредственный. Корухова Л.С. Программирование на основе стереотипов / Л. С. Корухова, Э. Э. Любимский, В. В. Островский, 1994. - 22 c. - Текст : непосредственный. Вакин В.В. Об одном механизме вывода для экспертных систем с неполной информацией / В. В. Вакин, Л. С. Корухова, Э. З. Любимский, 2000. - 26 с. - Текст : непосредственный. Корухова Л.С. Реализация стратегий планирования на основе управляющих стереотипов / Л. С. Корухова, Э. З. Любимский, В. В. Малышко, 2000. - 27 с. - Текст : непосредственный. Элементы теории алгоритмов : учебно-методическое пособие для студентов 1 курса / А. А. Белеванцев, С. С. Гайсарян, Л. С. Корухова, Е. А. Кузьменкова, 2019. - 35 с. - Текст : непосредственный. Костомаров Д.П. Программирование и численные методы : Учеб. пособие / Д. П. Костомаров, Л. С. Корухова, С. Г. Манжелей, 2001. - 223 с. - Текст : непосредственный. Корухова Л.С. Альтернативное немонотонное планирование на основе графа / Л. С. Корухова, Э. З. Любимский, Л. Б. Соловская, 1995. - 14 c. - Текст : непосредственный. Колесниченко А.В. К моделированию сжимаемой магнитогидродинамической турбулентности аккреционного протопланетного диска / А. В. Колесниченко, 2014. - 47 с. - Текст : непосредственный. Реализация режима гравитационной ориентации на корабле "Прогресс М-20М" / М. Ю. Беляев, Т. В. Матвеева, М. И. Монахов [и др.], 2014. - 21 с. - Текст : непосредственный. Елизарова Т.Г. Квазигазодинамический алгоритм решения уравнений мелкой воды в полярной системе координат / Т. Г. Елизарова, М. А. Истомина, 2014. - 24 с. - Текст : непосредственный. Ливанов Л.Б. Приближенный расчет полетов на астероиды с пертурбационными маневрами у планет / Л. Б. Ливанов, 1996. - 28 с. - Текст : непосредственный. Горбунов-Посадов М.М. Формы многократно используемых компонентов программы / М. М. Горбунов-Посадов, 1997. - 16 с. - Текст : непосредственный. К постановке одномерной задачи об эмиссии широкого электронного пучка в атмосферу / А. В. Березин, С. В. Коротков, М. Б. Марков, 1993. - 12 с. - Текст : непосредственный. Исследование равновесных конфигураций газового облака вблизи гравитирующего центра / М. В. Абакумов, С. И. Мухин, Ю. П. Попов, В. М. Чечеткин, 1995. - 26 c. - Текст : непосредственный. Тычина П.А. Квазиоптимальный перелет космического аппарата с солнечным парусом между гелиоцентрическими круговыми орбитами / П. А. Тычина, В. А. Егоров, В. В. Сазонов, 1995. - 19 c. - Текст : непосредственный. Брюно А.Д. Локальный анализ особенности одной обратимой системы ОДУ. Простые случаи / А. Д. Брюно, А. Солеев, 1995. - 28 c. - Текст : непосредственный. Солеев А. Первые приближения одной обратимой системы ОДУ / А. Солеев, А. Б. Арансон, 1995. - 20 c. - Текст : непосредственный. Красовицкий В.Б. Кинетическая теория нелинейного взаимодействия ультрарелятивистского электронного пучка с плазмой / В. Б. Красовицкий, 1995. - 31 c. - Текст : непосредственный. Волевич Л.Р. Exponential dichotomy of solutions to high-order hyperbolic equations / Л. Р. Волевич, А. Р. Ширикян, 1996. - 37 p. - Текст : непосредственный. Яшунский А.Д. Преобразования бернуллиевских распределений булевыми функциями из замкнутых классов / А. Д. Яшунский, 2016. - 23 с. - Текст : непосредственный. Герцев М.Н. Расчет переноса теплового излучения в атмосфере Земли / М. Н. Герцев, А. В. Шильков, Е. Н. Аристова, 2016. - 28 с. - Текст : непосредственный. Смирнов М.И. Математические модели, используемые в системе оптимизации доставки товаров автотранспортом "Диспетчер" / М. И. Смирнов, Р. З. Хайруллин, 2002. - 16 с. - Текст : непосредственный. Мажорова О.С. Метод численного решения задач кристаллизации многокомпонентных растворов / О. С. Мажорова, Ю. П. Попов, О. В. Щерица, 2002. - 37 с. - Текст : непосредственный. Ермаков А.В. Электронные государственные закупки: зарубежный опыт / А. В. Ермаков, 2002. - 12 с. - Текст : непосредственный. Локальная обработка измерений радиосистемы межпланетных космических аппаратов / Э. Л. Аким, А. А. Горохова, И. П. Киселева, 2002. - 20 с. - Текст : непосредственный. Сорокина О.В. Принцип Даламбера-Лагранжа в механиче ских системах с односторонними связями / О. В. Сорокина, Е. И. Кугушев, 2002. - 32 с. - Текст : непосредственный. Козлов А.Н. Аналитическая модель аксиально симметричных течений идеальной двухкомпонентной плазмы при наличии продольного магнитного поля / А. Н. Козлов, 2002. - 32 с. - Текст : непосредственный. Показать все результаты Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный. Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный. Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный. Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный. Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный. Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный. Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный. Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный. Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Показать все результаты Горбунов-Посадов М.М. Формы многократно используемых компонентов программы / М. М. Горбунов-Посадов, 1997. - 16 с. - Текст : непосредственный. Стаценко П.Б. Реализация интегрированной среды системы программирования QUASIC-3 / П. Б. Стаценко, 1993. - 16 с. - Текст : непосредственный. Городняя Л.В. Банк улучшаемых компонентов информационных систем / Л. В. Городняя, 2005. - 40 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Шелехов В.И. Разработка и верификация алгоритмов пирамидальной сортировки в технологии предикатного программирования / В.И. Шелехов, 2012. - 26 с. - Текст : непосредственный. Яковлев В.Б. Внешние объекты обмена в системе программирования АЛГОЛ-68-Эльбрус / В.Б.Яковлев, 1989. - 44 с. - Текст : непосредственный. Яковлев В.Б. Форматный обмен в системе программирования АЛГОЛ-68 - Эльбрус / В.Б.Яковлев, 1989. - 30 с. - Текст : непосредственный. Вельбицкий И.В. Классификация Р-схем на основе автоматной интерпретации и эквивалентные преобразования Р-схем / И.В.Вельбицкий,И.Б.Ушаков, 1989. - 23 с. - Текст : непосредственный. Шелехов В.И. Разработка эффективных программ стандартных функций Floor, Isqrt и Ilog2 по технологии предикатного программирования / В. И. Шелехов, 2010. - 42 с. - Текст : непосредственный. Система программирования GNS. Технология подготовки прикладной программы в среде UNIX для вычислительного комплекса MВС-1000 (руководство пользователя) / В.А.Абрамова,В.Ю.Вершубский,Л.А.Поздняков и др., 2000. - 15 с. - Текст : непосредственный. Черноножкин С.К. Средства профилирования программ в системе СОКРАТ / С.К.Черноножкин, 1998. - 20 с. - Текст : непосредственный. Крушняков В.Н. Интерфок - инструментальное ядро системы программирования МВК "Эльбрус" : Препринт / В.Н.Крушняков, 1991. - 45 с. - Текст : непосредственный. Лупенко А.И. Программирование для АМС : Препринт / А.И.Лупенко,А.М.Степанов, 1991. - 53 с. - Текст : непосредственный. Корухова Л.С. Программирование на основе стереотипов / Л. С. Корухова, Э. Э. Любимский, В. В. Островский, 1994. - 22 c. - Текст : непосредственный. Марин С.Ф. Использование гибкого межпрограммного интерфейса при создании прикладных программных систем на языке фортран / С.Ф.Марин,А.В.Тулянкин, 1989. - 21 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
