Полное описание
> Фоккинк, У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий. - СПб. [и др.] : Питер, 2017. - 269 с. : ил. - (Для профессионалов). - Библиогр.: с. 259-264 (81 назв.). Указ.: с. 265-296. - Пер. изд. : Distributed Algorithms: an Intuitive Approach / W. Fokkink. - 2013. - 1000 экз. - ISBN 978-5-496-02163-0. - Текст : непосредственный. [12+].
ГРНТИ УДК 28.25.23 004.421
Рубрики: Алгоритмы
Доп. точки доступа: Русецкий, К.\пер.\
Fokkink, W.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-17/61055)>
Шифр в сводном ЭК: 7d6fe703f7350c18e45c45cd77856b08
Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный. 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. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Бугаенко Е. Элегантные объекты Java Edition / Е. Бугаенко; [перевел с английского К. Русецкий], 2019. - 221, [2] с. - Текст : непосредственный. 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. - Текст : непосредственный. Fokkink W. Modelling distributed systems / W. Fokkink, 2007 r=on-line Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Encyclopedia of algorithms / Ed. M.-Y. Kao, 2008. - LIII, 1166 p. - Текст : электронный. Труды Института системного программирования. Т. 12 : Методы синтеза и анализа алгоритмов, 2006. - 122 с. - Текст : непосредственный. Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный. Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный. Воеводин, Валентин Васильевич. Информационная структура алгоритмов / В. В. Воеводин, 1997. - 139 с. - Текст : непосредственный. Кирнос В.Н. Информатика II. Основы алгоритмизации и программирования на языке C++ : методический материал / В. Н. Кирнос, 2013. - 158 с. - Текст : непосредственный. Ульянов М.В. Классификация и методы сравнительного анализа вычислительных алгоритмов / М. В. Ульянов, 2004. - 211 с. - Текст : непосредственный. Рахманова И.О. Информатика: основы алгоритмизации и программирования : учебное пособие / И. О. Рахманова, 2007. - 116 с. - Текст : непосредственный. Основы алгоритмизации и программирования : выставочные материалы / Хакасский гос. ун-т им. Н. Ф. Катанова (Абакан), 2014. - 113 с. - Текст : непосредственный. Макконнелл Д. Анализ алгоритмов. Активный обучающий подход : монография / Д. Макконнелл, 2013. - 415 с. - Текст : непосредственный. Семакин И.Г. Основы алгоритмизации и программирования : учебное пособие / И. Г. Семакин, А. П. Шестаков, 2008. - 392 с. - Текст : непосредственный. Давыдов В.Г. Программирование и основы алгоритмизации / В. Г. Давыдов, 2003. - 448 с. - Текст : непосредственный. ACM Transactions on Algorithms / Association for Computing Machinery (New York, NY). - Журнал выходит с 2005г. r=on-line. - Текст : непосредственный. Гагарина Л.Г. Алгоритмы и структуры данных : учебное пособие / Л. Г. Гагарина, В. Д. Колдаев, 2009. - 303 с. - Текст : непосредственный. Математические методы построения и анализа алгоритмов : сборник / Ленинградский ин-т информатики и автоматизации, 1990. - 237 с. - Текст : непосредственный. Морозенко В.В. Самокорректирующиеся алгоритмы для задач сортировки и поиска : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / В. В. Морозенко, 1990. - 8 с. - Текст : непосредственный. Параллельные алгоритмы и программы для ЭВМ с общим управлением : сборник / Институт проблем упр. (Москва), 1991. - 82 с. - Текст : непосредственный. Андреева О.В. Информатика и программирование. Основы алгоритмизации и программирования. : выставочные материалы / О. В. Андреева, 2014. - 234 с. - Текст : непосредственный. Ахо А.В. Структуры данных и алгоритмы : учебное пособие / А. В. Ахо, Д. Э. Хопкрофт, Д. Д. Ульман, 2010. - 391 с. - Текст : непосредственный. Показать все результаты Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов / А. А. Шалыто, 2000. - 780 с. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Труды Института системного программирования. Т. 12 : Методы синтеза и анализа алгоритмов, 2006. - 122 с. - Текст : непосредственный. Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный. Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный. Воеводин, Валентин Васильевич. Информационная структура алгоритмов / В. В. Воеводин, 1997. - 139 с. - Текст : непосредственный. Кирнос В.Н. Информатика II. Основы алгоритмизации и программирования на языке C++ : методический материал / В. Н. Кирнос, 2013. - 158 с. - Текст : непосредственный. Ульянов М.В. Классификация и методы сравнительного анализа вычислительных алгоритмов / М. В. Ульянов, 2004. - 211 с. - Текст : непосредственный. Рахманова И.О. Информатика: основы алгоритмизации и программирования : учебное пособие / И. О. Рахманова, 2007. - 116 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Макконнелл Д. Анализ алгоритмов. Активный обучающий подход : монография / Д. Макконнелл, 2013. - 415 с. - Текст : непосредственный. Давыдов В.Г. Программирование и основы алгоритмизации / В. Г. Давыдов, 2003. - 448 с. - Текст : непосредственный. Волченков С.Г. Методы построения эффективных алгоритмов / С. Г. Волченков, Ю. В. Богомолов, 2004. - 125 с. - Текст : непосредственный. Множества и алгоритмы : выставочные материалы / И. Ю. Харитонова, Н. М. Богословская, Ю. Г. Сергеев, С. И. Вдовин, 2016. - 98 с. - Текст : непосредственный. Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный. Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный. Иванов Б.Н. Дискретная математика. Алгоритмы и программы / Б. Н. Иванов, 2003. - 288 с. - Текст : непосредственный. Показать все результаты Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Гришкин А.С. Генераторы псевдослучайных символов на регистрах сдвига с внутренними сумматорами по модулю при использовании инвесных выходов : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : диссертация на соискание ученой степени канд. техн. наук / А. С. Гришкин, 2006. - 17 с. - Текст : непосредственный. Encyclopedia of algorithms / Ed. M.-Y. Kao, 2008. - LIII, 1166 p. - Текст : электронный. Труды Института системного программирования. Т. 12 : Методы синтеза и анализа алгоритмов, 2006. - 122 с. - Текст : непосредственный. Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный. Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный. Воеводин, Валентин Васильевич. Информационная структура алгоритмов / В. В. Воеводин, 1997. - 139 с. - Текст : непосредственный. Кирнос В.Н. Информатика II. Основы алгоритмизации и программирования на языке C++ : методический материал / В. Н. Кирнос, 2013. - 158 с. - Текст : непосредственный. Ульянов М.В. Классификация и методы сравнительного анализа вычислительных алгоритмов / М. В. Ульянов, 2004. - 211 с. - Текст : непосредственный. Рахманова И.О. Информатика: основы алгоритмизации и программирования : учебное пособие / И. О. Рахманова, 2007. - 116 с. - Текст : непосредственный. Основы алгоритмизации и программирования : выставочные материалы / Хакасский гос. ун-т им. Н. Ф. Катанова (Абакан), 2014. - 113 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Макконнелл Д. Анализ алгоритмов. Активный обучающий подход : монография / Д. Макконнелл, 2013. - 415 с. - Текст : непосредственный. Семакин И.Г. Основы алгоритмизации и программирования : учебное пособие / И. Г. Семакин, А. П. Шестаков, 2008. - 392 с. - Текст : непосредственный. Давыдов В.Г. Программирование и основы алгоритмизации / В. Г. Давыдов, 2003. - 448 с. - Текст : непосредственный. ACM Transactions on Algorithms / Association for Computing Machinery (New York, NY). - Журнал выходит с 2005г. r=on-line. - Текст : непосредственный. Гагарина Л.Г. Алгоритмы и структуры данных : учебное пособие / Л. Г. Гагарина, В. Д. Колдаев, 2009. - 303 с. - Текст : непосредственный. Rodder S. Aufbau und Eigenschaften von Hypercube-Rechnern und Untersuchung von Datentransferalgorithmen / S. Rodder, 1991. - X,166 S. S. - Текст : непосредственный. Математические методы построения и анализа алгоритмов : сборник / Ленинградский ин-т информатики и автоматизации, 1990. - 237 с. - Текст : непосредственный. Параллельные алгоритмы и программы для ЭВМ с общим управлением : сборник / Институт проблем упр. (Москва), 1991. - 82 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽