Полное описание
Каблуков, И. В.
ГРНТИ УДК 50.05.13 004.422.8'41(04)
Рубрики: Программы для ЭВМ -- Трансляция
Доп. точки доступа: Шелехов, В.И.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/49881/162)
Шифр в сводном ЭК: b946c603d6c730896bc38800bcc8c580
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Шелехов В.И. Современные направления модернизации машин для производства кровельного картона : обзор / В. И. Шелехов; редакционная коллегия: Г. М. Матвеев (главный редактор) [и др.], 1974. - 47, [2] с. - Текст : непосредственный. Шелехов В.И. Разработка и верификация алгоритмов пирамидальной сортировки в технологии предикатного программирования / В.И. Шелехов, 2012. - 26 с. - Текст : непосредственный. Шелехов В.И. Разработка эффективных программ стандартных функций Floor, Isqrt и Ilog2 по технологии предикатного программирования / В. И. Шелехов, 2010. - 42 с. - Текст : непосредственный. Шелехов В.И. Предикатное программирование : учеб. пособие / В. И. Шелехов, 2009. - 109 с. - Текст : непосредственный. Батраков В.А. Автоматическое доказательство формул корректности предикатной программы в системе RUSSELL / В. А. Батраков, В. И. Шелехов, 2012. - 32 с. - Текст : непосредственный. Чушкин М.С. Генерация и доказательство условий корректности предикатных программ / М. С. Чушкин, В. И. Шелехов, 2012. - 49 с. - Текст : непосредственный. Каблуков И.В. Реализация склеивания переменных в предикатной программе / И. В. Каблуков, В. И. Шелехов, 2012. - 13 с. - Текст : непосредственный. Каблуков И.В. Контроль динамической семантики предикатной программы / И. В. Каблуков, В. И. Шелехов, 2012. - 28 с. - Текст : непосредственный. Методы предикатного программирования : Сб. науч. работ / Ин-т систем информатики им. А.П.Ершова, 2003. - 62 с. - Текст : непосредственный. Шелехов В.И. Разработка программы построения дерева суффиксов в технологии предикатного программирования / В.И.Шелехов, 2004. - 52 с. - Текст : непосредственный. Шелехов В.И. Модель корректности программ на языке исчисления вычислимых предикатов / В. И. Шелехов, 2007. - 50 с. - Текст : непосредственный. Шелехов В.И. Введение в предикатное программирование / В.И.Шелехов, 2002. - 82 с. - Текст : непосредственный. Шелехов В.И. Язык предикатного программирования Р / В.И.Шелехов, 2002. - 40 с. - Текст : непосредственный. Карнаухов Н.С. Язык предикатного программирования Р / Н. С. Карнаухов, Д. Ю. Першин, В. И. Шелехов, 2010. - 42 с. - Текст : непосредственный. Непомнящий В.А. Язык спецификаций распределенных систем 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. - Текст : электронный. Показать все результаты Каблуков И.В. Контроль динамической семантики предикатной программы / И. В. Каблуков, В. И. Шелехов, 2012. - 28 с. - Текст : непосредственный. Баранова Т.П. Использование библиотеки классов пакета "SAGE" для анализа программ, написанных на языке ФОРТРАН / Т.П. Баранова, В.Ю. Вершубский, 2004. - 30 с. - Текст : непосредственный. Баранова Т.П. Анализатор программ, написанных на языке ФОРТРАН / Т. П. Баранова, В. Ю. Вершубский, 2005. - 27 с. - Текст : непосредственный. Куракина Л.Б. Исследование алгоритма обработки ошибок при реализации метода рекурсивного спуска / Л.Б.Куракина, 1990. - 17 с. - Текст : непосредственный. Куракина Л.Б. Об ускорении грамматического разбора программ и сокращении объема анализатора, реализующего метод рекурсивного спуска / Л.Б.Куракина, 1990. - 19 с. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
