Полное описание
Малявко, А. А. Ч. 1 . - 2010. - 101с. : ил. - Библиогр.: с. 100 (13 назв.). - 100 экз. - ISBN 978-5-7782-1429-3
ГРНТИ УДК 16.31.31 510.567 50.05.13 004.422.8'41
Рубрики: Формальные языки
Программы для ЭВМ -- Трансляция
Экз-ры полностью d087ba2ae839d18ea125ca0e15f7033f Нет сведений об экземплярах Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/66220/1)
Шифр в сводном ЭК: d087ba2ae839d18ea125ca0e15f7033f
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Малявко, А. А. Системное программное обеспечение. Формальные языки и методы трансляции : учеб. пособие. Ч. 1, 2010. - 101с. - Текст : непосредственный. Малявко, А. А. Теория формальных языков : Учеб.пособие:В 3 ч. Ч. 2, 2002. - 99 с. - Текст : непосредственный. Малявко А.А. Параллельное программирование на основе технологий OpenMP, MPI, CUDA : учеб. пособие / А. А. Малявко, 2015. - 115, [1] с. - Текст : непосредственный. Малявко, А. А. Программное обеспечение высокопроизводительных вычислений : конспект лекций. Ч. 1, 2013. - 99 с. - Текст : непосредственный. Малявко, А. А. Теория формальных языков : Учеб.пособие:В 3 ч. Ч. 3, 2005. - 124 с. - Текст : непосредственный. Локальные вычислительные сети и распределенная обработка данных : Межвуз. сб. науч. тр. / Новосиб. электротехн. ин-т, 1990. - 102,5 c. c. - Текст : непосредственный. Малявко, А. А. Системное программное обеспечение. Формальные языки и методы трансляции : учеб. пособие. Ч. 2 : Синтаксический анализ, 2011. - 159 с. - Текст : непосредственный. Малявко, А. А. Теория формальных языков : Учеб.пособие:В 3 ч. Ч. 1, 2001. - 96 с. - Текст : непосредственный. Малявко, А. А. Системное программное обеспечение. Формальные языки и методы трансляции : учеб. пособие. Ч. 3, 2012. - 119 с. - Текст : непосредственный. Обработка данных и модельное исследование в индуктивном анализе : монография / О. К. Альсова, А. А. Малявко, П. В. Мищенко [и др.], 2024. - 257 с. - Текст : непосредственный. Оузьер Д. Освой самостоятельно 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 с. - Текст : непосредственный. Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный. Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Показать все результаты Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. Деундяк В.М. Элементы теории формальных языков / В. М. Деундяк, 1997. - 68 с. - Текст : непосредственный. Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный. Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный. Esik Z. Recent advances in formal languages and applications / Z. Esik, C. Martin-Vide, V. Mitrana, 2006 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Будкин А.И. Элементы теории автоматов и формальных языков : учебное пособие / А. И. Будкин, 2019. - 78 с. - Текст : непосредственный. Галиев Ш.И. Теория формальных языков : Учеб.пособие / Ш.И.Галиев,Л.Ю.Емалетдинова, 1994. - 100 c. - Текст : непосредственный. Чигарина Е.И. Теория конечных автоматов и формальных языков : учеб. пособие / Е. И. Чигарина, М. А. Шамашов, 2007. - 95 с. - Текст : непосредственный. Сорокина М.М. Теория автоматов и формальных языков : учебник / М. М. Сорокина, А. Б. Еловиков, 2012. - 153 с. - Текст : непосредственный. Малявко, А. А. Системное программное обеспечение. Формальные языки и методы трансляции : учеб. пособие. Ч. 1, 2010. - 101с. - Текст : непосредственный. Сердобольский В.И. Синтаксическая теория формальных языков : Учеб.пособие / В.И.Сердобольский, 2000. - 111 с. - Текст : непосредственный. Малявко, А. А. Теория формальных языков : Учеб.пособие:В 3 ч. Ч. 2, 2002. - 99 с. - Текст : непосредственный. Бондаренко, Л. Н. Дискретная математика. Конечные автоматы и формальные языки : учеб. пособие. Ч. 1, 2009. - 74 с. - Текст : непосредственный. Бояринцева Т.Е. Формальные языки и конечные автоматы / Т.Е.Бояринцева,А.Н.Щетинин,И.К.Краснов; Под ред. В.И.Хомича, 2002. - 34 с. - Текст : непосредственный. Коротков М.А. Основы формальных логических языков : Учеб. пособие / М.А.Коротков,Е.О.Степанов, 2003. - 82 с. - Текст : непосредственный. Пентус А.Е. Математическая теория формальных языков / А. Е. Пентус, М. Р. Пентус, 2006. - 247 с. - Текст : непосредственный. Показать все результаты Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный. Орлова Е.В. О сложности реализации конечных языков регулярными выражениями и схемами : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Орлова, 2000. - 16 с. - Текст : непосредственный. Деундяк В.М. Элементы теории формальных языков / В. М. Деундяк, 1997. - 68 с. - Текст : непосредственный. Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный. Петрова А.Н. Теория языков программирования и методы трансляции : учеб. пособие. Ч. 1 : Теория, 2013. - 109 с. - Текст : непосредственный. Петухин В.А. Анализ логических программ и компиляция языка Флэнг : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / В. А. Петухин, 1993. - 13 с. - Текст : непосредственный. Оптимизирующая трансляция и конструирование программ / Институт систем информатики им. А. П. Ершова (Новосибирск), 1997. - 166 с. - Текст : непосредственный. Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный. Crespi Reghizzi R.S. Formal languages and compilation / R. S. Crespi Reghizzi, 2009 r=on-line. - Текст : электронный. Климов Ю.А. Особенности применения метода частичных вычислений к специализации программ на объектно-ориентированных языках / Ю. А. Климов, 2008. - 27 с. - Текст : непосредственный. Климов Ю.А. Возможности специализатора CILPE и примеры его применения к программам на объектно-ориентированных языках / Ю. А. Климов, 2008. - 28 с. - Текст : непосредственный. Климов Ю.А. SOOL: объектно-ориентированный стековый язык для формального описания и реализации методов специализации программ / Ю. А. Климов, 2008. - 32 с. - Текст : непосредственный. Полетаева И.А. Методы трансляции : Конспект лекций для студентов Ш курса ФПМИ. Ч. 1, 1998. - 53 с. - Текст : непосредственный. Фридл Д. Регулярные выражения : монография / Д. Фридл, 2001. - 347 с. - Текст : непосредственный. Молдованова О. В. Языки программирования и методы трансляции : выставочные материалы / О. В. Молдованова, 2012. - 133 с. - Текст : непосредственный. Esik Z. Recent advances in formal languages and applications / Z. Esik, C. Martin-Vide, V. Mitrana, 2006 r=on-line. - Текст : электронный. Гантерот К. Оптимизация программ на C++. Проверенные методы для повышения производительности / К. Гантерот ; Пер. И. В. Красиков, 2017. - 390, [10] с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
