Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Кузьмин, Егор Владимирович$<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
 1..5 
1.
В18
К89

    Кузьмин, Егор Владимирович.
    Исследование свойств класса вполне структурированных систем переходов [Текст] : дисс.на соиск.уч.степ.кан.физ.- мат.наук.01.01.09. / Е. В.Кузьмин ; Науч.руководитель В.А.Соколов;Яросл.гос.ун-т им.П.Г.Демидова. - Ярославль : [б. и.], 2004. - 149с. - б/ц
ББК В18
Рубрики: Математическая кибернетика
Кл.слова (ненормированные):
диссертации В18 -- дискретная математика -- системы переходов -- счётчиковые машины

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
2.
В18
К89

    Кузьмин, Егор Владимирович.
    Исследование свойств класса вполне структурированных систем переходов [Текст] : автореф. дисс. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.09. / Е. В. Кузьмин ; Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : [б. и.], 2004. - 22 с. - б/ц
ББК В18
Рубрики: Математическая кибернетика
Кл.слова (ненормированные):
авторефераты В18 -- дискретная математика -- системы переходов -- счётчиковые машины

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
3.
В18я73
К89

    Кузьмин, Егор Владимирович.
    Введение в теорию вычислительных процессов и структур [Текст] : учеб. пособие для вузов / Е. В. Кузьмин ; Науч.-метод. совет ун-та ; Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : [б. и.], 2006. - 138 с. - ISBN 5-8397-0437-7 : 53.86 р.
ББК В18я73
Рубрики: кибернетика
Кл.слова (ненормированные):
вычислительные процессы -- теоретическое программирование -- моделирование -- математические модели -- программы -- математическая кибернетика

Держатели документа:
ЯрГУ ЯрГУ/ОРК, ЯрГУ/СБО/НБ, ЯрГУ/ЧЗ/НБ, ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
4.
22.18я7
К 89

    Кузьмин, Егор Владимирович.
    Введение в теорию вычислительных процессов и структур [Текст] : учеб. пособие : для студентов специальност Мат. обеспечение и администрирование информ. систем / Е. В. Кузьмин ; М-во науки и образования Рос. Федерации, Федер. агентство по образованию Рос. Федерации, Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : ЯрГУ, 2006. - 137, [1] с. - Библиогр. в конце кн. - 200 экз. - ISBN 5-8397-0437-7 : 50 р.
ББК 22.18я7


Держатели документа:
ЯОУНБ
Доп.точки доступа:
Министерство науки и образования Российской Федерации; Федеральное агентство по образованию Российской Федерации ; Ярославский государственный университет им. П. Г. Демидова ЯОУНБ/к/х
Свободных экз. нет
Найти похожие
5.
В18я73
К89

    Кузьмин, Егор Владимирович.
    Верификация моделей программ [Текст] : учеб. пособие для вузов / Е. В. Кузьмин. - Ярославль : [б. и.], 2008. - 174 с. - ISBN 978-5-8397-0599-9 : 54.30 р.
ББК В18я73
Рубрики: Кибернетика
Кл.слова (ненормированные):
математическая кибернетика -- программные системы -- модели программ -- верификация -- проверка модели -- учебник В18 -- ЯрГУ

Держатели документа:
ЯрГУ ЯрГУ/СИО, ЯрГУ/ОРК, ЯрГУ/Ф7
Свободных экз. нет
Найти похожие
 1..5