Полное описание
Fokkink, W. J.
ГРНТИ УДК 50.33.04 004.42.032.24
Рубрики: Программирование для ЭВМ параллельное
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9231)
Шифр в сводном ЭК: 1e5ea5ddcecfd5618ab53c27531b4dbc
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. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Bonini C. A reference model for teleconferencing systems / C.Bonini,W.J.Fokkink,A.Lesch, 1995. - 18 p. - Текст : непосредственный. 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. - Текст : непосредственный. Показать все результаты Водомеров А.Н. Методы и средства автоматизированного распараллеливания приложений в распределенной среде : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. Н. Водомеров, 2007. - 23 с. - Текст : непосредственный. Ломазова И.А. Вложенные сети Петри : монография / И. А. Ломазова, 2004. - 207 с. - Текст : непосредственный. Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Languages and compilers for parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Petri net performance models : материалы временных коллективов / Ed. G. Juanole, 1994. - 505-544 p. p. - Текст : непосредственный. Оуграбко А.В. Основы GRID-вычислений : учебное пособие / А. В. Оуграбко, 2009. - 91 с. - Текст : непосредственный. Тарасов А.М. Математическое моделирование, сети Петри и их использование при описании функционирования нейронных сетей в ЭВМ, робототехники : препринт / А. М. Тарасов, В. В. Подлубный, 1995. - 21 c. - Текст : непосредственный. Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный. Instrumentation for future parallel computing systems / Ed. M. Simmons, 1989. - 260 p. - Текст : непосредственный. Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный. Соболь В.М. Элементы теории вычислительных процессов : учебное пособие / В. М. Соболь, 2009. - 116 с. - Текст : непосредственный. Software engineering, artificial intelligence, networking and parallel/distributed computing / R. Lee ; ed. R. Lee, 2008 r=on-line. - Текст : электронный. Мараховский В.Б. Параллельные процессы в дискретных системах. Спецификация. Анализ. Поведение : выставочные материалы / В. Б. Мараховский, Л. Я. Розенблюм, А. В. Яковлев, 2011. - 378 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Введение в параллельные вычисления. Основы программирования на языке Си с использованием интерфейса MPI / А. М. Сальников, Е. А. Ярошенко, О. С. Гребенник, С. В. Спиридонов, 2010. - 123 с. - Текст : непосредственный. Игнатьев В.М. Сети Петри - Маркова / В. М. Игнатьев, Е. В. Ларкин, 1997. - 163 с. - Текст : непосредственный. Parallele Datenverarbeitung mit dem Transputer : сборник научных трудов / Hrsg.: R. Grebe, C. Ziemann, 1991. - 300 p. - Текст : непосредственный. Advances in Petri nets 1990 : материалы временных коллективов / Ed. G. Rozenberg, 1991. - 515 p. - Текст : непосредственный. Показать все результаты Конструирование и оптимизация параллельных программ / Институт систем информатики им. А. П. Ершова (Новосибирск), 2008. - 332 с. - Текст : непосредственный. Параллельное программирование на OpenMPI Java с приложениями в Math Partner : учеб. пособие : в 2 ч. / Г. И. Малашонок [и др.] ; Тамбов. гос. ун-т им. Г. Р. Державина. Ч. 2, 2016. - 77 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. C-DVM - язык разработки мобильных параллельных программ / Н. А. Коновалов, В. А. Крюков, А. А. Погребцов, Ю. Л. Сазанов, 1997. - 37 с. - Текст : непосредственный. Boer F.S.de Embedding as a tool for language comparison / F. S.de Boer, C. Palamidessi, 1991. - 20 p. - Текст : непосредственный. Мирзеабасов О.А. Программирование для вычислительных кластеров : учебное пособие / О. А. Мирзеабасов, 2007. - 79 с. - Текст : непосредственный. Лупин С.А. Технологии параллельного программирования : учебное пособие / С. А. Лупин, М. А. Посыпкин, 2008. - 205 с. - Текст : непосредственный. Kuchen H. Parallele Implementierung einer funktionalen Programmiersprache auf einem OCCAM-Transputer-System unter besonderer Berucksichtigung applikativer Datenstrukturen / H. Kuchen, 1989. - 252 S. - Текст : непосредственный. Эндрюс Г.Р. Основы многопоточного, параллельного и распределенного программирования : монография / Г. Р. Эндрюс, 2003. - 505 с. - Текст : непосредственный. Жуков Л.А. Параллельное программирование / Л. А. Жуков, 2004. - 115 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Мирошниченко Е.А. Технология проектирования параллельного и распределенного программного обеспечения с использованием PS-сетей : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. техн. наук / Е. А. Мирошниченко, 1997. - 19 с. - Текст : непосредственный. Конструирование и оптимизация параллельных программ / Институт систем информатики им. А. П. Ершова (Новосибирск), 2008. - 332 с. - Текст : непосредственный. Борзунов С.В. Практикум по параллельному программированию : выставочные материалы / С. В. Борзунов, С. Д. Кургалин, М. В. Куцов, 2016. - 78 с. - Текст : непосредственный. Параллельное программирование на OpenMPI Java с приложениями в Math Partner : учеб. пособие : в 2 ч. / Г. И. Малашонок [и др.] ; Тамбов. гос. ун-т им. Г. Р. Державина. Ч. 2, 2016. - 77 с. - Текст : непосредственный. Андреев Н.Е. Исследование и реализация эффективных методов анализа производительности параллельных программ / Н. Е. Андреев, 2011. - 18 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. C-DVM - язык разработки мобильных параллельных программ / Н. А. Коновалов, В. А. Крюков, А. А. Погребцов, Ю. Л. Сазанов, 1997. - 37 с. - Текст : непосредственный. Boer F.S.de Embedding as a tool for language comparison / F. S.de Boer, C. Palamidessi, 1991. - 20 p. - Текст : непосредственный. Мирзеабасов О.А. Программирование для вычислительных кластеров : учебное пособие / О. А. Мирзеабасов, 2007. - 79 с. - Текст : непосредственный. Лупин С.А. Технологии параллельного программирования : учебное пособие / С. А. Лупин, М. А. Посыпкин, 2008. - 205 с. - Текст : непосредственный. Kuchen H. Parallele Implementierung einer funktionalen Programmiersprache auf einem OCCAM-Transputer-System unter besonderer Berucksichtigung applikativer Datenstrukturen / H. Kuchen, 1989. - 252 S. - Текст : непосредственный. Ластовецкий А.Л. Язык и система параллельного программирования для разработки программ, эффективно переносимых в классе распределенных вычислительных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / А. Л. Ластовецкий, 1997. - 32 с. - Текст : непосредственный. Жуков Л.А. Параллельное программирование / Л. А. Жуков, 2004. - 115 с. - Текст : непосредственный. Воронов В.Ю. Методы разработки параллельных программ на основе машинного обучения / В. Ю. Воронов, 2009. - 16 с. - Текст : непосредственный. Shared memory parallel programming with openMP / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Шматок А.В. Методы и инструментальные средства разработки масштабируемых параллельных программ для многопроцессорных систем со структурно-процедурной организацией вычислений : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. В. Шматок, 2004. - 18 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
