Полное описание
Бодин, Е. В.
ГРНТИ УДК 50.05.13 004.422.8'422(04)
Рубрики: Компиляторы программ
Кл.слова (ненормированные): КОМПИЛЯТОР -- ПРОГРАММА
Доп. точки доступа: Калинина, Н.А.
Шилов, Н.В.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/49881/138)
Шифр в сводном ЭК: 2a7b02ae5fbafe17f1bd4924b6b9ee88
Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Непомнящий В.А. Применение языка Dynamic-REAL для анализа и верификации распределенных систем, специфицированных на языке SDL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2012. - 52 с. - Текст : непосредственный. Памятка-инструкция по армированию (на руднике) буров пневматического бурения пластинками из твердого сплава : утверждено 28 июля 1944 г. / НКЦМ СССР, Технический отдел, Отраслевое бюро технической информации Главзолото, 1945. - 12, [1] с. (Введено оглавление). - Текст : непосредственный. Алиева Н.З. Рискогенность знания в эпоху глобализации : монография / Н. З. Алиева, Н. А. Калинина, 2016. - 184 с. - Текст : непосредственный. На пути в научную библиотеку : учеб. пособие для студентов естественнонауч. специальностей ун-та / М. А. Зайцева [и др.], 2009. - 361 с. - Текст : непосредственный. Калинина Н.А. О возможности изучения размеров области генерации быстрых протонов / Н. А. Калинина, Р. Ледницкий, Д. М. Хазинс, 1991. - 10 с. - Текст : непосредственный. Калинина Н.А. Модели и процедуры иерархического сетевого представления предметной области для поддержки процессов приобретения знаний : автореф. дис. .. канд. техн. наук: 05.13.17 / Н. А. Калинина, 2017. - 24 с. - Текст : непосредственный. Калинина Н.А. Разработка метода защиты окружающей среды от загрязнения нефтяными отходами выпариванием их водной фазы : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.14.16 / Н. А. Калинина, 2000. - 25 с. - Текст : непосредственный. Костюкова Н.И. Язык Си и особенности работы с ним : Учеб. пособие / Н. И. Костюкова, Н. А. Калинина, 2006. - 205 с. - Текст : непосредственный. Шилов Н.В. Combining knowledge and fixpoints / Н.В.Шилов,Н.О.Гаранина, 2002. - 50 p. - Текст : непосредственный. Непомнящий В.А. Моделирование и верификация распределенных систем, представленных на языке SDL с помощью языка Dinamic-REAL / В.А. Непомнящий, 2010. - 44 с. - Текст : непосредственный. Симуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL / В. А. Непомнящий [и др.], 2007. - 69 с. - Текст : непосредственный. Алиева Н.З. От опасностей и рисков знания к конвергенции науки, технологий и общества / Н. З. Алиева, Н. А. Калинина, Ю. С. Шевченко, 2012. - 255 с. - Текст : непосредственный. Бодин Е.В. Проект верифицирующего компилятора fbool. Ч. 2: Логические аннотации в языке Mini-Nil, их статическая семантика и семантика времени исполнения / Е.В. Бодин, Н.А.Калинина, Н.В.Шилов, 2006. - 31 с. - Текст : непосредственный. Литвиненко Л.Н. Распределение осадков на территории Московской области при наличии и отсутствии крупного антропогенного образования / Л. Н. Литвиненко, Н. А. Калинина. - Текст : непосредственный // Экология урбанизированных территорий. - Москва. - 2018. - № 2. - с. 66-71 Бодин Е.В. Проект верифицирующего компилятора. Ч.1. Общее описание проекта F BOOL, его место в компонентном подходе к программированию. Язык Mini-NIL - прототип языка виртуальной машины проекта / Е. В. Бодин, Н. А. Калинина, Н. В. Шилов, 2005. - 22 с. - Текст : непосредственный. Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный. Тумуров Э.Г. Технология спецификации коммуникационных протоколов / Э. Г. Тумуров, 2007. - 22 с. - Текст : непосредственный. Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Городняя Л.В. Банк улучшаемых компонентов информационных систем / Л. В. Городняя, 2005. - 40 с. - Текст : непосредственный. Цаценко Н.Н. Технологии работы с данными в интероперабельных средах CORBA, RMI, EJB / Н. Н. Цаценко, 2002. - 36 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Замулин А.В. Algebraic specification language Ruslan 99 / А. В. Замулин, 1999. - 34 p. - Текст : непосредственный. Боженкова Е.Н. Исследование разрешимости временных тестовых эквивалентностей / Е. Н. Боженкова, 1999. - 31 с. - Текст : непосредственный. Евстигнеев В.А. Анализ циклов: выбор кандидатов на распараллеливание / В. А. Евстигнеев, И. Л. Мирзуитова, 1999. - 48 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Оузьер Д. Освой самостоятельно 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. - Текст : электронный. Показать все результаты Очков В.Ф. Этюды на языках QBasic QuckBasic Basic Compiler / В. Ф. Очков, М. А. Рахаев, 1995. - 367 c. - Текст : непосредственный. Ada compiler validation summary report: certificate number: 880613W.1.09062 MIPS computer systems MIPS/VADS, version 1.30 MIPS M/1000 : доклад, тезисы доклада, 1989. - Pag.var. мкфш. - Текст : непосредственный. Ada compiler validation summary report: certificate number: 880728S1.09141 DDC-I, Inc.DACS-386/UNIX, version 4.2 ICL DRS 300 : доклад, тезисы доклада, 1989. - Pag.var. мкфш. - Текст : непосредственный. Program analysis and compilation, theory and practice / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Breslauer D. Tight comparison bounds for the string prefix-matching problem / D. Breslauer, L. Colussi, L. Toniolo, 1992. - 7 p. - Текст : непосредственный. Capon P.C. Compiler engineering using Pascal / P. C. Capon, P. J. Jinks, 1988. - X,214 p. p. - Текст : непосредственный. Towards a complete transformational toolkit for compilers / J. A. Bergstra, T. B. Dinesh, J. Field, J. Heering, 1996. - 53 p. - Текст : непосредственный. Eker S.M. A comparison of OBJ3 and ASF+SDF / S. M. Eker, 1992. - 24 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Лицевая сторона карточки Обратная сторона карточки
Романенко С.А. Суперкомпиляция: гомеоморфное вложение, вызов по имени, частичные вычисления / С. А. Романенко, 2018. - 32 с. - Текст : непосредственный. Бондарь Я.С. Учет контекстных условий в алгоритме генерации тестов для компиляторов / Я.С.Бондарь, 1995. - 20 c. - Текст : непосредственный. Затуливетер Ю.С. ПАРСЕК - язык компьютерного исчисления древовидных структур с открытой интерпретацией. Стендовый вариант системы программирования : Препринт / Ю.С.Затуливетер,Т.Г.Халатян, 1997. - 71 с. - Текст : непосредственный. Kotulski L. The separate complllation of the Colnet language / L. Kotulski, W. Kaczorowski, J. Rosek, 1991. - 12 p. - Текст : непосредственный. Зевина С.Г. Использование средств логического программирования в системах построения компиляторов : Препринт / С.Г.Зевина, 1991. - 30 с. - Текст : непосредственный. Климов А.В. Суперкомпиляция: основные принципы и базовые понятия / А. В. Климов, С. А. Романенко, 2018. - 36 с. - Текст : непосредственный. Бугеря А.Б. Компиляция и запуск программ на языке НОРМА / А.Б.Бугеря, 2001. - 12 с. - Текст : непосредственный. Модульная архитектура компилятора языка Норма+ / А. Н. Андрианов [и др.], 2011. - 16 с. - Текст : непосредственный. Бодин Е.В. Проект верифицирующего компилятора fbool. Ч. 2: Логические аннотации в языке Mini-Nil, их статическая семантика и семантика времени исполнения / Е.В. Бодин, Н.А.Калинина, Н.В.Шилов, 2006. - 31 с. - Текст : непосредственный. Пономарев Ю.В. Графор. Возможность работы с компилляром MS Fortran for Power Station 4.0 / Ю.В.Пономарев, 1997. - 18 с. - Текст : непосредственный. Бодин Е.В. Проект верифицирующего компилятора. Ч.1. Общее описание проекта F BOOL, его место в компонентном подходе к программированию. Язык Mini-NIL - прототип языка виртуальной машины проекта / Е. В. Бодин, Н. А. Калинина, Н. В. Шилов, 2005. - 22 с. - Текст : непосредственный. Кучик, Игорь Евгеньевич. Компиляции и запуск программ для выполнения на сервере Intel XeonPhi : препринт / И. Е. Кучик, В. А. Трофимов, 2017. - 76, [2] с. (Введено оглавление). - Текст (визуальный) : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
