Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>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