Головна Спрощенний режим Опис
Авторизація
Прізвище
Пароль
 

Бази даних


Каталог книг- результати пошуку

Вид пошуку
Каталог книг
Каталог российских журналов
Каталог иностранных журналов
Зона пошуку

Для печати информации о книге отметьте ее галочкой и нажмите кнопку «печать»

Поисковый запрос: <.>S=Программное управление<.>

Общее количество найденных документов: 27

Показані документи с 1 за 27

1.
F 67-1/85 № 5

   
    Программные системы и инструменты : темат. сб. / под общ. ред. Л.Н. Королева. - М. : [б. в.], 2005. - 201 с. : ил. - (Труды Факультета вычислительной математики и кибернетики / Моск. гос. ун-т им. М. В. Ломоносова ; № 5). - На обл.: к 250 летию Моск. гос.ун-та им. М. В. Ломоносова. - Библиогр. в конце тр . - 100 прим.. - ISBN 5-89407-216-6 : Б. ц. р.
ББК з973.2-018я43 + з973.2-018-5-05я43
Рубрики: Программное управление
   Вычислительные машины электронные--Программирование


Дод.точки доступу:
Королев, Л. Н.
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
2.
F 67-1/85 № 6

    Программные системы и инструменты : темат. сб. / Моск. гос. ун-т им. М. В. Ломоносова, Фак. вычисл. математики и кибернетики ; под общ. ред. Л.Н. Королева. - М. : [б. в.], 2005 - .
   № 6. - 2005. - 237,[1] с. : ил. - На обл.: к 250 летию Моск. гос.ун-та им. М. В. Ломоносова. - Библиогр. в конце тр. - 100 прим.. - ISBN 5-89407-243-3 : Б. ц. р.
ББК з973.2-018я43 + з973.2-018-5-05я43
Рубрики: Программное управление
   Вычислительные машины электронные--Программирование


Дод.точки доступу:
Королев, Л. Н. ; Московский гос. ун-т им. М. В. Ломоносова. Факультет вычислительной математики и кибернетики
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
3.
F 67-1/85 № 7

    Программные системы и инструменты : темат. сб. / Моск. гос. ун-т им. М. В. Ломоносова, Фак. вычисл. математики и кибернетики ; под общ. ред. Л.Н. Королева.
   № 7. - М. : МАКС Пресс : ВМиК МГУ, 2006. - 183,[1] с. : ил. - Библиогр. в конце тр. - ISBN 5-89407-287-5. - ISBN 5-317-01842-0 : Б. ц. р.
ББК з973.2-018я43 + з973.2-018-5-05я43
Рубрики: Программное управление
   Вычислительные машины электронные--Программирование


Дод.точки доступу:
Королев, Л. Н. ; Московский гос. ун-т им. М. В. Ломоносова. Факультет вычислительной математики и кибернетики
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
4.
F 67-1/85 № 8

    Программные системы и инструменты : темат. сб. / Моск. гос. ун-т им. М. В. Ломоносова, Фак. вычисл. математики и кибернетики ; под общ. ред. Л.Н. Королева. - М. : [б. в.], 2005 - .
   № 8. - М. : МАКС Пресс : ВМиК МГУ, 2007. - 195 с. : ил. - Библиогр. в конце тр. - ISBN 978-5-89407-322-4. - ISBN 978-5-317-02186-3 : 80.00 р.
ББК з973.2-018я43 + з973.2-018-5-05я43
Рубрики: Программное управление
   Вычислительные машины электронные--Программирование


Дод.точки доступу:
Королев, Л. Н. \ред.\; Московский гос. ун-т им. М. В. Ломоносова. Факультет вычислительной математики и кибернетики
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
5.
W 158-4/157

    Абрамов, Николай Васильевич.
    Управление системой с программными связями / Н. В. Абрамов. - М. : Рос. ун-т дружбы народов, 2008. - 105 с. : ил. ; 21 см. - Библиогр.: с. 96-104. - ISBN 978-5-209-03267-0 : 40.00 р.
Рубрики: Программное управление

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
6.
F 67-1/85 № 9

    Программные системы и инструменты : темат. сб. / Моск. гос. ун-т им. М. В. Ломоносова, Фак. вычисл. математики и кибернетики ; под общ. ред. Л.Н. Королева. - М. : [б. в.], 2005 - .
   № 9. - М. : МАКС Пресс : ВМиК МГУ, 2008. - 218 с. : ил. - Библиогр. в конце тр. - ISBN 978-5-89407-352-1. - ISBN 978-5-317-02659-2 : 80.00 р.
ББК з973.2-018я43 + з973.2-018-5-05я43
Рубрики: Программное управление
   Вычислительные машины электронные--Программирование


Дод.точки доступу:
Королев, Л. Н. \ред.\; Московский гос. ун-т им. М. В. Ломоносова. Факультет вычислительной математики и кибернетики
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
7.
W 159-10/30

    Карпов, Юрий Глебович.
    Model checking. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов. - СПб. : БХВ-Петербург, 2010. - VII, 551 с. : ил. ; 24 см. + 1 эл. опт. диск. - Библиогр.: с. 535-545. - Предм. указ.: с. 547-551. - ISBN 978-5-9775-0404-1 : 250.00 р.
ББК з973.2-018
Рубрики: Вычислительные машины электронные--Программы
   Программное управление

Примірників всього: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Знайти схожі
8.
W 160-3/3

    Корячко, Вячеслав Петрович.
    Методологические основы разработки и управления требованиями к программным системам / В. П. Корячко, А. И. Таганов, Р. А. Таганов. - М. : Горячая линия-Телеком, 2009. - 221 с. : ил. ; 21 см. - Библиогр.: с. 221. - ISBN 5-785-9912-0096-7 : 170.00 р.
ББК з973.2-018
Рубрики: Вычислительные машины электронные--Программирование
   Программное управление


Дод.точки доступу:
Таганов, Александр Иванович; Таганов, Роман Александрович
Примірників всього: 2
ХР (1), ЧЗ (1)
Свободны: ХР (1), ЧЗ (1) Знайти схожі
9.
F 67-1/85 № 10

    Программные системы и инструменты : темат. сб. / Моск. гос. ун-т им. М. В. Ломоносова, Фак. вычисл. математики и кибернетики ; под общ. ред. Л.Н. Королева. - М. : [б. в.], 2005 - .
   № 10. - М. : МАКС Пресс : ВМиК МГУ, 2009. - 153, [1] с. : ил. - Библиогр. в конце тр. - ISBN 978-5-89407-411-5. - ISBN 978-5-317-03092-6 : 80.00 р.
ББК з973.2-018я43 + з973.2-018-5-05я43
Рубрики: Программное управление
   Вычислительные машины электронные--Программирование


Дод.точки доступу:
Королев, Л. Н. \ред.\; Московский гос. ун-т им. М. В. Ломоносова. Факультет вычислительной математики и кибернетики
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
10.
F 67-1/85 № 11

    Программные системы и инструменты : темат. сб. / Моск. гос. ун-т им. М. В. Ломоносова, Фак. вычисл. математики и кибернетики ; под общ. ред. Л.Н. Королева. - М. : [б. в.], 2005 - .
   № 11. - М. : МАКС Пресс, 2010. - 122 с. : ил. - Библиогр. в конце тр. - ISBN 978-5-89407-442-9. - ISBN 978-5-317-03554-9 : 80.00 р.
ББК з973.2-018я43 + з973.2-018-5-05я43
Рубрики: Программное управление
   Вычислительные машины электронные--Программирование


Дод.точки доступу:
Королев, Л. Н. \ред.\; Московский гос. ун-т им. М. В. Ломоносова. Факультет вычислительной математики и кибернетики
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
11.
W 162-4/257

    Старолетов, Сергей Михайлович.
    Моделирование распределенных многокомпонентных программных систем и их тестирование на основе автоматных вероятностных моделей / С. М. Старолетов, Е. Н. Крючкова ; М-во образования и науки Рос. Федерации, Алт. гос. техн. ун-т им. И. И. Ползунова. - Барнаул : Изд-во АлтГТУ, 2011. - 107 с. : ил ; 21 см. - Библиогр.: с. 80-88. - ISBN 978-5-7568-0859-9 : 100.00 р.
ББК з973.2-018 + В122,0
Рубрики: Программное управление
   Моделей теория


Дод.точки доступу:
Крючкова, Елена Николаевна
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
12.
W 162-10/99

    Перемитина, Татьяна Олеговна.
    Управление качеством программных систем : учеб. пособие / Т. О. Перемитина ; М-во образования и науки Рос. Федерации, Том. гос. ун-т систем упр. и радиоэлектроники. - Томск : Эль Контент, 2011. - 227 с. : ил. ; 21 см. - На обл. авт. не указан. - Библиогр.: с. 220-222. - ISBN 978-5-4332-0010-4 : 160.00 р.
ББК з973.2-018я73-1
Рубрики: Программное управление

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
13.
W 162-10/164

    Зеленков, Павел Викторович.
    Инструментальные средства формирования мультиверсионной архитектуры отказоустойчивых программных систем / П. В. Зеленков, И. В. Ковалев, В. В. Брезицкая ; М-во сел. хоз-ва Рос. Федерации, Краснояр. гос. аграр. ун-т. - Красноярск : Изд-во Краснояр. гос. аграр. ун-та, 2011. - 152 с. : ил. ; 21 см. - На обл. авт. не указаны. - Библиогр.: с. 143-152. - ISBN 978-5-94617-242-4 : 110.00 р.
ББК з973.2-018-5-05
Рубрики: Программное управление


Дод.точки доступу:
Ковалев, Игорь Владимирович; Брезицкая, В.В.
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
14.
W 162-10/167

    Козлов, Сергей Александрович.
    Архитектура программных систем : [учеб. пособие для вузов по направлению "Прикладная математика и физика"] / С. А. Козлов ; М-во образования и науки Рос. Федерации, Моск. физ.-техн. ин-т (гос. ун-т), Рос. акад. наук, Ин-т проблем передачи информ. им. А. А. Харкевича РАН. - М. : МФТИ : ИППИ, 2011. - 123 с. : ил. ; 21 см. - Библиогр.: с. 122-123. - ISBN 978-5-7417-0366-3 : 90.00 р.
ББК з973.2-018я73-1
Рубрики: Программное управление

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
15.
F 67-1/85 № 12

    Программные системы и инструменты : темат. сб. / Моск. гос. ун-т им. М. В. Ломоносова, Фак. вычисл. математики и кибернетики ; под общ. ред. Л.Н. Королева. - М. : [б. в.], 2005 - .
   № 12. - М. : МАКС Пресс, 2011. - 267 с. : ил. - Библиогр. в конце тр. - ISBN 978-5-89407-469-6. - ISBN 978-5-317-03947-9 : 80.00 р.
ББК з973.2-018я43 + з973.2-018-5-05я43
Рубрики: Программное управление
   Вычислительные машины электронные--Программирование


Дод.точки доступу:
Королев, Л. Н. \ред.\; Московский гос. ун-т им. М. В. Ломоносова. Факультет вычислительной математики и кибернетики
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
16.
W 164-2/254

    Карпов, Юрий Глебович.
    Верификация распределенных систем : [учеб. пособие для вузов по направлению подгот. магистров в образоват. обл. "Информатика и вычисл. техника"] / Ю. Г. Карпов, И. В. Шошмина. - СПб. : Изд-во Политехн. ун-та, 2011. - 211 с. : ил. - (Приоритетный национальный проект "Образование" / М-во образования и науки Рос. Федерации, Нац. исслед. ун-т С.-Петерб. гос. политехн. ун-т) (Приоритетные национальные проекты. "Образование"). - Библиогр.: с. 209-210. - Предм. указ.: с. 211 . - 44 прим.. - ISBN 978-5-7422-3379-4 : 130.00 р.
ББК з973.2-018я73-1
Рубрики: Вычислительные машины электронные--Программы
   Программное управление


Дод.точки доступу:
Шошмина, Ирина Владимировна
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
17.
W 164-6/243

    Назаров, Станислав Викторович.
    Архитектура и проектирование программных систем : монография / С. В. Назаров. - М. : ИНФРА-М, 2013. - 350 с. : ил. ; 21 см. - (Научная мысль). - Библиогр. в конце гл. - ISBN 978-5-16-005735-4 : 350.00 р.
ББК з973.2-018.2
Рубрики: Программное управление

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
18.
W 164-8/130

   
    Архитектура проблемно-ориентированных программных систем : [учеб. пособие для вузов по направлениям 220100 "Систем. анализ и упр.", 230400 "Информ. системы и технологии"] / М. Л. Артемов, Ю. Ю. Громов, О. Г. Иванова [и др.] ; Воронеж. ин-т высок. технологий. - Воронеж : Науч. кн., 2011. - 163, [1] с. ; 21 см. - Библиогр.: с. 163-164. - ISBN 978-5-905654-60-2 : 100.00 р.
ББК з973.2-018я73-1
Рубрики: Программное управление


Дод.точки доступу:
Артемов, Михаил Леонидович; Громов, Юрий Юрьевич; Иванова, Ольга Геннадьевна
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
19.
W 165-3/291

    Федотов, Евгений Александрович.
    Администрирование программных и информационных систем : [учеб. пособие по специальности 23005 - Програм.обеспечение вычисл. техники и автоматизир. систем] / Е. А. Федотов ; М-во образования и науки Рос. Федерации, Белгор. гос. технол. ун-т им. В. Г. Шухова. - Белгород : Белгор. гос. технол. ун-т, 2012. - 133 с. : ил. - Библиогр.: с. 133. - 64 прим.. - 57.52 р.
ББК з973.2-018-5-05я73-1 + з973.233-018-5-05я73-1
Рубрики: Информационные системы
   Программное управление

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
20.
W 166-6/9

   
    Теория и практика структурного тестирования программных систем : монография / Л. С. Ломакина, А. С. Базин, А. Н. Вигура, А. В. Киселев. - Воронеж : Науч. кн., 2013. - 220 с. : ил. - Библиогр.: с. 208-220. - ISBN 978-5-98222-835-2 : 150.00 р.
ББК з973.2-018
Рубрики: Программное управление


Дод.точки доступу:
Ломакина, Любовь Сергеевна; Базин, Александр Сергеевич; Вигура, Антон Николаевич; Киселев, Алексей Викторович
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
21.
F 67-1/85 № 14

    Программные системы и инструменты : темат. сб. / Моск. гос. ун-т им. М. В. Ломоносова, Фак. вычисл. математики и кибернетики ; под общ. ред. Л.Н. Королева. - М. : МАКС Пресс, 2005 - .
   № 14. - 2013. - 229 с. : ил. - Библиогр. в конце тр. - ISBN 978-5-89407-515-0. - ISBN 978-5-317-04657-6 : 100.00 р.
ББК з973.2-018я43 + з973.2-018-5-05я43
Рубрики: Программное управление
   Вычислительные машины электронные--Программирование


Дод.точки доступу:
Королев, Л. Н. \ред.\; Московский гос. ун-т им. М. В. Ломоносова. Факультет вычислительной математики и кибернетики
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
22.
S 143-6/72

    Смирнова, Наталия Николаевна.
    Верификация и тестирование программных систем : учеб. пособие / Н. Н. Смирнова ; М-во образования и науки Рос. Федерации, Балт. гос. техн. ун-т "Военмех", Каф. информ. систем и компьютер. технологий. - СПб. : БГТУ, 2014. - 64, [1]с., включая обл. : ил. - Библиогр.: с. 64. - ISBN 978-5-85546-787-1 : 80.00 р.
ББК з973.2-018-5-05я73-1
Рубрики: Вычислительные машины электронные--Программы
   Программное управление

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
23.
W 167-6/259

    Ломакина, Любовь Сергеевна.
    Тестирование программных систем на основе компьютерной алгебры : [учеб. пособие для вузов по направлению подгот. 230100 "Информатика и вычисл. техника"] / Л. С. Ломакина, А. Н. Вигура ; М-во образования и науки Рос. Федерации, Нижкгор. гос. техн. ун-т им. Р. Е. Алексеева. - Н. Новгород : НГТУ, 2014. - 115 с. : ил. - Библиогр.: с. 107-115. - ISBN 978-5-502-00382-7 : 80.00 р.
ББК В15с31я73-1 + з973.2-018-5-05я73-1
Рубрики: Алгебра компьютерная
   Вычислительные машины электронные--Программы
   Программное управление


Дод.точки доступу:
Вигура, Антон Николаевич
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі
24.
F 67-1/85 № 15

    Программные системы и инструменты : темат. сб. / Моск. гос. ун-т им. М. В. Ломоносова, Фак. вычисл. математики и кибернетики ; под общ. ред. Л.Н. Королева. - М. : МАКС Пресс, 2005 - .
   № 15. - 2014. - 190, [1] с. : ил. - Библиогр. в конце тр. - ISBN 978-5-89407-533-4. - ISBN 978-5-317-04902-7 : 100.00 р.
ББК з973.2-018я43 + з973.2-018-5-05я43
Рубрики: Программное управление
   Вычислительные машины электронные--Программирование


Дод.точки доступу:
Королев, Л. Н. \ред.\; Московский гос. ун-т им. М. В. Ломоносова. Факультет вычислительной математики и кибернетики
Примірників всього: 1
ХР (II) (1)
Свободны: ХР (II) (1) Знайти схожі
25.
F 67-1/85 № 13

    Программные системы и инструменты : темат. сб. / Моск. гос. ун-т им. М. В. Ломоносова, Фак. вычисл. математики и кибернетики ; под общ. ред. Л.Н. Королева. - М. : МАКС Пресс, 2005 - .
   № 13. - 2012. - 180 с. : ил. - Библиогр. в конце тр. - ISBN 978-5-89407-496-2. - ISBN 978-5-317-04314-8 : 100.00 р.
ББК з973.2-018я43 + з973.2-018-5-05я43
Рубрики: Программное управление
   Вычислительные машины электронные--Программирование


Дод.точки доступу:
Королев, Л. Н. \ред.\; Московский гос. ун-т им. М. В. Ломоносова. Факультет вычислительной математики и кибернетики
Примірників всього: 1
ХР (II) (1)
Свободны: ХР (II) (1) Знайти схожі
26.
F 67-1/85 № 16

    Программные системы и инструменты : темат. сб. / Моск. гос. ун-т им. М. В. Ломоносова, Фак. вычисл. математики и кибернетики ; под общ. ред. Л.Н. Королева. - М. : МАКС Пресс, 2005 - .
   № 16 / под общ. ред. Р. Л. Смелянского. - 2016. - 146, [1] с. : ил. - Библиогр. в конце тр. - ISBN 978-5-89407-565-5. - ISBN 978-5-317-045358-1 : 100.00 р.
ББК з973.2-018я43 + з973.2-018-5-05я43
Рубрики: Программное управление
   Вычислительные машины электронные--Программирование


Дод.точки доступу:
Королев, Л. Н. \ред.\; Смелянский, Р.Л. \ред.\; Московский гос. ун-т им. М. В. Ломоносова. Факультет вычислительной математики и кибернетики
Примірників всього: 1
ХР (II) (1)
Свободны: ХР (II) (1) Знайти схожі
27.
F 67-1/85 № 17

    Программные системы и инструменты : темат. сб. / Моск. гос. ун-т им. М. В. Ломоносова, Фак. вычисл. математики и кибернетики ; под общ. ред. Л.Н. Королева. - М. : МАКС Пресс, 2005 - .
   № 17 / под общ. ред. Р. Л. Смелянского. - 2017. - 196 с. : ил. - Библиогр. в конце тр. - ISBN 978-5-89407-579-2. - ISBN 978-5-317-05715-2 : 100.00 р.
ББК з973.2-018я43 + з973.2-018-5-05я43
Рубрики: Программное управление
   Вычислительные машины электронные--Программирование


Дод.точки доступу:
Смелянский, Р.Л. \ред.\; Московский гос. ун-т им. М. В. Ломоносова. Факультет вычислительной математики и кибернетики
Примірників всього: 1
ХР (II) (1)
Свободны: ХР (II) (1) Знайти схожі
Стандартний
Розширений
Професійний
Розподілений
За словником
ДРНТІ-навігатор
УДК-навігатор
ББК-навігатор
Тематичний навігатор
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)