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

Базы данных:

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

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Башкин, Владимир Анатольевич$<.>)
Общее количество найденных документов : 4 Показаны документы с 1 по 4

1..4

В185
Б33

Башкин, Владимир Анатольевич.
Бисимуляция ресурсов в сетях Петри [Текст] : автореф.дисс.на соиск.уч.степ.кан.физ.-мат.наук 05.13.17 / В. А.Башкин ; Яросл.гос.ун-т им.П.Г.Демидова. - Ярославль : [б. и.], 2003. - 22с. - б/ц

ББК В185
Рубрики: Математическая кибернетика
Программирование
Кл.слова (ненормированные):
авторефераты В185 -- сети Петри -- информатика -- бисимуляция ресурсов

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

22.126я7
Б 43

Белова, Лариса Юрьевна.
Элементы теории множеств и математической логики [Текст] : теория и задачи : учеб. пособие для студентов, обучающихся по направлению и специальности Прикладная математика и информатика / Л. Ю. Белова, В. А. Башкин, Ю. А. Белов ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : ЯрГУ, 2005. - 78 с. - Библиогр.: с. 78. - ISBN 5-8397-0448-2 : 55 р.

ББК 22.126я7

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

З973.2-018.1я73
Б 33

Башкин, Владимир Анатольевич.
Функциональное программирование на языке SML [] : метод. указания / В. А. Башкин. - Ярославль : [б. и.], 2007. - 39 с. - 6.93 р.

ББК З973.2-018.1я73
Рубрики: Программирование
Кл.слова (ненормированные):
языки программирование -- язык SML -- декларативное программирование -- логическое программирование -- учебник З973.2-018.1 -- ЯрГУ

Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие

   32.97мп
   Б 33

    Башкин, Владимир Анатольевич.
    Функциональное программирование на языке SML [Текст] : метод. указания : для студентов, обучающихся по специальности Мат. обеспечение и администрирование информ. систем / В. А. Башкин ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : ЯрГУ, 2007. - 39 с. - На обл. авт. не указан. - Библиогр.: с. 39. - На обл. в надзаг.: ИВТ. -

ББК 32.973-018.1я7
Рубрики: SML, язык программирования

Держатели документа:
ЯОУНБ

Доп.точки доступа:
Министерство образования и науки Российской Федерации; Федеральное агентство по образованию; Ярославский государственный университет имени П. Г. Демидова
Экземпляры всего: 2
к/х (2)
Свободны: к/х (2)
Найти похожие

1..4