Главная
Упрощенный режим
Описание
Шлюз 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 Отделение ГПНТБ СО РАН