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

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Вычислительные системы -- Программное обеспечение<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
   И-З 97
   C73
И-З 97 / C73-02

   
    Computer systems and software engineering : CompEuro 1992 proc., May 4-8, 1992, The Netherlands / Ed. by P. Dewilde a. J. Vandewalle. - Los Alamitos [et al.] : IEEE computer society press, 1992. - XVIII, 717 p. : Ill. - Bibliogr. at the end of the art.
- Auth. ind.: p. 716-717
Перевод заглавия: Вычислительные системы и программотехника
50.41.23
ББК З 973.22-018я431
Рубрики: Вычислительные сети--Программное обеспечение
   Вычислительные системы--Программное обеспечение
Кл.слова (ненормированные):
системы баз данных -- логика -- нейронные сети -- защита данных
Дескрипторы: конф


Доп.точки доступа:
Dewilde, P. \ed.\; Vandewalle, J. \ed.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 64-9-94+02
Найти похожие
2.
   Pr1100
   Pr1100/940
Pr1100/940 / Pr1100/940-02 ВМИ

    Penczek, W.
    Branching time bounded model checking for elementary net systems / W. Penczek, B. Wozna, A. Zbrzezny. - Warszawa : [s. n.], 2002. - 16 p. : Ill. - (Prace / Instytut podstaw informatyki PAN (Warszawa), ISSN 0138-0648 ; n 940). - Res. also Pol. - Bibliogr.: p. 14-15
Перевод заглавия: Ограниченная модель проверки времени ветвления для элементарных сетевых систем
50.05.03
ББК З 973.22-018
Рубрики: Вычислительные системы--Программное обеспечение
Дескрипторы: сб пр -- моногр


Доп.точки доступа:
Wozna, B. ; Zbrzezny, A.
Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Найти похожие
3.
   Pr1100
   Pr1100/946
Pr1100/946 / Pr1100/946-02 ВМИ

    Penczek, Wojciech.
    Bounded model checking for interpreted systems / W. Penczek, A. Lomuscio. - Warszawa : [s. n.], 2002. - 8 p. - (Prace / Instytut podstaw informatyki PAN (Warszawa), ISSN 0138-0648 ; n 946). - Res. also Pol. - Bibliogr.: p. 8
Перевод заглавия: Ограниченная модель проверки для интерпретированных систем
50.05.03
ББК З 973.22-018
Рубрики: Вычислительные системы--Программное обеспечение
Дескрипторы: сб пр -- моногр


Доп.точки доступа:
Lomuscio, Alessio
Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Найти похожие
4.
   З 973.2
   Ф282
З 973.2 / Ф282-02

    Фаулер, Мартин.
    Шаблоны корпоративных приложений : [пер. с англ.] / Мартин Фаулер при участии Д. Райса [и др.]. - Испр. изд. - Москва [и др.] : Вильямс, 2018. - 539, [4] с. : ил. ; 25 см. - (The Addison-Wesley signature series. A Martin Fowler signature book) (Объектные технологии). - Библиогр.: с. 527-531. - Предм. указ.: с. 532-539. - Пер. изд. : Patterns of enterprise application architecture / Martin Fowler. - 300 экз.. -
ГРНТИ
50.41
УДК
004.4^V3
ББК З 973.22-018
Рубрики: Вычислительные системы--Программное обеспечение
Кл.слова (ненормированные):
Корпоративные информационные системы


Доп.точки доступа:
Райс, Дейвид \конс.\; Fowler, Martin
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 34-8-2018но
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН