Приложение
для AndroidПолное описание
Кораблин, Ю. П. Семантические методы анализа распределенных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей", 05.13.13 "" : автореферат диссертации на соискание ученой степени д-ра техн. наук / Ю. П. Кораблин. - М., 1994. - 40 с. - Текст : непосредственный.
В надзаг.: Моск. энерг. ин-т (Техн. ун-т). Библиогр.:с.38-40 (27 назв.)
| ГРНТИ | УДК | |
| 50.39.29 | 004.75(043) |
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР94-5658)
Шифр в сводном ЭК: 0eee82f7ff30a1829c96c882b70dcae1
Кораблин Ю.П. Семантика языков программирования / Ю. П. Кораблин, 1992. - 100 с. - Текст : непосредственный.Кораблин Ю.П. Семантика языков распределенного программирования / Ю. П. Кораблин, 1996. - 102 c. - Текст : непосредственный.Кораблин Ю.П. Семантические методы анализа распределенных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей", 05.13.13 "" : автореферат диссертации на соискание ученой степени д-ра техн. наук / Ю. П. Кораблин, 1994. - 40 с. - Текст : непосредственный.
Кораблин Ю.П. Алгоритмы обработки цифровой информации для реализации на ПЛИС / Ю. П. Кораблин, Н. Л. Куликова, Е. В. Чумакова, 2009. - 40 с. - Текст : непосредственный.Набебин А.А. Математическая логика и теория алгоритмов : Учеб. пособие / А. А. Набебин, Ю. П. Кораблин, 2008. - 343 с. - Текст : непосредственный.Кораблин Ю.П. Семантические методы анализа программ : учебное пособие по курсу "Семантика языков программирования" для студентов, обучающихся по направлению 01.03.02 "Прикладная математика и информатика" / Ю. П. Кораблин, 2019. - 67 с. - Текст : непосредственный.Научно-техническая информация. Серия 2, Информационные процессы и системы. - Журнал, 2012г. № 5.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Коваленко В.Н. Комплексное программное обеспечение грида вычислительного типа / В. Н. Коваленко, 2007. - 39 с. - Текст : непосредственный.Морозов И. А. Математическое и программное обеспечение диспетчеризации беспроводных распределенных компьютерных систем / И. А. Морозов, 2007. - 20 с. - Текст : непосредственный.Lecture notes in electrical engineering. Vol. 34 : Designing reliable and efficient networks on chips / S. Murali, 2009. - X, 198 p. - Текст : непосредственный.Поленов М.Ю. Разработка инструментальных средств проектирования, исследования и оптимизации проблемно-ориентированных вычислительных систем : специальность 05.13.13 "", 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / М. Ю. Поленов, 1995. - 16 с. - Текст : непосредственный.Труды Института системного анализа Российской академии наук. Т. 14 : Проблемы вычислений в распределенной среде. Модели обработки и представления данных. Динамические системы : сб. статей / Под ед. С.В. Емельянова, А.П. Афанасьева, 2005. - 222 с. - Текст : непосредственный.Поляков А.Ю. Разработка и исследование средств отказоустойчивости распределенных вычислительных систем / А. Ю. Поляков, 2010. - 19 с. - Текст : непосредственный.Захаров В.Н. Программные методы и средства обеспечения отказоустойчивости в распределенных системах : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени д-ра техн. наук / В. Н. Захаров, 2011. - 41 с. - Текст : непосредственный.Чернова Т.А. Научные основы информационного обеспечения сложных объектов при оптимизации режимов их функционирования в распределенной вычислительной среде : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени д-ра техн. наук / Т. А. Чернова, 2011. - 26 с. - Текст : непосредственный.Черемисинов Д.И. Формальные методы описания поведения распределенных систем / Д. И. Черемисинов, 1991. - 44 с. - Текст : непосредственный.Арестова О.Н. Специфика психологических методов в условиях использования компьютера / О. Н. Арестова, Л. Н. Бабанин, А. Е. Войскунский, 1995. - 109 c. - Текст : непосредственный.Фролов А.В. Локальные сети персональных компьютеров / А. В. Фролов, Г. В. Фролов, 1995. - 169 c. - Текст : непосредственный.Фролов А.В. Локальные сети персональных компьютеров / А. В. Фролов, Г. В. Фролов, 1995. - 160 c. - Текст : непосредственный.Фролов А.В. Локальные сети персональных компьютеров : методический материал / А. В. Фролов, Г. В. Фролов, 1995. - 168 c. - Текст : непосредственный.Погребной В.К. Автоматизированное проектирование распределенных систем реального времени : выставочные материалы / В. К. Погребной, 2011. - 311 с. - Текст : непосредственный.Fifth generation computer systems:Success or failure? : материалы временных коллективов / Ed. R. P. Van de Riet, 1993. - 79-162 p. p. - Текст : непосредственный.Крюков Ю.А. Разработка проблемно-ориентированной многоцелевой сети распределенных вычислений масштаба малого города : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / Ю. А. Крюков, 2004. - 22 с. - Текст : непосредственный.Designing embedded processors / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Локальные сети и микропроцессорные системы / А. К. Баумс, У. Я. Грунде, П. А. Тисс, 1991. - 246 с. - Текст : непосредственный.Пархоменко С.С. Нейросетевое моделирование и эволюционное планирование процессов в сетях добровольных вычислений / С. С. Пархоменко, 2015. - 20 с. - Текст : непосредственный.
Показать все результатыМорозов И. А. Математическое и программное обеспечение диспетчеризации беспроводных распределенных компьютерных систем / И. А. Морозов, 2007. - 20 с. - Текст : непосредственный.Боченина К.О. Планирование исполнения наборов композитных приложений во временных окнах распределенных облачных сред / К. О. Боченина, 2014. - 18 с. - Текст : непосредственный.Курбанов Я.Э. Разработка алгоритмов и программ для управления процессами решения взаимосвязанных задач в системе распределенной обработки данных : специальность 05.25.05 "Информационные системы и процессы" : автореферат диссертации на соискание ученой степени канд.техн.наук / Я. Э. Курбанов, 1991. - 16 с. - Текст : непосредственный.Пархоменко С.С. Нейросетевое моделирование и эволюционное планирование процессов в сетях добровольных вычислений / С. С. Пархоменко, 2015. - 20 с. - Текст : непосредственный.Литвинов К.А. Модель зоны нагрузки и процедуры распределения потоков сетевой информационной системы на основе ее кибернетической мощности / К. А. Литвинов, 2015. - 16 с. - Текст : непосредственный.Сидоренко В.Г. Исследование и разработка программно-инструментальных средств интерактивного синтеза распределенных информационно-вычислительных сетей : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / В. Г. Сидоренко, 1996. - 16 с. - Текст : непосредственный.Рыбин С.В. Программно-аналитический метод анализа и управления распределением ресурсов вычислительных систем на основе композитных моделей : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. В. Рыбин, 2000. - 16 с. - Текст : непосредственный.Селькин М.В. Методы измерения и оценки временных характеристик алгоритмов (на примере распределенной вычислительной сети) : специальность 05.11.16 "Информационно-измерительные и управляющие системы (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / М. В. Селькин, 2000. - 19 с. - Текст : непосредственный.Скородумов Ю.М. Назначение и планирование заданий в распределенных системах реального времени / Ю. М. Скородумов, 2016. - 17 с. - Текст : непосредственный.Мамойленко С.Н. Организация функционирования распределенных вычислительных систем в мультизадачных режимах : специальность 05.13.15 "Вычислительные машины, комплексы и компьютерные сети" : диссертация на соискание ученой степени д-ра техн. наук / С. Н. Мамойленко, 2012. - 35 с. - Текст : непосредственный.Крестьянинов В.Б. Оптимизация структуры процессов распределенных систем обработки информации : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / В. Б. Крестьянинов, 2006. - 18 с. - Текст : непосредственный.Шамардин Л.В. Принципы построения грида с использованием RESTful-веб-сервисов / Л. В. Шамардин, 2011. - 16 с. - Текст : непосредственный.Шаповалов Т.С. Планирование выполнения заданий в распределенных вычислительных системах с применением генетических алгоритмов / Т. С. Шаповалов, 2011. - 18 с. - Текст : непосредственный.Кораблин Ю.П. Семантические методы анализа распределенных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей", 05.13.13 "" : автореферат диссертации на соискание ученой степени д-ра техн. наук / Ю. П. Кораблин, 1994. - 40 с. - Текст : непосредственный.Ластовецкий А.Л. Язык и система параллельного программирования для разработки программ, эффективно переносимых в классе распределенных вычислительных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / А. Л. Ластовецкий, 1997. - 32 с. - Текст : непосредственный.Нгуен Нгок Тхуан.Развитие методов анализа сетей Петри для распределенных систем : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд. физ.-мат.наук / Нгуен Нгок Тхуан, 1997. - 22 с. - Текст : непосредственный.Данилов И.Г. Метод и средства бесконфликтного доступа многопоточных приложений к распределенной памяти кластерных МВС / И. Г. Данилов, 2014. - 18 с. - Текст : непосредственный.Смирнов П.А. Проектирование и разработка предметно-ориентированных композитных приложений в распределенных облачных средах на основе виртуальных моделирующих объектов / П. А. Смирнов, 2014. - 18 с. - Текст : непосредственный.Анисимов Д.В. Модель и алгоритмы управления параметрами канального уровня беспроводных сетей стандарта IEEE 802.11, функционирующих в составе распределенных систем / Д. В. Анисимов, 2016. - 19 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽