Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>R=50.05.17$<.>)
Общее количество найденных документов
:
9
Показаны документы
с 1 по 9
1.
Средства и инструменты окружений программирования/Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова; Под ред. Поттосина И.В. - 1995
2.
Методы и инструменты конструирования и оптимизации программ/Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова. - 2005
3.
Zwiers J. Compositionality, concurrency and partial correctness/J. Zwiers. - 1989
4.
ISA '91 Algorithms/W. L. Hsu, R. C. T. Lee (Eds.). - 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.
Computer algorithms: key search strategies/Ed. by Jun-ichi-Aoe. - 1991
8.
Computer aided verification/K. G. Larsen, A. Skou (Eds.). - 1992
9.
Algorithms and computation/T. Ibaraki et al. (Ed.). - 1992
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН