Политехническая библиотека

Головна

Спрощенний режим

Опис

Бази даних

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

Вид пошуку

Каталог книг

Каталог российских журналов

Каталог иностранных журналов

Зона пошуку

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

Поисковый запрос: <.>A=Карпов, Юрий Глебович$<.>

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

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

W 153-2/47

Карпов, Юрий Глебович.
Теория и технология программирования. Основы построения трансляторов : [для вузов по направлениям подгот. бакалавров и магистров 553000 "Систем. анализ и упр." и 552800 "Информатика и вычисл. техника"] / Ю. Г. Карпов. - СПб. : БХВ-Петербург, 2005. - 270 с. - (Учебное пособие). - Библиогр.: с. 267-268. - ISBN 5-94157-285-9 : Б. ц. р., 133.28 р.

ББК з973.2-018-5-05я73-1
Рубрики: Трансляторы

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

W 153-10/255

Карпов, Юрий Глебович.
Имитационное моделирование систем : введ. в моделирование с AnyLogic 5 / Юрий Карпов. - СПб. : БХВ-Петербург, 2005. - 390 с. : ил. ; 24 см. + 1 электрон. опт. диск. - Библиогр.: с. 383-384. - Предм. указ.: с. 387-390. - ISBN 5-94157-148-8 : Б. ц. р., Б.ц р.

ББК з811с116
Рубрики: Систем теория

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

W 153-10/255

Карпов, Юрий Глебович.
Имитационное моделирование систем : введ. в моделирование с AnyLogic 5 / Юрий Карпов. - СПб. : БХВ-Петербург, 2009. - 390 с. : ил. ; 24 см. + 1 эл. опт. диск. - Библиогр.: с. 383-384. - Предм. указ.: с. 387-390. - ISBN 978-5-94157-148-2 : 250.00 р.

ББК з811с114
Рубрики: Систем теория

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

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) Знайти схожі

W 161-1/207

Шошмина, Ирина Владимировна.
Введение в язык PROMELA и систему комплексной верификации SPIN : учеб. пособие / И. В. Шошмина, Ю. Г. Карпов ; Федер. агентство по образованию, С.-Петерб. гос. политехн. ун-т. - СПб. : Изд-во Политехн. ун-та, 2010. - 110, [1] с. : ил. - Библиогр.: с. 99. - ISBN 978-5-7422-2666-6 : 80.00 р.

ББК з973.2-018-5-05я73-1 + з973.2-018.19Promela.я73-1
Рубрики: Машинные языки--Promela
Интерпретаторы

Дод.точки доступу:
Карпов, Юрий Глебович
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

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) Знайти схожі

W 169-4/122

Карпов, Юрий Глебович.
Автоматы и формальные языки : сб. задач / Ю. Г. Карпов ; М-во образования и науки Рос. Федерации, С.-Петерб. политехн. ун-т Петра Великого. - СПб. : Изд-во Политехн. ун-та, 2015. - 84 с. - ISBN 978-5-7422-4744-9 : 100.00 р.

ББК з815я73-4 + з973.2-018.1я73-4
Рубрики: Автоматов теория
Машинные языки

Примірників всього: 1
ХР (II) (1)
Свободны: ХР (II) (1) Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)