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

Базы данных

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

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

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

Вид документа : Однотомное издание
Шифр издания : З97/C752
Заглавие : Средства и инструменты окружений программирования
Параллельн. заглавия :Techniques and tools of program environment
Выходные данные : Новосибирск, 1995
Колич.характеристики :169 с.: табл
Примечания : Библиогр. в конце ст
ISBN, Цена 5-7623-0832-4: Б.ц.
ГРНТИ : 50.05.09 + 50.05.17
ББК : З 973.2-018.12я43 + З 973.2-018.14я43
Предметные рубрики: Языки программирования, семантика
Тестирование программ, для ЭВМ
Сжатие данных, в системах обработки информации на ЭВМ
Дескрипторы: сб.с
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
2.

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

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/321
Автор(ы) : Zwiers, Job
Заглавие : Compositionality, concurrency and partial correctness : Proof theories for networks of processes, and their relationship
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VI,272 p.: Ill.
Серия: Lecture notes in computer science; 321
Примечания : Bibliogr.: p. 266-272
ISBN, Цена 3-540-50845-7: Б.ц.
ГРНТИ : 50.05.17
ББК : З 973.2-018
Предметные рубрики: Программное обеспечение-- ЭВМ
Дескрипторы: сб пр--моногр
Ключевые слова (''Своб.индексиров.''): программирование--семантика--спецификации
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/557
Заглавие : ISA '91 Algorithms : 2nd Intern. symp. on algorithms Taipei, China, Dec. 16-18, 1991. Proceedings
Выходные данные : Berlin: 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
ISBN, Цена 3-540-54945-5: Б.ц.
ГРНТИ : 50.05.17
ББК : З 973.2-018я431
Предметные рубрики: Компьютеры-- Алгоритмы
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): принятие решений--динамическое программирование
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/575
Заглавие : Computer aided verification : 3rd Intern. workshop, CAV'91 Aalborg, Denmark, July 1-4, 1991. Proceedings
Выходные данные : Berlin: Springer, 1992
Колич.характеристики :X, 487 p.: Ill.
Серия: Lecture notes in computer science; 575
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-55179-4: Б.ц.
ГРНТИ : 50.05.17
ББК : З 973.2-018.14я431
Предметные рубрики: Верификация-- Программ ЭВМ
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): протоколы обмена--системы реального времени
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/647
Заглавие : Distributed algorithms : 6th Intern. workshop, WDAG'92 Haifa, Israel, Nov. 2-4, 1992. Proceedings
Выходные данные : Berlin: 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
ISBN, Цена 3-540-56188-9: Б.ц.
ГРНТИ : 50.05.17
ББК : З 973.2-018я431
Предметные рубрики: Компьютеры-- Алгоритмы
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): распределенные вычисления--структуры данных--протокол управления
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/650
Заглавие : Algorithms and computation : Third Inter. symp., ISAAC '92 Nagoya, Japan, Dec. 16-18, 1992. Proceedings
Выходные данные : Berlin: Springer, 1992
Колич.характеристики :XI, 510 p.: Ill.
Серия: Lecture notes in computer science; 650
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 509-510
ISBN, Цена 3-540-56279-6: Б.ц.
ГРНТИ : 50.05.17
ББК : З 973.2-018я431
Предметные рубрики: Компьютеры-- Алгоритмы
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): он-лайн алгоритмы--параллельные алгоритмы--структуры данных
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : Pr1068/Pr1068/189
Автор(ы) : Gulliksen, Jan
Заглавие : Designing for usability - domain specific human-computer interfaces in working life : сборник
Выходные данные : Uppsala, 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
ISBN, Цена 91-554-3700-1: Б.ц.
ГРНТИ : 50.05.17
ББК : З 973.2-018.11
Предметные рубрики: Общение человека с компьютером
Дескрипторы: сб пр--дис
Ключевые слова (''Своб.индексиров.''): информационная технология--графический интерфейс
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : И-З 97/C73
Заглавие : Computer algorithms: key search strategies
Выходные данные : Los Alamitos: IEEE Computer society press, 1991
Колич.характеристики :XII, 139 p.: Ill.
Примечания : Bibliogr. at the end of the art. - - Bibliogr.: p. 125-138
ISBN, Цена 0-8186-2123-0: Б.ц.
ГРНТИ : 50.05.17
ББК : З 973.2-018я43
Предметные рубрики: Алгоритмы-- Для компьютеров
Дескрипторы: сб пр
Ключевые слова (''Своб.индексиров.''): поиск данных--хэширование--двоичные деревья
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН