Приложение
для AndroidПолное описание
Карпов, Ю. Г. Теория и технология программирования. Основы построения трансляторов : учеб. пособие / Ю.Г. Карпов. - СПб. : БХВ-Петербург, 2005. - 270 с. : ил. - Библиогр.: с. 267-268. Предм. указ.: с. 269-270. - 3000 экз. - ISBN 5-94157-285-9. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.05.13 | 004.422.8'42 |
Рубрики:
Трансляторы программ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-05/34749)
Шифр в сводном ЭК: 35135fd9584333cca8d823d9f4976a02
Карпов Ю.Г. Теория автоматов / Ю. Г. Карпов, 2002. - 206 с. - Текст : непосредственный.Карпов Ю.Г. Model checking. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов, 2010. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Законы механики и молекулярной физики в физическом эксперименте : учеб. пособие / В. Б. Демин [и др.], 2013. - 160 с. - Текст : непосредственный.Шошмина И.В. Введение в язык PROMELA и систему комплексной верификации SPIN : учеб. пособие / И. В. Шошмина, Ю. Г. Карпов, 2010. - 111 с. - Текст : непосредственный.Карпов Ю.Г. Model checking. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов, 2010. - 551 с. - Текст : непосредственный.Карпов Ю.Г. Электричество и магнетизм : учеб. пособие / Ю. Г. Карпов, А. Н. Филанович, А. А. Повзнер, 2013. - 163 с. - Текст : непосредственный.Карпов Ю.Г. Автоматы и формальные языки : сб. задач / Ю. Г. Карпов, 2015. - 84 с. - Текст : непосредственный.Законы механики и молекулярной физики в физическом эксперименте : учеб. пособие / В. Б. Демин [и др.], 2015. - 160 с. - Текст : непосредственный.Карпов Ю.Г. Верификация распределенных систем : учеб. пособие / Ю. Г. Карпов, И. В. Шошмина, 2011. - 211 с. - Текст : непосредственный.Карпов Ю.Г. Технология программирования. Верификация параллельных и распределенных программных систем : учеб. пособие / Ю. Г. Карпов, 2010. - 119 с. - Текст : непосредственный.Карпов Ю.Г. Электричество и магнетизм : учеб. пособие / Ю. Г. Карпов, А. Н. Филанович, А. А. Повзнер, 2015. - 163 с. - Текст : непосредственный.Карпов Ю.Г. Теория и технология программирования. Основы построения трансляторов : Учеб. пособие / Ю.Г. Карпов, 2005. - 270 с. - Текст : непосредственный.
Оузьер Д. Освой самостоятельно 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. - Текст : электронный.
Показать все результатыКревский И.Г. Формальные языки, грамматики и основы построения трансляторов / И. Г. Кревский, М. Н. Селиверстов, К. В. Григорьева, 2003. - 129 с. - Текст : непосредственный.Kastens U. Ubersetzerbau / U. Kastens, 1990. - 249 S. - Текст : непосредственный.
Чурсин В.Б. Системное программное обеспечение. Трансляторы : учебное пособие / В. Б. Чурсин, 2017. - 102 с. - Текст : непосредственный.Власенко А.В. Теория проектирования трансляторов : учеб. пособие / А.В. Власенко, В.И. Ключко, 2004. - 97 с. - Текст : непосредственный.Компаниец Р.И. Системное программирование. Основы построения трансляторов : Учеб. / Р. И. Компаниец, Е. В. Маньков, Н. Е. Филатов, 2000. - 255 с. - Текст : непосредственный.Маршанкулов Д.Д. Введение в системное программирование. Трансляторы / Д.Д.Маршанкулов, 2000. - 154 с. - Текст : непосредственный.Опалева Э.А. Формальные метод описания перевода : Учеб.пособие / Э. А. Опалева, В. П. Самойленко, О. Н. Семенова, 2000. - 63 с. - Текст : непосредственный.Федоров В.В. Основы построения трансляторов : Учеб. пособие / В.В.Федоров, 1995. - 105 c. - Текст : непосредственный.Extended Pascal to C++ converter / V.A.Markin,S.V.Maslov,R.M.Novikov,A.A.Sulimov, 2002. - 51 p. - Текст : непосредственный.Соколов В.А. Технологии трансляции : учеб. пособие / В. А. Соколов, Д. Ю. Чалый, 2008. - 122 с. - Текст : непосредственный.Гурченков Д.С. On the object-oriented design of translator components / Д. С. Гурченков, A. V. Mogilev, P. E. Pavlov, 2003. - 26 p.. - Текст : непосредственный.Князев А.В. Основы построения трансляторов : учебное пособие по курсу "Математическое обеспечение ЭВМ" для студентов, обучающихся по направлению "Прикладная математика и информатика" / А. В. Князев, 2017. - 95 с. - Текст : непосредственный.Землянский А.А. Транслирующая система с языка АЛГЭК-М на ЭВМ "Минск-32" : учеб. пособие / А. А. Землянский, 1974. - 163 с. - Текст : непосредственный.Фомин В.В. Математические основы разработки трансляторов : Учеб.пособие / В.В.Фомин, 1996. - 65 c. - Текст : непосредственный.Мартыненко Б.К. Языки и трансляции : учеб. пособие / Б.К.Мартыненко, 2004. - 229 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Компиляторы: принципы, технологии и инструментарий / А. В. Ахо, М. С. Лам, Р. Сети, Д. Д. Ульман, 2015. - 1175 с. - Текст : непосредственный.Очков В.Ф. Этюды на языках QBasic QuckBasic Basic Compiler / В. Ф. Очков, М. А. Рахаев, 1995. - 367 c. - Текст : непосредственный.Compiler construction / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.Ада-Эльбрус. Структура системы и принципы разработки / С. С. Запреев, П. А. Полюдов, В. Б. Разгулин, Б. Г. Чеблаков, 1989. - 11 с. - Текст : непосредственный.Кревский И.Г. Формальные языки, грамматики и основы построения трансляторов / И. Г. Кревский, М. Н. Селиверстов, К. В. Григорьева, 2003. - 129 с. - Текст : непосредственный.Трошина Е.Н. Исследование и разработка методов декомпиляции программ / Е. Н. Трошина, 2009. - 24 с. - Текст : непосредственный.Муромцев В.В. Синтез распознавателей языков компьютерного моделирования объектов с конечным числом состояний : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд. техн. наук / В. В. Муромцев, 1999. - 16 с. - Текст : непосредственный.Карпов А.В. Реализация учебного интерпретатора ФОРТРАН-программ / А. В. Карпов, 1991. - 20 с. - Текст : непосредственный.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. - Текст : электронный.Compiler construction / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Compiler construction / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Compiler construction / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Crespi Reghizzi R.S. Formal languages and compilation / R. S. Crespi Reghizzi, 2009 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. - Текст : непосредственный.Тейнсли Д. Linux и UNIX: программирование в shell. Руководство разработчика : монография / Д. Тейнсли, 2001. - 461 с. - Текст : непосредственный.Kastens U. Ubersetzerbau / U. Kastens, 1990. - 249 S. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽