Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=программирование<.>)
Общее количество найденных документов
:
431
Показаны документы
с 1 по 10
1-10
11-20
21-30
31-40
41-50
51-60
1.
Вид документа
: Однотомное издание
Шифр издания
: Шифр см. у томов/Pr1033
Заглавие
: Proceedings of the ... annual international computer software and applications conference : переводное издание
Выходные данные
: Los Alamitos: IEEE Computer soc. press, 19 - International computer software and applications conference
Перевод издания:
Сборник докладов на ... международной конференции по программному обеспечению вычислительных машин и его применению
Цена
: Б.ц.
ГРНТИ
: 50.41.01
ББК
: З 973.205-018я431
Предметные рубрики:
Компьютеры пятого поколения-- Программное обеспечение
Дескрипторы:
сб пр
Ключевые слова
(''Своб.индексиров.''): системы баз знаний--логическое
программирование
Найти похожие
2.
Вид документа
: Однотомное издание
Шифр издания
: Шифр см. у томов/Pr1097
Заглавие
: Technical monograph
Выходные данные
: Oxford, 19 -
Коллективы
: Oxford. University. Computing laboratory. Programming research group
Цена
: Б.ц.
ГРНТИ
: 27.47 + 50.05
ББК
: В173.1я54(4Вл) + З 973.2-018я54(4Вл)
Предметные рубрики:
Математическое
программирование
Компьютеры-- Программное обеспечение
Дескрипторы:
сб пр
Найти похожие
3.
Вид документа
: Однотомное издание
Шифр издания
: Pr1084/Pr1084/1980-19
Автор(ы)
: Zeitlin, Zeev
Заглавие
: Distribution of integer effort with a slack constraint : сборник
Выходные данные
: Goteborg, 1980
Колич.характеристики
:9 l с
Серия:
Publicationes/ Chalmers institute of technology and the University of Goteborg. Department of mathematics; № 1980-18
Примечания
: Bibliogr.: l. 7-9
Цена
: 33 р.
ГРНТИ
: 27.47
ББК
: В173.5
Предметные рубрики:
Вогнутое
программирование
Дескрипторы:
сб пр--моногр
Ключевые слова
(''Своб.индексиров.''): распределения ресурсов задача
Экземпляры
:02 ВМИ(1)
Свободны
: 02 ВМИ(1)
Найти похожие
4.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
5.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
6.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
7.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/404
Автор(ы)
: Beer, Joachim
Заглавие
: Concepts, design, and performance analysis of a parallel Prolog machine : сборник
Выходные данные
: Berlin: Springer, 1989
Колич.характеристики
:VI,128 p.: Ill.
Серия:
Lecture notes in computer science; 404
Примечания
: Bibliogr.: p. 125-128
ISBN, Цена
3-540-52053-8:
ГРНТИ
: 50.05.09
ББК
: З 973.2-018.12Prolog
Предметные рубрики:
Prolog, язык программирования
Дескрипторы:
моногр--сб пр
Ключевые слова
(''Своб.индексиров.''): эвм--параллельное
программирование
--логическое
программирование
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
8.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/402
Автор(ы)
: Bagchi, Tapan P, Chaudhri, Vinay K
Заглавие
: Interactive relational database design : A logic programming implementation
Выходные данные
: Berlin: Springer, 1989
Колич.характеристики
:XI,186 p.: Ill.
Серия:
Lecture notes in computer science; 402
Примечания
: Bibliogr.: p. 78-81
ISBN, Цена
3-540-51881-9:
ГРНТИ
: 50.41.21
ББК
: З 973.2-018.22
Предметные рубрики:
Компьютеры-- Базы данных
Дескрипторы:
моногр--сб пр
Ключевые слова
(''Своб.индексиров.''): базы данных--логическое
программирование
--реляционные базы данных
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
9.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/405
Заглавие
: Foundations of software technology and theoretical computer science : Ninth conf., Bangalore, India, Dec. 19-21, 1989. Proc.
Выходные данные
: Berlin: Springer, 1989
Колич.характеристики
:VIII,339 p.: Ill.
Серия:
Lecture notes in computer science; 405
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-52048-1:
ГРНТИ
: 50.05.09 + 50.41.01
ББК
: З 973.2-018я431
Предметные рубрики:
Программное обеспечение-- ЭВМ
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): алгоритмы--логическое
программирование
--конкурентность
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
10.
Вид документа
: Однотомное издание
Шифр издания
: Pr1019/Pr1019/383
Заглавие
: Logic programming '88 : Proc. of the 7th conf. Tokyo, Japan, Apr. 11-14, 1988
Выходные данные
: Berlin: Springer, 1989
Колич.характеристики
:6,251 p.: Ill.
Серия:
Lecture notes in artificial intelligence; 383
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-51564-X:
ГРНТИ
: 50.05.09
ББК
: З 973.205-018.12я431
Предметные рубрики:
Логическое
программирование
Дескрипторы:
сб пр
Ключевые слова
(''Своб.индексиров.''): логическое
программирование
--языки программирования
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-20
21-30
31-40
41-50
51-60
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН