Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=программирование<.>)
Общее количество найденных документов
:
431
Показаны документы
с 1 по 10
1-10
11-20
21-30
31-40
41-50
51-60
1.
Вид документа
: Продолжающееся издание
Шифр издания
: З 97/I.69
Заглавие
: 1991 International workshop on object orientation in operating systems : proceedings, Palo Alto, Oct. 17-18, 1991
Выходные данные
: Los Alamitos: IEEE computer society press, 1991
Колич.характеристики
:XI, 193 с.: Ill.
Коллективы
: International workshop on object orientation in operating systems (1991;Palo Alto, USA)
Примечания
: Bibliogr. at the end of the art
Цена
: Б.ц.
ГРНТИ
: 50.41
ББК
: З 973.2-018я431
Предметные рубрики:
Объектно-ориентированное
программирование
Дескрипторы:
конф
Ключевые слова
(''Своб.индексиров.''): объектно-ориентированные системы--распределенные системы
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
2.
Вид документа
: Продолжающееся издание
Шифр издания
: Pr869/Pr869/11522
Заглавие
: Application and theory of Petri nets and concurrency : 40th International conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019 : Proceeding
Выходные данные
: Cham: Springer Nature Switzerland, 2019
Колич.характеристики
:XV, 469, [3] p.: ill.
Серия:
Lecture notes in computer science, ISSN 0302-9743; 11522
Примечания
: Bibliogr. at the end of the art.Auth. ind. at the end of the book
ISBN, Цена
978-3-030-21570-5: 6665 р.
ГРНТИ
: 50.41
ББК
: З 973.22-018я431
Предметные рубрики:
Вычислительные системы-- Параллельное
программирование
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
3.
Вид документа
: Продолжающееся издание
Шифр издания
: Pr1095/Pr1095/N2008-29
Автор(ы)
: Achterberg, Tobias, Koch, Thorsten, Tuchscherer, Andreas
Заглавие
: On the effects of minor changes in model formulations
Выходные данные
: Berlin: ZIB, 2008
Колич.характеристики
:10 p.: tab.
Серия:
ZIB-Report/ Konrad-Zuse-Zentrum fur Informationstechnik (Berlin), ISSN 1438-0064; 2008-29
Примечания
: Bibliogr.: p. 10
Цена
: 12.50 р.
ГРНТИ
: 27.47.21
ББК
: В173
Предметные рубрики:
Коммивояжера задача
целочисленное
программирование
Экземпляры
:02 ВМИ(1)
Свободны
: 02 ВМИ(1)
Найти похожие
4.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/343
Заглавие
: Algebraic and logic programming : Intern. workshop, Gaussig, GDR, Nov. 14-18, 1988. Proc.
Выходные данные
: Berlin: Springer, 1988
Колич.характеристики
:278 p.: Ill.
Серия:
Lecture notes in computer science; 343
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-50667-5: Б.ц.
ГРНТИ
: 50.05.09 + 50.07.03
ББК
: З 973.205-018.12я431
Предметные рубрики:
Логическое
программирование
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): логика программ--алгебраические спецификации
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
5.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/361
Заглавие
: Nested relations and complex objects in databases : Selected papers from the workshop theory a. applications of nested relations a. complex objects held in Darmstadt on Apr. 6-8, 1987
Выходные данные
: Berlin: Springer, 1989
Колич.характеристики
:VI,323 p.: Ill.
Серия:
Lecture notes in computer science; 361
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-51171-7:
ГРНТИ
: 50.41.21
ББК
: З 973.2-018.22я431
Предметные рубрики:
Компьютеры-- Базы данных
Дескрипторы:
сб пр
Ключевые слова
(''Своб.индексиров.''): проблемно-ориентированное
программирование
; базы данных
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
6.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/364
Заглавие
: MFDBS 89 : 2nd symp. on math. fundamentals of database systems Visegrad, Hungary, June 26-30, 1989. Proc.
Выходные данные
: Berlin: Springer, 1989
Колич.характеристики
:VI,428 p.: Ill. Symposium on mathematical fundamentals of database systems ( 2; 1989; Visegrad, Hungary)
Серия:
Lecture notes in computer science; 364
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-51251-9:
ГРНТИ
: 50.41.21
ББК
: З 973.2-018.22я431
Предметные рубрики:
Компьютеры-- Базы данных
Дескрипторы:
сб пр
Ключевые слова
(''Своб.индексиров.''): эвм--
программирование
--базы данных
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
7.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
8.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/267
Заглавие
: Automata, languages and programming : 14th intern. colloquium Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proc.
Выходные данные
: Berlin: Springer, 1987
Колич.характеристики
:X,565 p.: Ill.
Серия:
Lecture notes in computer science; 267
Примечания
: Bibliogr. at the end of the art. - Auth. ind.: p.564-565
ISBN, Цена
3-540-18088-5:
ГРНТИ
: 50.05 + 28.25
ББК
: З 815я431 + З 973.2-018я431
Предметные рубрики:
Конечные автоматы
Программное обеспечение-- ЭВМ
Дескрипторы:
сб пр
Ключевые слова
(''Своб.индексиров.''): конечные автоматы--формальные языки--теория баз данных
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
9.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/322
Заглавие
: ECOOP '88 : Oslo, Norway, Aug. 15-17, 1988: Proceedings
Выходные данные
: Berlin: Springer, 1988
Колич.характеристики
:VI, 410 p.: Ill.
Серия:
Lecture notes in computer science; 322
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-50053-7:
ГРНТИ
: 50.41
ББК
: З 973.2-018.2я431
Предметные рубрики:
Проблемно-ориентированное
программирование
Дескрипторы:
сб пр
Ключевые слова
(''Своб.индексиров.''): проблемно-ориентированное
программирование
--базы данных
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
10.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/384
Заглавие
: Parallel computing 1988 : Shell conf., Amsterdam, The Netherlands, June 1-2, 1988. Proc
Выходные данные
: New York: Springer, 1989
Колич.характеристики
:6,135 p.: Ill.
Серия:
Lecture notes in computer science; 384
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-51604-2:
ГРНТИ
: 50.05.15
ББК
: З 973.22-018Я431
Предметные рубрики:
Параллельные компьютеры-- Программное обеспечение
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): параллельное
программирование
--параллельные алгоритмы
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-20
21-30
31-40
41-50
51-60
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН