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

Базы данных

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

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

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.41.17$<.>)
Общее количество найденных документов : 35
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-35 
1.
   И-З 97
   I.69
И-З 97 / I.69-02

    International symposium on software reliability engineering (1991 ; Austin, Tex.).
    1991 international symposium on software reliability engineering : proc., Austin, Tex., May 17-18, 1991. - Los Alamitos [et al.] : IEEE Computer society press, 1991. - X, 242 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 242
Перевод заглавия: Труды международного симпозиума по надежности программного обеспечения
50.41.17
ББК З 973.2-018.14я431
Рубрики: Надежность программного обеспечения--Компьютеров
Кл.слова (ненормированные):
модели надежности -- операционные системы
Дескрипторы: конф.м

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 56-14-94+02
Найти похожие
2.
   Pr869
   Pr869/430
Pr869/430 / Pr869/430-02

   
    Stepwise refinement of distributed systems : models, formalisms, correctness. REX workshop, Mook, the Netherlands, May 29-June 2, 1989. Proc. / Ed. by Bakker, J. W. de et al. - Berlin [et al.] : Springer, 1990. - X, 808 p. - (Lecture notes in computer science ; 430). - Bibliogr. at the end of the art
Перевод заглавия: Поэтапное усовершенствование распределенных систем
50.41.17
ББК З 973.22-018Я431
Рубрики: Распределенные системы вычислительные--Программное обеспечение
Кл.слова (ненормированные):
конкурентные системы -- синтаксис -- спецификации
Дескрипторы: сб пр -- конф.м

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 162-13-93+02
Найти похожие
3.
   Pr869
   Pr869/591
Pr869/591 / Pr869/591-02

   
    Parallel computation : First intern. ACPC conf. Salzburg, Austria, Sept. 30 - Oct.2, 1991. Proc / Ed.: Hans P. Zima. - Berlin [et al.] : Springer, 1992. - 451 p. : Ill. - (Lecture notes in computer science ; 591). - Bibliogr. at the end of the art
Перевод заглавия: Параллельные вычисления
50.41.17
ББК З 973.2-018я431
Рубрики: Компьютеры--Параллельное программирование
Кл.слова (ненормированные):
параллельные алгоритмы -- мультипроцессоры
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 68-11-94+02
Найти похожие
4.
   Pr869
   Pr869/653
Pr869/653 / Pr869/653-02

   
    Future tendencies in computer science, control and applied mathematics : intern. conf. on the occasion of the 25th anniversary of INRIA, Paris, Dec. 8-11, 1992 : Proc. / Ed.: A. Bensoussan, J.-P. Verjus. - Berlin [et al.] : Springer, 1992. - XV,371 p. : Ill. - (Lecture notes in computer science ; 653). - Bibliogr. at the end of the art
Перевод заглавия: Перспективные направления в вычислительной технике, теории контроля и прикладной математике
50.41.17
50.03.03
27.41
ББК З 973.2-018я431 + З 965-01я431 + В19Я431
Рубрики: Программное обеспечение--ЭВМ
   Теория автоматического управления
   Прикладная математика
Кл.слова (ненормированные):
искусственный интеллект -- роботы -- взаимодействие человек-машина
Дескрипторы: сб пр -- конф.м

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 90-3-95+02
Найти похожие
5.
   Pr869
   Pr869/641
Pr869/641 / Pr869/641-02

   
    Compiler construction : 4th Intern. conf., CC '92 Paderborn, FRG, Oct. 5-7, 1992. Proceedings / U. Kastens, P. Pfahler (Eds.). - Berlin [et al.] : Springer, 1992. - 320 p. : Ill. - (Lecture notes in computer science ; 641). - Bibliogr. at the end of the art
Перевод заглавия: Построение компилятора
50.41.17
ББК З 973.2-018.13я431
Рубрики: Компиляторы--Систем программного обеспечения компьютеров
Кл.слова (ненормированные):
синтаксический анализ -- языки программирования
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 68-16-94+02
Найти похожие
6.
   З 973.2
   Р69

    Роман, Стивен.
    Программирование в Win32 API на Visual Basic [Текст] : [Пер. с англ.] / С. Роман. - М. : ДМК, 2001. - 476 с. : ил. - (Сер. "Для программистов"). - Пер. изд. : Win32 API programming with Visual Basic/ Roman S
Предм. указ.: с. 472-476
50.41.17
ББК З 973.203.4-018.1
Рубрики: Персональные ЭВМ, системное программное обеспечение
Дескрипторы: моногр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 21-13-2003
Найти похожие
7.
   З 973.2
   Г681

    Гордеев, Александр Владимирович.
    Системное программное обеспечение [Текст] : учебник / А. В. Гордеев, А. Ю. Молчанов. - СПб. и др. : Питер, 2001. - 734 с. : ил. - 1 экз.
Библиогр.: с. 719-724. - Алф. указ.: с. 725-734
50.41.17
ББК З 973.2-018.1я73
Рубрики: системное программное обеспечение, ЭВМ
Дескрипторы: моногр -- уч


Доп.точки доступа:
Молчанов, Алексей Юрьевич
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 31-24-2003
Найти похожие
8.
   З 97
   С409/2

   
    Системы программирования. Теория и приложения [Текст] : [Сборник] / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики ; Под ред. В.Е. Котова. - Новосибирск : Наука, 1993. - 247 с. : ил. - (Системная информатика ; вып.2). - Библиогр. в конце ст. -
50.41.17
ББК З 973.2-018.12Я43
Рубрики: Системы программирования--для ЭВМ
Дескрипторы: СБ -- МНОГОТ


Доп.точки доступа:
Котов, В.Е. \ред.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 28-7-93
Найти похожие
9.
   З 97
   С409/4

   
    Методы теоретического и системного программирования : Сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова; Под ред. Поттосина И.В. - Новосибирск : Наука, 1995. - 361 с. : ил. - (Системная информатика ; вып. 4). - Библиогр. в конце гл
ав
50.41.17
50.05.03
ББК З 973.2-018Я43
Рубрики: Системное программное обеспечение--ЭВМ
   Теоретическое программирование--параллельное программирование--ЭВМ
Дескрипторы: сб -- многот


Доп.точки доступа:
Поттосин, И.В. \ред.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 5-10-96
Найти похожие
10.
   И-З 97
   I.69
И-З 97 / I.69-02

    International symposium on software reliability engineering (3; 1992; USA).
    Third international symposium on software reliability engineering : Oct. 7-10, 1992, Research Triangle Park, N. C. Proceedings. - Los Alamitos [et al.] : IEEE computer society press, 1992. - XI, 369 p. : Ill. - Bibliogr. at the end of the art.
- Auth. ind.: p. 369
Перевод заглавия: Труды 3-го международного симпозиума по надежности программного обеспечения
50.41.17
ББК З 973.2-018.14я431
Рубрики: Надежность программного обеспечения--Компьютеров
Кл.слова (ненормированные):
модели надежности -- испытания
Дескрипторы: конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 61-9-94+02
Найти похожие
 1-10    11-20   21-30   31-35 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН