Приложение
для AndroidПолное описание
Модульная архитектура компилятора языка Норма+ / А. Н. Андрианов [и др.]. - М. : [б. и.], 2011. - 16 с. : ил. - (Препринт / Институт прикладной математики им. М. В. Келдыша (Москва) ; 64 за 2011 г.). - Библиогр.: с. 16 (13 назв.). - 59 экз. - Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.41 | 004.422.8'422(04) |
Рубрики:
Компиляторы программ
Доп. точки доступа:
Андрианов, А.Н.
Бугеря, А.Б.
Ефимкин, К.Н.
Колударов, П.И.
Имеются экземпляры в отделах: всего 1 : ПНТ (1)
Свободны: ПНТ (1)
Применение метода наименьших модулей в задаче оценивания тензора инерции орбитальной станции "Мир" по данным измерений кинетического момента гиродинов / Е.Ю.Чебукова,В.В.Сазонов,М.Ю.Беляев,С.Г.Зыков, 1994. - 15 c. - Текст : непосредственный.Хантемиров Р.Р. Методы Рунге-Кутты с плавающими абсциссами для решения жестких обыкновенных дифференциальных уравнений / Р.Р.Хантемиров, 1994. - 30 c. - Текст : непосредственный.Рыков Ю.Г. Использование схемы Глимма в случае общих начальных данных для системы уравнений изэнтропической газовой динамики / Ю.Г.Рыков, 1994. - 17 c. - Текст : непосредственный.Садов Ю.А. Исследование движений симметричной троссовой системы с током методом точечных отображений / Ю.А.Садов,С.Ю.Чебуков, 1994. - 26 c. - Текст : непосредственный.Разработка военных мобильных роботов в США / С.А.Безбогов,А.А.Кирильченко,В.Е.Пряничников и др., 1994. - 36 c. - Текст : непосредственный.Исследование особенностей дальномерной лазерной обзорно-информационной системы / А.К.Платонов,С.А.Безбогов,А.А.Кирильченко,В.С.Ярошевский, 1994. - 28 c. - Текст : непосредственный.Рябенький В.С. Разностные потенциалы, аналогичные интегралам типа Коши / В.С.Рябенький, 1994. - 15 c. - Текст : непосредственный.Брюханов Ю.А. Динамика цифрового фильтра с кусочно-линейной характеристикой типа насыщения. Аналитическое исследование / Ю. А. Брюханов, С. Д. Глызин, Н. К. Рахманова, 1994. - 29 c. - Текст : непосредственный.Рахманов А.И. Об аттракторе двух связанных отображений "Тент" / А.И.Рахманов,Н.К.Рахманова, 1994. - 33 c. - Текст : непосредственный.Сушкевич Т.А. Оптический передаточный оператор при дистанционном зондировании отражающей поверхности / Т. А. Сушкевич, А. К. Куликов, С. В. Максакова, 1994. - 28 c. - Текст : непосредственный.Ипатов С.И. Гравитационное взаимодействие планетезималей, движущихся по близким орбитам / С.И.Ипатов, 1994. - 60 c. - Текст : непосредственный.Сушкевич Т.А. Математические модели азимутальных и сферических гармоник пространственно-частотной характеристики в задачах дистанционного зондирования неоднородной поверхности / Т. А. Сушкевич, Е. М. Петроковец, С. В. Максакова, 1994. - 28 c. - Текст : непосредственный.Беляев М.Ю. Определение ориентации орбитального комплекса "Мир" по показаниям оптического звездного датчика / М. Ю. Беляев, Н. И. Ефимов, В. В. Сазонов, 1994. - 23 c.Галактионов В.А. Examples of nonsymmetric extinction and blow-up for quasilinear heat equations / В.А.Галактионов,С.А.Посашков, 1994. - 24 p. - Текст : непосредственный.Галактионов В.А. On invariant sets and explicit solutions of nonlinear evolution equations with quadratic nonlinearities / В. А. Галактионов, S. A. Posashkov, S. R. Svirshchevskii, 1994. - 36 p. - Текст : непосредственный.Исследование возможности полета к Плутону космического аппарата с солнечной электроракетной двигательной установкой / Г.Б.Ефимов,М.С.Константинов,В.Г.Петухов,Г.Г.Федотов, 1994. - 24 c. - Текст : непосредственный.Павлюков Ю.Б. Численное моделирование процессов многокомпонентной диффузии в термосфере Земли в четырехкомпонентном приближении / Ю.Б.Павлюков, 1994. - 30 c. - Текст : непосредственный.Марин С.Ф. К учету влияния прямой солнечной радиации на движение высокоапогейного ИСЗ / С.Ф.Марин, 1994. - 22 c.Смирнов В.В. Оптимизация параметров пертурбационного маневра космического аппарата в сфере действия Луны / В. В. Смирнов, В. А. Егоров, В. В. Сазонов, 1994. - 22 c. - Текст : непосредственный.Брюно А.Д. Многогранники Клейна для двух кубических форм Давенпорта / А.Д.Брюно,В.И.Парусников, 1994. - 32 c. - Текст : непосредственный.
Показать все результатыПрограммное обеспечение NCOS, NCOS 1 : Руководство прикладного программиста / ВЦП. - 195 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS 1.Поддержка сопровождения программного обеспечения / ВЦП. - 256 с. - Текст : непосредственный.Программное обеспечение NCOS / ВЦП. - 166 с. - Текст : непосредственный.Основы операционной системы NCOS1 : Руководство по обучению / ВЦП. - 142 с. - Текст : непосредственный.Математическое обеспечение NCOS. NCOS1 : Инструментальные средства для разработки программ / ВЦП. - 63 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS1. : Организации файлов и форматы данных / ВЦП. - 268 с. - Текст : непосредственный.Производственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Операционная система NCOS1. Дисковые сортировка / слияние / ВЦП. - 108 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Программное обеспечение операционной системы NCOS / ВЦП. - 196 с. - Текст : непосредственный.Среда формирования профессиональной прикладной системы VS (PACE). Версия 2.20. Примечания к версии потребительского программного обеспечения / ВЦП. - 110 с. - Текст : непосредственный.Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.Введение в VAX/VMS / ВЦП. - 130 с. - Текст : непосредственный.Пакет для создания среды, предназначенной для профессиональных приложений (РАСЕ). Версия 2.20. Замечания по версии математического обеспечения, предназначенной для заказчика / ВЦП. - 112 с. - Текст : непосредственный.Программное обеспечение NCOS,NCOSI : Инструкция по эксплуатации / ВЦП. - 331 331 с. - Текст : непосредственный.Инструкции пользователю программного пакета для платы для сбора данных PCLS-718-C, написанного на языке СИ / ВЦП. - 97 с. - Текст : непосредственный.Руководство по обслуживанию линии связи организатора Пбмодель IQ-890 / ВЦП. - 135 с. - Текст : непосредственный.
Показать все результатыЗонд системы ТРИО : Инструкция по эксплуатации / ВЦП. - 18 c. - Текст : непосредственный.Paalvast E.M.R.M. Programming for parallelism and compiling for efficiency : Diss. / E.M.R.M.Paalvast, 1992. - 229 p. - Текст : непосредственный.Breslauer D. Fast parallel string prefix-matching / D.Breslauer, 1992. - 8 p. - Текст : непосредственный.Breslauer D. Tight comparison bounds for the string prefix-matching problem / D.Breslauer,L.Colussi,L.Toniolo, 1992. - 7 p. - Текст : непосредственный.Pemberton S. The ergonomics of software porting automatically configuring software to the runtime environment -or- everything you wanted to know about your C compiler, but didn't know who to ask / S.Pemberton, 1992. - 20 p. - Текст : непосредственный.Igarashi J. ЕП expressions of sentential aspects in a contextual language processing model / J.Igarashi, 1993. - 93 p. - Текст : непосредственный.Залогова Л.А. Разработка Паскаль-компилятора : Учеб.пособие по спецкурсу / Л.А.Залогова, 1993. - 119 c. - Текст : непосредственный.Fokkink W.J. A complete equational axiomatisation for prefix iteration / W.J.Fokkink, 1994. - 6 p. - Текст : непосредственный.Eker S.M. A comparison of OBJ3 and ASF+SDF / S.M.Eker, 1992. - 24 p. - Текст : непосредственный.Предкомпиляторы ORACLE : Руководство для языка Pro*CВерсия 1.5Учетный номер 5452-15-1292Пер.с англ., 1994. - Разд.паг. с. - Текст : непосредственный.Ashton K. Pattern matching, conceptualisation, seminatics and logic / K.Ashton, 1994. - 14 p. - Текст : непосредственный.Серебряков В.А. Лекции по конструированию компиляторов / В.А.Серебряков, 1994. - 175 c. - Текст : непосредственный.Бондарь Я.С. Учет контекстных условий в алгоритме генерации тестов для компиляторов / Я.С.Бондарь, 1995. - 20 c. - Текст : непосредственный.Очков В.Ф. Этюды на языках QBasic QuckBasic Basic Compiler / В.Ф.Очков,М.А.Рахаев, 1995. - 367 c. - Текст : непосредственный.complete transformational toolkit for compilers / J.A.Bergstra,T.B.Dinesh,J.Field,J.Heering, 1996. - 46 p. - Текст : непосредственный.Kamperman J.F.Th. Simulating TRSs by minimal TRSs:a simple,efficient, and correct compilation technique / J.F.Th.Kamperman,H.R.Walters, 1996. - 15 p. - Текст : непосредственный.Naidich D. Implicit induction techniques for the verification of Piм - a transformational toolkit for compilers / D.Naidich,T.B.Dinesh, 1996. - 34 p. - Текст : непосредственный.Towards a complete transformational toolkit for compilers / J.A.Bergstra,T.B.Dinesh,J.Field,J.Heering, 1996. - 53 p. - Текст : непосредственный.Затуливетер Ю.С. ПАРСЕК - язык компьютерного исчисления древовидных структур с открытой интерпретацией. Стендовый вариант системы программирования : Препринт / Ю.С.Затуливетер,Т.Г.Халатян, 1997. - 71 с. - Текст : непосредственный.Пономарев Ю.В. Графор. Возможность работы с компилляром MS Fortran for Power Station 4.0 / Ю.В.Пономарев, 1997. - 18 с. - Текст : непосредственный.
Показать все результатыБондарь Я.С. Учет контекстных условий в алгоритме генерации тестов для компиляторов / Я.С.Бондарь, 1995. - 20 c. - Текст : непосредственный.Затуливетер Ю.С. ПАРСЕК - язык компьютерного исчисления древовидных структур с открытой интерпретацией. Стендовый вариант системы программирования : Препринт / Ю.С.Затуливетер,Т.Г.Халатян, 1997. - 71 с. - Текст : непосредственный.Пономарев Ю.В. Графор. Возможность работы с компилляром MS Fortran for Power Station 4.0 / Ю.В.Пономарев, 1997. - 18 с. - Текст : непосредственный.Kotulski L. The separate complllation of the Colnet language / L. Kotulski, W. Kaczorowski, J. Rosek, 1991. - 12 p. - Текст : непосредственный.Зевина С.Г. Использование средств логического программирования в системах построения компиляторов : Препринт / С.Г.Зевина, 1991. - 30 с. - Текст : непосредственный.Бугеря А.Б. Компиляция и запуск программ на языке НОРМА / А.Б.Бугеря, 2001. - 12 с. - Текст : непосредственный.Проект верифицирующего компилятора. Ч.1. Общее описание проекта F BOOL , его место в компонентном подходе к программированию. Язык Mini-NIL - прототип языка виртуальной машины проекта / Е. В. Бодин, Н. А. Калинина, Н. В. Шилов, 2005. - 22 с. - Текст : непосредственный.Бодин Е.В. Проект верифицирующего компилятора fbool. Ч. 2: Логические аннотации в языке Mini-Nil, их статическая семантика и семантика времени исполнения / Е.В. Бодин, Н.А.Калинина, Н.В.Шилов, 2006. - 31 с. - Текст : непосредственный.Модульная архитектура компилятора языка Норма+ / А. Н. Андрианов [и др.], 2011. - 16 с. - Текст : непосредственный.Климов А.В. Суперкомпиляция: основные принципы и базовые понятия / А. В. Климов, С. А. Романенко, 2018. - 36 с.Романенко С.А. Суперкомпиляция: гомеоморфное вложение, вызов по имени, частичные вычисления / С. А. Романенко, 2018. - 32 с.Кучик, Игорь Евгеньевич. Компиляции и запуск программ для выполнения на сервере Intel XeonPhi : препринт / И. Е. Кучик, В. А. Трофимов, 2017. - 76, [2] с. (Введено оглавление). - Текст (визуальный) : непосредственный.
Заказ фрагмента документа ₽