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

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

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

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

   
    Теоретические и прикладные основы программных систем [Текст] : сб.трудов. - Переславль-Залесский : РАН Ин-т программных систем, 1994. - 479с. - 4000 р.
ББК В18я43
Рубрики: математ.кибернетика
Кл.слова (ненормированные):
информационные технологии -- программные системы

Держатели документа:
ЯрГУ ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
2.
З973.2-018я43
М34

   
    Математика программных систем [Текст] : межвуз.сб.науч.трудов / ред. А. И. Миков ; Гл. ред. А. И. Миков и др. - Пермь : Изд-во ПермГУ, 2001. - 188с. - ISBN 5-7944-0203-2 : 15.00 р.
ББК З973.2-018я43
Рубрики: Вычислительная техника
   Математическая кибернетика
   программирование
Кл.слова (ненормированные):
программные системы

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

Доп.точки доступа:
Миков, А.И. \ред.\ ЯрГУ/НА/НБ
Свободных экз. нет
Найти похожие
3.
З973.2-018я43
М34

   
    Математика программных систем [Текст] : межвуз.сб.науч.трудов. - Пермь : ПермГУ, 2002. - 176с. - ISBN 5-7944-0335-7 : 20.00 р.
ББК З973.2-018я43
Рубрики: вычислительная техника
   математическая кибернетика
   программирование
Кл.слова (ненормированные):
программные системы

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
4.
З973.2-018.2
М 45

    Мейер, Бертран.
    Объектно-ориентированное конструирование программных систем [] / Б. Мейер. - М. : Русская Редакция : Интернет-Университет Информационных Технологий, 2005. - 1198 с. - ISBN 5-7502-0255-0. - ISBN 0-13-629155-4 : 560.00 р.
Прил: 1 CD-ROM
ББК З973.2-018.2
Рубрики: Операционные системы
Кл.слова (ненормированные):
программное обеспечение -- программные системы -- конструирование программ -- диск -- CD-ROM

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

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

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