Электронные ресурсы

Базы данных


Статьи из журналов: 2001-2014 - результаты поиска

Вид поиска
Электронный каталог
Статьи из журналов: 2001-2014
Труды ОмГУ
История ОмГУ
Сводный каталог периодических изданий вузовских библиотек г.Омска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Минского счетчиковые машины<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


    Кузьмин, Е. В.
    Проблемы ограниченности счетчиковых машин Минского [Текст] : текст / Е. В. Кузьмин, В. А. Соколов, Д. Ю. Чалый // Доклады Академии наук. - 2008. - Т. 421, N 6, август. - С. 741-743. - Библиогр.: с. 743 . - ISSN 0869-5652
УДК
^a519.7
ББК 22.18
Рубрики: Математика
   Математическая кибернетика
Кл.слова (ненормированные):
счетчиковые машины Минского -- Минского счетчиковые машины -- ограниченность -- тотальная ограниченность -- счетчиковые машины -- односчетчиковые машины -- двухсчетчиковые машины
Аннотация: Исследуется разрешимость проблем ограниченности и тотальной ограниченности для счетчиковых машин Минского. Рассмотрение машин проводится с точки зрения моделирования и анализа программных систем.


Доп.точки доступа:
Соколов, В. А.; Чалый, Д. Ю.

Найти похожие
2.


    Кузьмин, Е. В.
    Проблемы ограниченности счетчиковых машин Минского [Текст] / Е. В. Кузьмин, В. А. Соколов, Д. Ю. Чалый // Программирование. - 2010. - N 1. - С. 5-15. - Библиогр.: с. 15 (13 назв. ) . - ISSN 0132-3474
УДК
^a519.7
ББК 22.18
Рубрики: Математика
   Математическая кибернетика
Кл.слова (ненормированные):
счетчиковые машины Минского -- проблемы ограниченности -- тотальная ограниченность -- Минского счетчиковые машины
Аннотация: Исследуется разрешимость проблем ограниченности для счетчиков Минского.


Доп.точки доступа:
Соколов, В. А.; Чалый, Д. Ю.

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)