Полное описание
Андреева, М. В.
ГРНТИ УДК 50.33.03 004.272.2(04)
Рубрики: Параллельные вычисления
Кл.слова (ненормированные): ПАРАЛЛЕЛЬНОЕ ВЫЧИСЛЕНИЕ -- ПАРАЛЛЕЛЬНОЕ ВЫЧИСЛЕНИЕ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/49881/77(2000))
Шифр в сводном ЭК: 9519c64a28ff5357a39786f5a3c932a2
Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Андреева М.В. Действие налогового законодательства во времени : автореф. дис. .. канд. юрид. наук: 12.00.14 / М. В. Андреева, 2004. - 25 с. - Текст : непосредственный. Управление экономическим развитием муниципальных образований : учебное пособие / В. В. Приятелев [и др.], 2018. - 172 с. - Текст : непосредственный. Андреева М.В. Формирование организационно-экономического механизма управления внешнеэкономическим потенциалом самолетостроительных предприятий : автореф. дис. .. канд. экон. наук: 08.00.05 / М. В. Андреева, 2009. - 22 с. - Текст : непосредственный. Особенности налогообложения при реализации потребительских товаров / М. В. Андреева [и др.]; под ред. С. Г. Пепеляева, 2010. - 262 с. - Текст : непосредственный. Бородин, Владимир Васильевич. Скандинавская ходьба : Учебно-методическое пособие / Бородин В. В., 2018. - 52 с. - Текст : электронный. Кудинова Л.И. Поверхностно-активные вещества и их влияние на окружающую среду / Л.И. Кудинова, М.В. Андреева // Экология Центрально-Черноземной области Российской Федерации. - Липецк. - 2011. - № 1. - с. 5-9 Вестник Библиотечной Ассамблеи Евразии. - Журнал, 2018г. № 4. - Текст : непосредственный. Библиография и книговедение. - Журнал, 2019г. № 2. - Текст : непосредственный. Андреева М. В. "Летающая библиотека" : совместный проект научной библиотеки и авиакомпании / М. В. Андреева, С. И. Бойтунова. - Текст : непосредственный // Библиография и книговедение : научный журнал по библиографоведению и книговедению / Рос. кн. палата, фил. ИТАР-ТАСС. - М. : ИТАР-ТАСС, 2019. - N 2. - с. 142-146 Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный. Тумуров Э.Г. Технология спецификации коммуникационных протоколов / Э. Г. Тумуров, 2007. - 22 с. - Текст : непосредственный. Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Городняя Л.В. Банк улучшаемых компонентов информационных систем / Л. В. Городняя, 2005. - 40 с. - Текст : непосредственный. Цаценко Н.Н. Технологии работы с данными в интероперабельных средах CORBA, RMI, EJB / Н. Н. Цаценко, 2002. - 36 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Замулин А.В. Algebraic specification language Ruslan 99 / А. В. Замулин, 1999. - 34 p. - Текст : непосредственный. Боженкова Е.Н. Исследование разрешимости временных тестовых эквивалентностей / Е. Н. Боженкова, 1999. - 31 с. - Текст : непосредственный. Евстигнеев В.А. Анализ циклов: выбор кандидатов на распараллеливание / В. А. Евстигнеев, И. Л. Мирзуитова, 1999. - 48 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Гливенко Е.В. Параллельный процессор первичной обработки информации / Е. В. Гливенко, 1992. - 105 с. - Текст : непосредственный. Green S. Parallel processing for computer graphics / S. Green, 1991. - 233 p. - Текст : непосредственный. Tutorial : материалы временных коллективов / Ред.Compl. D. D. Gajski, 1987. - IX,593 p. p. - Текст : непосредственный. Patterson D. A. Computer organization and design. The hardware/ Software interface / D. A. Patterson, J. L. Hennessy, 2012. - XXV, 703 pag. var. p. - Текст : непосредственный. Фрумкин М.А. Систолические вычисления / М. А. Фрумкин ; ред. Ю. Г. Дадаев, 1990. - 191 c. - Текст : непосредственный. Захарова Ю. Ф. Архитектура ЭВМ : Учеб. пособие. Ч. 2,3, 2007. - 112 с. - Текст : непосредственный. Жмакин А.П. Архитектура ЭВМ : учебное пособие / А. П. Жмакин, 2010. - 344 с. - Текст : непосредственный. Digital image processing: techniques and applications, 1994. - XI,386 p. p. - Текст : непосредственный. Мищенко В.К. Архитектура высокопроизводительных вычислительных систем : учеб. пособие. Ч. 1, 2013. - 39 с. - Текст : непосредственный. MeikUS 92 : материалы временных коллективов / Ed.: A. Grant, P. Dew, 1993. - 78 p. - Текст : непосредственный. Таненбаум Э. Архитектура компьютера / Э. Таненбаум, Т. Остин ; Пер. Е. Матвеев, 2015. - 811 с. - Текст : непосредственный. Коуги П.М. Архитектура конвейерных ЭВМ / П. М. Коуги ; Пер. Ф. В. Широков ; Ред. Б. А. Головкин, 1985. - 356 с. - Текст : непосредственный. Стащук П.В. Архитектура ЭВМ уровня цифровых автоматов : выставочные материалы / П. В. Стащук, 2016. - 138 с. - Текст : непосредственный. Левин И.И. Методы и программно-аппаратные средства параллельных структурно-процедурных вычислений : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей", 05.13.15 "Вычислительные машины, комплексы и компьютерные сети" : диссертация на соискание ученой степени д-ра техн. наук / И. И. Левин, 2004. - 38 с. - Текст : непосредственный. IBM Systems Journal / IBM. - Журнал выходит с 1962г. - Текст : непосредственный. Ячейка однородной вычислительной среды с потоком команд : методический материал / "Интеграл", науч.-технический центр по высокопроизводительным вычислительным системам (Львов), 1989. - 29 с. - Текст : непосредственный. Архитектура ЭВМ и организация вычислительных процессов : сборник / Ред. С. В. Емельянов, 1991. - 135 с. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный. Седухин С.Г. Проектирование оптимальных систолических систем для произведения матриц различной структуры / С. Г. Седухин, Г. З. Карапетян, 1990. - 44 с. - Текст : непосредственный. Показать все результаты Green S. Parallel processing for computer graphics / S. Green, 1991. - 233 p. - Текст : непосредственный. Фрумкин М.А. Систолические вычисления / М. А. Фрумкин ; ред. Ю. Г. Дадаев, 1990. - 191 c. - Текст : непосредственный. Оуграбко А.В. Основы GRID-вычислений : учебное пособие / А. В. Оуграбко, 2009. - 91 с. - Текст : непосредственный. Ячейка однородной вычислительной среды с потоком команд : методический материал / "Интеграл", науч.-технический центр по высокопроизводительным вычислительным системам (Львов), 1989. - 29 с. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 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. - Текст : непосредственный. Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный. Соболь В.М. Элементы теории вычислительных процессов : учебное пособие / В. М. Соболь, 2009. - 116 с. - Текст : непосредственный. Ачасова С.М. Корректность параллельных вычислительных процессов / С. М. Ачасова, О. Л. Бандман ; Ред. Н. Н. Миренков, 1990. - 252 с. - Текст : непосредственный. Software engineering, artificial intelligence, networking and parallel/distributed computing / R. Lee ; ed. R. Lee, 2008 r=on-line. - Текст : электронный. Мараховский В.Б. Параллельные процессы в дискретных системах. Спецификация. Анализ. Поведение : выставочные материалы / В. Б. Мараховский, Л. Я. Розенблюм, А. В. Яковлев, 2011. - 378 с. - Текст : непосредственный. Schmitz H. Vergleichende Untersuchung von synchronen und asynchronen Algorithmen und deren Implementierung auf CRAY-Mehrprozessorsystemen / H. Schmitz, 1991. - 83 S. - Текст : непосредственный. Parallelisierung komplexer Probleme : материал технической информации / Сост.Hrsg. W. Meuer, 1991. - 204 S. - Текст : непосредственный. Кузнецов С.В. Проектирование универсальных и специализированных параллельных вычислителей / С. В. Кузнецов, 1995. - 63 c. - Текст : непосредственный. 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. - Текст : непосредственный. Everaars C.T.H. Restructuring sequential Fortran code into a parallel/distributed application / C. T.H. Everaars, F. Arbab, F. J. Burger, 1996. - 14 p. - Текст : непосредственный. Введение в параллельные вычисления. Основы программирования на языке Си с использованием интерфейса MPI / А. М. Сальников, Е. А. Ярошенко, О. С. Гребенник, С. В. Спиридонов, 2010. - 123 с. - Текст : непосредственный. Показать все результаты Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Боженкова Е.Н. Исследование разрешимости временных тестовых эквивалентностей / Е. Н. Боженкова, 1999. - 31 с. - Текст : непосредственный. Евстигнеев В.А. Анализ циклов: выбор кандидатов на распараллеливание / В. А. Евстигнеев, И. Л. Мирзуитова, 1999. - 48 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Ковтушенко А.П. Модель зависимости по данным в программном конвейере / А.П.Ковтушенко, 1992. - 43 с. - Текст : непосредственный. Важенин А.П. Параллельные алгоритмы умножения матриц с многоразрядными элементами / А.П.Важенин,А.Э.Вартазарян, 1992. - 32 с. - Текст : непосредственный. Бандман О.Л. Оптическая реализация алгоритмов параллельных подстановок / О.Л.Бандман,С.В.Пискунов, 1992. - 48 с. - Текст : непосредственный. Забродин А.В. Параллельные вычислительные технологии. Состояние и перспективы / А.В.Забродин, 1999. - 20 с. - Текст : непосредственный. Мурзина В.Ф. The polymodal logic based on A-spaces / В.Ф.Мурзина, 2000. - 14 p. - Текст : непосредственный. Андреев В.В. Анализ программ для построения параллельных алгоритмов / В. В. Андреев, 2009. - 45 с. - Текст : непосредственный. Боженкова Е.Н. Исследование эквивалентностных отношений структур событий с дискретным временем / Е.Н.Боженкова, 2000. - 28 с. - Текст : непосредственный. Степанов А.М. Параллельные вычисления на ассоциативных сетях / А.М.Степанов, 1991. - 82 с. - Текст : непосредственный. Ачасова С.М. Вычисления на нейронных сетях / С.М.Ачасова, 1990. - 50 с. - Текст : непосредственный. Жуковский М.Е. О применении графических процессоров видеоускорителей в прикладных задачах : Ч. 1. Обзор технологии / М. Е. Жуковский, Р. В. Усков, 2010. - 23 с. - Текст : непосредственный. Боженкова Е.Н. Исследование тестовых отношений для временных структур событий / Е.Н. Боженкова, 2005. - 35 с. - Текст : непосредственный. Реализация параллельного алгоритма решения задач оптимизационного анализа / С. В. Андреев [и др.], 2014. - 11 с. - Текст : непосредственный. Устименко А.П. Алгебра параллельных недетерминированных процессов: денотационная и операционная семантики / А.П.Устименко,Л.А.Черкасова, 1990. - 38 с. - Текст : непосредственный. Прихожий А.А. Синтез системы систолических вычислителей / А.А.Прихожий,В.Г.Брич, 1991. - 23 c. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
