Полное описание
Fokkink, W. J.
ГРНТИ УДК 50.05.13 004.422.8'41
Рубрики: Программы для ЭВМ -- Трансляция
Доп. точки доступа: Glabbeek, R.J.van
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9508)
Шифр в сводном ЭК: d341a2600ee808ebc2c37b8a48fe4de4
Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный. Fokkink W.J. simple specification language combining processes,time and data / W. J. Fokkink, 1992. - 28 p. - Текст : непосредственный. Fokkink W.J. Idempotent most general unifiers for infinite sets / W. J. Fokkink, 1994. - 7 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Glabbeek R.J.van The difference between splitting in n and n+1 / R.J.van Glabbeek,F.Vaandrager, 1995. - 27 p. - Текст : непосредственный. Reactive, generative and stratified models of probabilistic processes / R.J.van Glabbeek,S.A.Smolka,B.Steffen,C.M.N.Tofts, 1990. - 12 p. - Текст : непосредственный. Bonini C. A reference model for teleconferencing systems / C.Bonini,W.J.Fokkink,A.Lesch, 1995. - 18 p. - Текст : непосредственный. Glabbeek R.J.van Branching time and abstraction in bisimulation semantics / R.J.van Glabbeek,W.P.Weijland, 1991. - 52 c. - Текст : непосредственный. Report: Software engineering / Centrum voor wiskunde en informatica(Amsterdam). SEN-R0229 : Cones and foci for protocol verification revisited / W.J.Fokkink,J.Pang, 2002. - 17 p. - Текст : непосредственный. Fokkink W.J. An effective axiomatization for real time ACP / W.J.Fokkink,A.S.Klusener, 1995. - 26 p. - Текст : непосредственный. Fokkink W.J. Regular processes with relative time and silent steps / W.J.Fokkink, 1992. - 21 p. - Текст : непосредственный. Fokkink W.J. Normal forms in real time process algebra / W.J.Fokkink, 1991. - 22 p. - Текст : непосредственный. Fokkink W.J. Real time process algebra with prefixed integration / W.J.Fokkink,A.S.Klusener, 1992. - 44 p. - Текст : непосредственный. Fokkink W.J. A complete equational axiomatisation for prefix iteration / W.J.Fokkink, 1994. - 6 p. - Текст : непосредственный. Fokkink W.J. The tyft/tyxt format reduces to tree rules / W.J.Fokkink, 1993. - 13 p. - Текст : непосредственный. Fokkink W.J. Basis process algebra with iteration:completeness of its equational axioms / W.J.Fokkink,H.Zantema, 1993. - 16 p. - Текст : непосредственный. Fokkink W.J. Ntyft/ ntyxt rules reduce too tree rules / W.J.Fokkink,R.J.van Glabbeek, 1995. - 16 p. - Текст : непосредственный. Fokkink W.J. Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems / W.J.Fokkink,J.F.Kamperman,H.R.Walters, 1997. - 30 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. - Текст : непосредственный. Показать все результаты Оузьер Д. Освой самостоятельно 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. - Текст : электронный. Показать все результаты Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный. Орлова Е.В. О сложности реализации конечных языков регулярными выражениями и схемами : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Орлова, 2000. - 16 с. - Текст : непосредственный. Петрова А.Н. Теория языков программирования и методы трансляции : учеб. пособие. Ч. 1 : Теория, 2013. - 109 с. - Текст : непосредственный. Петухин В.А. Анализ логических программ и компиляция языка Флэнг : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / В. А. Петухин, 1993. - 13 с. - Текст : непосредственный. Оптимизирующая трансляция и конструирование программ / Институт систем информатики им. А. П. Ершова (Новосибирск), 1997. - 166 с. - Текст : непосредственный. Климов Ю.А. Особенности применения метода частичных вычислений к специализации программ на объектно-ориентированных языках / Ю. А. Климов, 2008. - 27 с. - Текст : непосредственный. Климов Ю.А. Возможности специализатора CILPE и примеры его применения к программам на объектно-ориентированных языках / Ю. А. Климов, 2008. - 28 с. - Текст : непосредственный. Климов Ю.А. SOOL: объектно-ориентированный стековый язык для формального описания и реализации методов специализации программ / Ю. А. Климов, 2008. - 32 с. - Текст : непосредственный. Полетаева И.А. Методы трансляции : Конспект лекций для студентов Ш курса ФПМИ. Ч. 1, 1998. - 53 с. - Текст : непосредственный. Фридл Д. Регулярные выражения : монография / Д. Фридл, 2001. - 347 с. - Текст : непосредственный. Молдованова О. В. Языки программирования и методы трансляции : выставочные материалы / О. В. Молдованова, 2012. - 133 с. - Текст : непосредственный. Гантерот К. Оптимизация программ на C++. Проверенные методы для повышения производительности / К. Гантерот ; Пер. И. В. Красиков, 2017. - 390, [10] с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
