Приложение
для AndroidПолное описание
Соловьев, В. Д. Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.17 / В. Д. Соловьев. - М., 1995. - 23 с. - Текст : непосредственный.
Библиогр.: с.19-23
| ГРНТИ | УДК | |
| 28.25 | 519.716(043) |
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР95-5411)
Шифр в сводном ЭК: c4fcea4d587b19761276b503fc56c37b
Онтологии и тезаурусы: модели, инструменты, приложения : учебное пособие / Б. В. Добров, В. В. Иванов, Н. В. Лукашевич, В. Д. Соловьев, 2009. - 172 с. - Текст : непосредственный.Соловьев В.Д. Детали машин и подъемно-транспортное оборудование : Учеб. пособие / В.Д.Соловьев, 1994. - 60 c. - Текст : непосредственный.Грузоподъемные машины. Атлас конструкций : учеб.-ил. пособие / В. А. Голутвин [и др.]; под ред. В. Ф. Ковальского, 2016. - 12 с., 112 л. - Текст : непосредственный.Компьютерная лингвистика : Материалы шк.-семинара (Казань, 20-24 окт. 1999 г.) / Ред. В. Д. Соловьев, 1999. - 191 с. - Текст : непосредственный.Соловьев В.Д. Абстрактная теория вычислимости: программистский подход / В.Д.Соловьев, 1993. - 123 c. - Текст : непосредственный.Поляков В.Н. Компьютерные модели и методы в типологии и компаративистике / В. Н. Поляков, В. Д. Соловьев, 2006. - 207 с. - Текст : непосредственный.Соловьев В.Д. Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.17 / В. Д. Соловьев, 1995. - 23 с. - Текст : непосредственный.Современные информационные технологии и письменное наследие: от древних текстов к электронным библиотекам : материалы Международ. науч. конф., Казань, 26-30 авг. 2008 г. / Отв. ред.: В. Д. Соловьев, В. А. Баранов, 2008. - 275 с. - Текст : непосредственный.Методы анализа семантических данных математических электронных коллекций / Е. В. Биряльцев, А. М. Елизаров, Н. Г. Жильцов [и др.]. - Текст : непосредственный // НТИ. Сер. 2, Информ. процессы и системы. - М. - 2014. - № 4. - с. 12--17
Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный.Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А. А. Шалыто, 1998. - 626 с. - Текст : непосредственный.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. - Текст : непосредственный.Илясов С.А. Распознавание некоторых свойств автоматных алгебр : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / С. А. Илясов, 2006. - 9 с. - Текст : непосредственный.Encyclopedia of algorithms / Ed. M.-Y. Kao, 2008. - LIII, 1166 p. - Текст : электронный.Language and automata theory and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Пономарева А.Ю. Проблемы оптимизации обобщенных конечно-автоматных моделей с периодически меняющейся структурой : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Ю. Пономарева, 1999. - 16 с. - Текст : непосредственный.Труды Института системного программирования. Т. 12 : Методы синтеза и анализа алгоритмов, 2006. - 122 с. - Текст : непосредственный.Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный.Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный.Кучеренко И.В. Обратимые клеточные автоматы / И. В. Кучеренко, 2012. - 20 с. - Текст : непосредственный.Вашкевич Н.П. Недетерминированные автоматы и их использование для синтеза систем управления : Учеб. пособие. Ч. 1 : Эквивалентные преобразования недетерминированных автоматов, 1996. - 87 с. - Текст : непосредственный.Воеводин, Валентин Васильевич. Информационная структура алгоритмов / В. В. Воеводин, 1997. - 139 с. - Текст : непосредственный.Кирнос В.Н. Информатика II. Основы алгоритмизации и программирования на языке C++ : методический материал / В. Н. Кирнос, 2013. - 158 с. - Текст : непосредственный.Ульянов М.В. Классификация и методы сравнительного анализа вычислительных алгоритмов / М. В. Ульянов, 2004. - 211 с. - Текст : непосредственный.Рахманова И.О. Информатика: основы алгоритмизации и программирования : учебное пособие / И. О. Рахманова, 2007. - 116 с. - Текст : непосредственный.Основы алгоритмизации и программирования : выставочные материалы / Хакасский гос. ун-т им. Н. Ф. Катанова (Абакан), 2014. - 113 с. - Текст : непосредственный.Стащук П.В. Архитектура ЭВМ уровня цифровых автоматов : выставочные материалы / П. В. Стащук, 2016. - 138 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽