Полное описание
Heering, J.
ГРНТИ УДК 50.41.25 004.422.8'242
Рубрики: Генераторы программ
Кл.слова (ненормированные): ГЕНЕРАТОР -- ХОЛОДИЛЬНАЯ ТЕХНИКА -- ХОЛОДИЛЬНЫЙ АГЕНТ
Доп. точки доступа: Klint, P.
Rekers, J.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9124)
Шифр в сводном ЭК: 624afeba4d53cb305f38cb085a0e26b7
Dinesh T.B. algebraic programming style for numerical software and its optimization / T. B. Dinesh, M. Haveraaen, J. Heering, 1998. - 19 p. - Текст : непосредственный. Industrial applications of ASF+SDF / M.van den Brand, A.van Deursen, P. Klint, A. S. Klusener, 1996. - 11 p. - Текст : непосредственный. Towards a complete transformational toolkit for compilers / J. A. Bergstra, T. B. Dinesh, J. Field, J. Heering, 1996. - 53 p. - Текст : непосредственный. Klint P. meta-environment for generating programming environments / P. Klint, 1990. - 22 p. - Текст : непосредственный. Klint P. Lazy scanner generation for modular regular grammars / P. Klint, 1991. - 18 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Rekers J.G. Modular parser generation / J.G.Rekers, 1989. - 14 p. - Текст : непосредственный. Efficient annotated terms / M.G.J.van denBrand,H.A. de Jong,P.Klint,P.A.Oliver, 2000. - 26 p. - Текст : непосредственный. Heering J. Application software, domain-specific languages, and language design assistants / J.Heering, 2000. - 6 p. - Текст : непосредственный. Compiling language definitions: the ASF+SDF compiler / M.G.J.van den Brand,J.Heering,P.Klint,P.A.Oliver, 2000. - 37 p. - Текст : непосредственный. Heering J. Implementing higher-order algebraic specifications / J.Heering, 1992. - 12 p. - Текст : непосредственный. Rekers J. Generalized LR parsing for general context-free grammars / J.Rekers, 1991. - 31 p. - Текст : непосредственный. Deursen A.van Validating year 2000 compliance / A.van Deursen,P.Klint,A.Sellink, 1997. - 55 p. - Текст : непосредственный. Bergstr J.A. Which data types have w-complete initial algebra specifications? / J.A.Bergstr,J.Heering, 1989. - 16 p. - Текст : непосредственный. Rekers J. Substring parsing for arbitrary context-free grammar / J.Rekers,J.W.C.Koorn, 1990. - 9 p. - Текст : непосредственный. Heering J. Lazy and incremental program generation : Rev.version / J.Heering,P.Klint,J.Rekers, 1991. - 12 p. - Текст : непосредственный. Deursen A. van Domain-specific languages / A. van Deursen,P.Klint,J.M.W.Visser, 2000. - 13 p. - Текст : непосредственный. Deursen A.van Little languages: little maintenance? / A.van Deursen,P.Klint, 1997. - 17 p. - Текст : непосредственный. Показать все результаты Multi-authority secret-ballot elections with linear work / R. J.F. Cramer, M. Franklin, L. A.M. Schoenmakers, M. Yung, 1995. - 12 p. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный. Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный. Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный. Mullender S.J. Amoeba-high-performance distributed computing / S. J. Mullender, G. van Rossum, 1989. - 13 p. - Текст : непосредственный. Herman I. On the projective invariant represintation of conics in computer graphics / I. Herman, 1989. - 18 p. - Текст : непосредственный. Tromp J.T. How to construct an atomic variable / J. T. Tromp, 1989. - 23 p. - Текст : непосредственный. Kuijk A.A.M. Temporal issues of animate response / A. A.M. Kuijk, 1989. - 11 p. - Текст : непосредственный. Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Amoeba - a distributed operating system for the 1990s / S. J. Mullender, G. van Rossum, A. S. Tanenbaum, 1990. - 12 p. - Текст : непосредственный. Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный. Hubl J. Modeling clip: some more results / J. Hubl, I. Herman, 1990. - 9 p. - Текст : непосредственный. Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный. Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный. Groote J.F. A note on n similar parallel processes / J. F. Groote, 1996. - 11 p. - Текст : непосредственный. Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C. T.H. Everaars, F. Arbab, 1996. - 20 p. - Текст : непосредственный. Показать все результаты Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный. Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный. Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный. БорИС.Электронные таблицы.Системы управления базами данных.Языки программирования : Изд.Ассоц.групп пользователей БОРЛАНД (БорАГ). Вып. 10, 1993. - 64 с. - Текст : непосредственный. Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Моррисон М. Создание игр для мобильных телефонов / М. Моррисон, 2006. - 468 с. - Текст : непосредственный. Кашаев С.М. Работа в Excel 2007 / С. М. Кашаев, 2009. - 143 с. - Текст : непосредственный. Минько А.А. Сводные таблицы и диаграммы в Excel / А. А. Минько, 2008. - 208 с. - Текст : непосредственный. Голышева А.В. Word 2007 "без воды. Все, что нужно для уверенной работы" / А. В. Голышева, 2008. - 189 с. - Текст : непосредственный. Пащенко И.Г. Word 2007 / И. Г. Пащенко, 2008. - 463 с. - Текст : непосредственный. Мортиер Р.Ш. Трехмерное моделирование в системе Вryce. Версии 3D и 4 / Р. Ш. Мортиер, 2000. - 430 с. - Текст : непосредственный. Пасько В. Word 97 : методический материал / В. Пасько, 1998. - 431 с. - Текст : непосредственный. Рогожин В.В. Персональная профессиональная ЭВМ "Искра-1030". Редактор текстов Word-Star : методический материал / В. В. Рогожин, 1989. - 49 с. - Текст : непосредственный. Эйткен П. Lotus 1-2-3 for Windows / П. Эйткен, 1996. - 286 c. - Текст : непосредственный. Леонтьев Ю.Г. Office Word, 2003 / Ю. Г. Леонтьев, 2004. - 283 с. - Текст : непосредственный. Попов А.А. Excel: практическое руководство / А. А. Попов, 2004. - 301 с. - Текст : непосредственный. Волков В. Понятный самоучитель работы в Excel / В. Волков, 2003. - 222 с. - Текст : непосредственный. Столяров А.М. Excel 2000 для себя : методический материал / А. М. Столяров, Е. С. Столяров, Е. С. Столярова, 2003. - 335 с. - Текст : непосредственный. Гукин Д. Word 2010 для чайников : методический материал / Д. Гукин, 2011. - 348 с. - Текст : непосредственный. Милютина Е.В. Пользователь ПК : монография / Е. В. Милютина, Л. П. Андреева, Л. А. Скворцова, 2004. - 351 с. - Текст : непосредственный. Показать все результаты Klint P. meta-environment for generating programming environments / P. Klint, 1990. - 22 p. - Текст : непосредственный. Klint P. Lazy scanner generation for modular regular grammars / P. Klint, 1991. - 18 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Чапоров А.М. Системное сопровождение ОС РВ. Генерация системы ОС РВ : Учеб.-метод. разраб. / А.М.Чапоров, 1988. - 63 с. - Текст : непосредственный. Watts R. Application generators using fourth-generation languages / R. Watts, 1987. - 133 p. - Текст : непосредственный. Herter T. Sprache zur Generierung von Ger@:atetreibern : Diss. / T.Herter, 1989. - Pag.var. - Текст : непосредственный. Heering J. Lazy and incremental program generation : Rev.version / J.Heering,P.Klint,J.Rekers, 1991. - 12 p. - Текст : непосредственный. Романов Г.В. Генератор меню на рекурсивных структурах данных / Г.В.Романов, 1990. - 55 с. - Текст : непосредственный. Brand M.G.van den Pretty-printing within the ASF+SDF Meta-Environment: a generic approach / M.G.van den Brand,M.de Jonge, 1999. - 18 p. - Текст : непосредственный. Reps T.W. synthesizer generator : A system for constructing language-based editors / T.W.Reps,T.Teitelbaum, 1989. - XIII,317 p. p. - Текст : непосредственный. Reps T.W. synthesizer generator reference manual / T.W.Reps,T.Teitelbaum, 1989. - XI,171 p. p. - Текст : непосредственный. Klint P. meta-environment for generating programming environments / P. Klint, 1990. - 22 p. - Текст : непосредственный. Klint P. Lazy scanner generation for modular regular grammars / P. Klint, 1991. - 18 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Феоктистов А.Г. Графическая инструментальная среда для визуального построения и применения пакетов программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / А. Г. Феоктистов, 2000. - 17 с. - Текст : непосредственный. Чапоров А.М. Системное сопровождение ОС РВ. Генерация системы ОС РВ : Учеб.-метод. разраб. / А.М.Чапоров, 1988. - 63 с. - Текст : непосредственный. Watts R. Application generators using fourth-generation languages / R. Watts, 1987. - 133 p. - Текст : непосредственный. Herter T. Sprache zur Generierung von Ger@:atetreibern : Diss. / T.Herter, 1989. - Pag.var. - Текст : непосредственный. Heering J. Lazy and incremental program generation : Rev.version / J.Heering,P.Klint,J.Rekers, 1991. - 12 p. - Текст : непосредственный. Рагозин А.С. Генерация и исполнение программ по спецификациям на языке SDL : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / А. С. Рагозин, 1999. - 21 с. - Текст : непосредственный. Романов Г.В. Генератор меню на рекурсивных структурах данных / Г.В.Романов, 1990. - 55 с. - Текст : непосредственный. Brand M.G.van den Pretty-printing within the ASF+SDF Meta-Environment: a generic approach / M.G.van den Brand,M.de Jonge, 1999. - 18 p. - Текст : непосредственный. Reps T.W. synthesizer generator : A system for constructing language-based editors / T.W.Reps,T.Teitelbaum, 1989. - XIII,317 p. p. - Текст : непосредственный. Reps T.W. synthesizer generator reference manual / T.W.Reps,T.Teitelbaum, 1989. - XI,171 p. p. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
