Полное описание
| Лицевая сторона карточки | Обратная сторона карточки |
Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 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 с. - Текст : непосредственный.
Показать все результатыБылинович А.П. Методы повышения качества программных средств на основе мультихромосомной генетической модели : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. П. Былинович, 1998. - 23 с. - Текст : непосредственный.Reissenberger W. CDL-eine Logik fur unendliche nebenlaufige Systeme / W. Reissenberger, 1998. - 114 S. - Текст : непосредственный.Поляков С.Д. Разработка нормативно-методического и информационного обеспечения процесса сертификации программной продукции : специальность 05.02.23 "Стандартизация и управление качеством продукции" : диссертация на соискание ученой степени канд. техн. наук / С. Д. Поляков, 2007. - 22 с. - Текст : непосредственный.Селькин М.В. Методы измерения и оценки временных характеристик алгоритмов (на примере распределенной вычислительной сети) : специальность 05.11.16 "Информационно-измерительные и управляющие системы (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / М. В. Селькин, 2000. - 19 с. - Текст : непосредственный.Тихомиров В.А. Анализ взаимовлияний при интеграции новой функциональности в существующую систему средствами верификации и тестирования : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / В. А. Тихомиров, 2009. - 19 с. - Текст : непосредственный.Кузьмин Е.В. Алгоритмические свойства формальных моделей параллельных и распределенных систем : специальность 05.13.17 "Теоретические основы информатики" : диссертация на соискание ученой степени д-ра физ.-мат. наук / Е. В. Кузьмин, 2011. - 43 с. - Текст : непосредственный.Суркова А.С. Концептуальный анализ, принципы моделирования и оптимизация алгоритмов синтеза текстовых структур / А. С. Суркова, 2017. - 39 с. - Текст : непосредственный.Мордань В.О. Методы верификации программ на основе композиции задач достижимости / В. О. Мордань, 2017. - 26 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Заказ фрагмента документа ₽