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

Базы данных


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

Вид поиска
Електронний каталог книг
БД бібліографічних описів статей з періодичних видань
БД розпоряджень голови Миколаївської державної адміністрації
Каталог документів іноземними мовами
БД Рішення і розпорядження Миколаївської обласної ради
БД "Краєзнавство"
БД статей з періодики до 1917 року
БД "Грамплатівки"
БД біблографічних описів нот з періодичних видань
Корпоративний каталог районних ЦБ області
 		Лічільник відвідувань
Область поиска
 Найдено в других БД:БД бібліографічних описів статей з періодичних видань (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Програмні системи<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
В 9332
   32.9
   К 26

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

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

   
    Теоретические и прикладные аспекты промышленной информатики [Текст] : сб. науч. трудов. - Пермь : [б. и.], 1990. - 136 с. - 1 р. 80 к.
ББК 30ф
Рубрики: Техніка
   Наукові праці
   Промислова інформатика
   Програмні системи

Держатели документа:
Миколаївська обласна універсальна наукова бібліотека ЗРФ
Свободных экз. нет
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)