Приложение
для AndroidПолное описание
Баранова, Т. П. Использование библиотеки классов пакета "SAGE" для анализа программ, написанных на языке ФОРТРАН / Т.П. Баранова, В.Ю. Вершубский. - М. : [б. и.], 2004. - 30 с. : ил. - (Препринт / Институт прикладной математики им. М. В. Келдыша (Москва) ; 69 за 2004 г.). - Библиогр.: с. 39(7 назв.). - 59 экз. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.41 | 004.422.8'41(04) |
Рубрики:
Программы-анализаторы для ЭВМ
Доп. точки доступа:
Вершубский, В.Ю.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/16400/69 за 2004 г.)
Шифр в сводном ЭК: 596884b7767bcdf40874c68deebb9813
Автоматизированная испытательная система / Т. П. Баранова, В. Г. Буликов, В. Ю. Вершубский [и др.]. - 14 с. - Текст : непосредственный.Ширяева Е.В. Основы проектирования промышленных зданий : учебное пособие / Е. В. Ширяева, И. Л. Артюхов, Т. П. Баранова, 2008. - 125 с. - Текст : непосредственный.
Система программирования GNS. Описание языка ФОРТРАН GNS / В.А.Абрамова,В.Ю.Вершубский,А.М.Горелик и др., 1997. - 20 с. - Текст : непосредственный.Система программирования GNS. Описание языка СИ GNS / В.А.Абрамова,В.Ю.Вершубский,А.М.Горелик и др., 1997. - 22 с. - Текст : непосредственный.Применение языка НОРМА для реализации некоторых тестов пакета NPB / А. Н. Андрианов [и др.], 2015. - 18 с. - Текст : непосредственный.Система программирования GNS. Технология подготовки прикладной программы в среде UNIX для вычислительного комплекса MВС-1000 (руководство пользователя) / В.А.Абрамова,В.Ю.Вершубский,Л.А.Поздняков и др., 2000. - 15 с. - Текст : непосредственный.Вершубский В.Ю. Параллельное программирование на Фортране GNS / В. Ю. Вершубский, В. А. Фисун, 2006. - 28 с. - Текст : непосредственный.Автоматизированная испытательная система. Язык программирования Диполь / Т. П. Баранова [и др.], 2014. - 23 с. - Текст : непосредственный.Автоматизированная испытательная система. Слежение за объектом контроля / Т. П. Баранова [и др.], 2014. - 23 с. - Текст : непосредственный.Автоматизированная испытательная система. Имитаторы / Т. П. Баранова [и др.], 2011. - 24 с. - Текст : непосредственный.Трансляция непроцедурного языка НОРМА для графических процессоров / А. Н. Андрианов [и др.], 2016. - 24 с. - Текст : непосредственный.Система программирования GNS. Технология обработки исходных текстов фортрана NS и СИ GNS в среде MS DOS / В.А.Абрамова,В.Ю.Вершубский,А.М.Горелик и др., 1997. - 23 с. - Текст : непосредственный.Баранова Т.П. Использование библиотеки классов пакета "SAGE" для анализа программ, написанных на языке ФОРТРАН / Т.П. Баранова, В.Ю. Вершубский, 2004. - 30 с. - Текст : непосредственный.Язык НОРМА / А. Н. Андрианов, Т. П. Баранова, А. Б. Бугеря [и др.], 2019. - 48 с. - Текст : непосредственный.Система программирования MPI-MVS-100. Технология подготовки прикладной программы в среде MS DOS (руководство пользователя) / В.А.Абрамова,В.Ю.Вершубский,Л.А.Поздняков и др., 1999. - 25 с. - Текст : непосредственный.Строительство в природно-климатических условиях Дальнего Востока : Учеб. пособие / В.А.Баранов,Т.П.Баранова,В.К.Сафронов,А.А.Цвид, 1990. - 91 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Колесниченко А.В. К моделированию сжимаемой магнитогидродинамической турбулентности аккреционного протопланетного диска / А. В. Колесниченко, 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 с. - Текст : непосредственный.
Показать все результатыБаженова И.Ю. 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 с. - Текст : непосредственный.
Показать все результатыБаранова Т.П. Использование библиотеки классов пакета "SAGE" для анализа программ, написанных на языке ФОРТРАН / Т.П. Баранова, В.Ю. Вершубский, 2004. - 30 с. - Текст : непосредственный.Баранова Т.П. Анализатор программ, написанных на языке ФОРТРАН / Т. П. Баранова, В. Ю. Вершубский, 2005. - 27 с. - Текст : непосредственный.
Каблуков И.В. Контроль динамической семантики предикатной программы / И. В. Каблуков, В. И. Шелехов, 2012. - 28 с. - Текст : непосредственный.Баранова Т.П. Использование библиотеки классов пакета "SAGE" для анализа программ, написанных на языке ФОРТРАН / Т.П. Баранова, В.Ю. Вершубский, 2004. - 30 с. - Текст : непосредственный.Баранова Т.П. Анализатор программ, написанных на языке ФОРТРАН / Т. П. Баранова, В. Ю. Вершубский, 2005. - 27 с. - Текст : непосредственный.Куракина Л.Б. Исследование алгоритма обработки ошибок при реализации метода рекурсивного спуска / Л.Б.Куракина, 1990. - 17 с. - Текст : непосредственный.Куракина Л.Б. Об ускорении грамматического разбора программ и сокращении объема анализатора, реализующего метод рекурсивного спуска / Л.Б.Куракина, 1990. - 19 с. - Текст : непосредственный.
Заказ фрагмента документа ₽