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

Базы данных

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

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

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.05.17$<.>)
Общее количество найденных документов : 9
Показаны документы с 1 по 9
1.
   З97
   C752

   
    Средства и инструменты окружений программирования [Текст] = Techniques and tools of program environment / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова; Под ред. Поттосина И.В. - Новосибирск : [б. и.], 1995. - 169 с. : табл
Библиогр. в конце ст
50.05.09
50.05.17
ББК З 973.2-018.12я43 + З 973.2-018.14я43
Рубрики: Языки программирования, семантика
   Тестирование программ, для ЭВМ
   Сжатие данных, в системах обработки информации на ЭВМ
Дескрипторы: сб.с

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 14-12-96
Найти похожие
2.
   З 973.2
   М545

   
    Методы и инструменты конструирования и оптимизации программ = Tools and techniques of programm construction and optimization : [сб. ст.] / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова ; под ред. В. Н. Касьянова. - Новосибирск : ИСИ, 2005. - 263 с. ; 20 см. - (Конструирование и оптимизация программ ; вып. 12). - Библиогр. в конце ст. - 75 экз.. -
ГРНТИ
50.05.17
УДК
004.42(082)^V3
ББК З 973.2-018.12я43
Рубрики: проектирование--программного обеспечения ЭВМ
Кл.слова (ненормированные):
Компьютеры персональные - Программное обеспечение


Доп.точки доступа:
Касьянов, Виктор Николаевич \ред.\; Институт систем информатики им. А.П. Ершова (Новосибирск)
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 10-5-2007
Найти похожие
3.
   Pr869
   Pr869/321
Pr869/321 / Pr869/321-02

    Zwiers, Job.
    Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship / J. Zwiers. - Berlin [et al.] : Springer, 1989. - VI,272 p. : Ill. - (Lecture notes in computer science ; 321)
Bibliogr.: p. 266-272
Перевод заглавия: Композиционность, параллелизм и частичная корректировка: Теория доказательства сетей процессов и их взаимосвязь
50.05.17
ББК З 973.2-018
Рубрики: Программное обеспечение--ЭВМ
Кл.слова (ненормированные):
программирование -- семантика -- спецификации
Дескрипторы: сб пр -- моногр

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

   
    ISA '91 Algorithms : 2nd Intern. symp. on algorithms Taipei, China, Dec. 16-18, 1991. Proceedings / W. L. Hsu, R. C. T. Lee (Eds.). - Berlin [et al.] : Springer, 1991. - X, 395 p. : Ill. - (Lecture notes in computer science ; 557). - Bibliogr. at the end of the art.
- Auth. ind. at the end of the book
Перевод заглавия: Труды 2го международного симпозиума по алгоритмам
50.05.17
ББК З 973.2-018я431
Рубрики: Компьютеры--Алгоритмы
Кл.слова (ненормированные):
принятие решений -- динамическое программирование
Дескрипторы: сб пр -- конф

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

   
    Computer aided verification : 3rd Intern. workshop, CAV'91 Aalborg, Denmark, July 1-4, 1991. Proceedings / K. G. Larsen, A. Skou (Eds.). - Berlin [et al.] : Springer, 1992. - X, 487 p. : Ill. - (Lecture notes in computer science ; 575). - Bibliogr. at the end of the art
Перевод заглавия: Автоматизированная верификация
50.05.17
ББК З 973.2-018.14я431
Рубрики: Верификация--Программ ЭВМ
Кл.слова (ненормированные):
протоколы обмена -- системы реального времени
Дескрипторы: сб пр -- конф

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

   
    Distributed algorithms : 6th Intern. workshop, WDAG'92 Haifa, Israel, Nov. 2-4, 1992. Proceedings / A. Segall, S. Zaks (Eds.). - Berlin [et al.] : Springer, 1992. - X,378 p. : Ill. - (Lecture notes in computer science ; 647). - Bibliogr. at the end of the art.
- Ind. of auth. at the end of the book
Перевод заглавия: Распределенные алгоритмы
50.05.17
ББК З 973.2-018я431
Рубрики: Компьютеры--Алгоритмы
Кл.слова (ненормированные):
распределенные вычисления -- структуры данных -- протокол управления
Дескрипторы: сб пр -- конф

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

   
    Algorithms and computation : Third Inter. symp., ISAAC '92 Nagoya, Japan, Dec. 16-18, 1992. Proceedings / T. Ibaraki et al. (Ed.). - Berlin [et al.] : Springer, 1992. - XI, 510 p. : Ill. - (Lecture notes in computer science ; 650). - Bibliogr. at the end of the art.
- Auth. ind.: p. 509-510
Перевод заглавия: Алгоритмы и вычисления
50.05.17
ББК З 973.2-018я431
Рубрики: Компьютеры--Алгоритмы
Кл.слова (ненормированные):
Он-лайн алгоритмы -- параллельные алгоритмы -- структуры данных
Дескрипторы: сб пр -- конф

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

    Gulliksen, Jan.
    Designing for usability - domain specific human-computer interfaces in working life : сборник / J. Gulliksen. - Uppsala : [s. n.], 1996. - 28 p. : Ill. - (Acta universitatis Upsaliensis. Comprehensive summaries of Uppsala dissertations from the faculty of science and technology, ISSN 1104-232X ; 189)
Bibliogr.: p. 25-28
Перевод заглавия: Проектирование для простоты пользования - специфическая область определения человеко-машинных интерфейсов в рабочей деятельности
50.05.17
ББК З 973.2-018.11
Рубрики: Общение человека с компьютером
Кл.слова (ненормированные):
информационная технология -- графический интерфейс
Дескрипторы: сб пр -- дис

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 125-15-97+02
Найти похожие
9.
   И-З 97
   C73
И-З 97 / C73-02

   
    Computer algorithms: key search strategies / Ed. by Jun-ichi-Aoe. - Los Alamitos [et al.] : IEEE Computer society press, 1991. - XII, 139 p. : Ill. - Bibliogr. at the end of the art.
- Bibliogr.: p. 125-138
Перевод заглавия: Вычислительные алгоритмы: ключевые подходы к поиску
50.05.17
ББК З 973.2-018я43
Рубрики: Алгоритмы--Для компьютеров
Кл.слова (ненормированные):
поиск данных -- хэширование -- двоичные деревья
Дескрипторы: сб пр


Доп.точки доступа:
Jun-ichi-Aoe \ed.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 71-17-94+02
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН