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

Базы данных

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

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

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

Algorithms and computation/T. Ibaraki et al. (Ed.). - 1992
2.

Zwiers J. Compositionality, concurrency and partial correctness/J. Zwiers. - 1989
3.

Computer aided verification/K. G. Larsen, A. Skou (Eds.). - 1992
4.

Computer algorithms: key search strategies/Ed. by Jun-ichi-Aoe. - 1991
5.

Gulliksen J. Designing for usability - domain specific human-computer interfaces in working life/J. Gulliksen. - 1996
6.

Distributed algorithms/A. Segall, S. Zaks (Eds.). - 1992
7.

ISA '91 Algorithms/W. L. Hsu, R. C. T. Lee (Eds.). - 1991
8.

Методы и инструменты конструирования и оптимизации программ/Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова. - 2005
9.

Средства и инструменты окружений программирования/Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова; Под ред. Поттосина И.В. - 1995
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН