Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Електронний каталог книг - результаты поиска

Вид поиска

Лічільник відвідувань
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Карпов, Юрий Глебович$<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.
В 4125
   32.81
   К 26


    Карпов, Юрий Глебович.
    Теория автоматов [Текст] : учеб.для вузов по направлению подгот.бакалавров "Информатика и вычисл.техника" и др. / Юрий Глебович Карпов. - М.и др. : Питер, 2002. - 206 с. : ил. - Библиогр.: с.205-206. - ISBN 5-318-00537-3 : (в пер.): 25 грн 69к.
ББК 32.815я73


Экземпляры всего: 1
т/о (1)
Свободны: т/о (1)
Найти похожие

2.
В 6381
   32.973
   К 26


    Карпов, Юрий Глебович.
    Иммитационное моделирование систем. Введение в моделирование с AnyLogis 5 [Текст] / Юрий Г. Карпов. - СПб. : БХВ-Петербург, 005. - 390 с. : ил. - К кн. прил. КД-1237. - ISBN 5-94157-148-8 : (в пер.) : 80 грн 44к.
ББК 32.973.26-018.2в60
Рубрики: комп'ютерне моделювання
т/о
Свободных экз. нет
Найти похожие

3.
КД 1237
   32.97
   К 26


    Карпов, Юрий Глебович.
    Имитационное моделирование систем. Введение в моделирование с Anylogic 5 [Электронный ресурс] / Юрий Г. Карпов. - СПб. : БХВ-Петербург, 2005. - 1 кд. - Прил. к одноим. кн. - 20 грн.
ББК 32.973.26-018.2в60


Держатели документа:
Миколаївська Обласна Універсальна Наукова бібліотека ім. О.Гмирьова ВПНД
Свободных экз. нет
Найти похожие

4.
В 9332
   32.9
   К 26


    Карпов, Юрий Глебович.
    MODEL CHECKING. Верификация параллельных и распределённых программных систем [Текст] / Юрий Глебович Карпов . - Санкт-Петербург : БХВ-Петербург, 2010. - 551 с. + 1электрон. опт. диск (CD-2861). - ISBN 978-5-9775-0404-1 (в пер.) : 333 грн 46 к.
ББК 32.973.26-018.2
Рубрики: Програмні системи
   Комп'ютери


Держатели документа:
Миколаївська Обласна Універсальна Наукова бібліотека ім. О. Гмирьова ВПНД
Свободных экз. нет
Найти похожие

5.
КД-2862
   32.9
   К 26


    Карпов, Юрий Глебович.
    MODEL CHECKING. Верификация параллельных и распределённых программных систем [Электронный ресурс] / Юрий Глебович Карпов . - Санкт-Петербург : БХВ, 2010. - 1электрон. опт. диск(CD-ROM). - Прил. к одноимен. кн. - 20 грн.
ББК 32.973.26-018.2


Держатели документа:
Миколаївська Обласна Універсальна Наукова бібліотека ім. О. Гмирьова ВПНД
Свободных экз. нет
Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)