Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>R=50.05.09$<.>)
Общее количество найденных документов
:
119
Показаны документы
с 1 по 10
1-10
11-20
21-30
31-40
41-50
51-60
1.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
2.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/425
Заглавие
: Algebraic logic and universal algebra in computer science : Conf., Ames, Lowa, USA, Jun. 1-4, 1988., Proc
Выходные данные
: Berlin: Springer, 1990
Колич.характеристики
:XI,292 p.: Ill.
Серия:
Lecture notes in computer science; 425
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-97288-9: Б.ц.
ГРНТИ
: 50.07.03 +
50.05.09
ББК
: З 973.205-018.12я431
Предметные рубрики:
Логическое программирование
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): логика программ--логическое программирование--семантика
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
3.
Вид документа
: Однотомное издание
Шифр издания
: Pr1086/Pr1086/88-18
Автор(ы)
: Einarsson, Bo
Заглавие
: Application of mixed language programming : сборник
Выходные данные
: Linkoping, 1988
Колич.характеристики
:38 p.
Серия:
LiTH-MAT-R/ Linkoping University, The Institute of Technology. Department of Mathematics, ISSN 0348-2960; 88-18
Примечания
: Bibliogr.: p. 17-18
Цена
: 12 р.
ГРНТИ
:
50.05.09
ББК
: З 973.2-018.12
Предметные рубрики:
Языки программирования
Дескрипторы:
сб пр--моногр
Ключевые слова
(''Своб.индексиров.''): интерфейс--типы данных--виртуальная библиотека программ
Экземпляры
:02 ВМИ(1)
Свободны
: 02 ВМИ(1)
Найти похожие
4.
Вид документа
: Однотомное издание
Шифр издания
: Pr1019/Pr1019/587
Заглавие
: Aspects of automated natural language generation : 6th intern. workshop on natural language generation, Trento, Italy, Apr. 5-7, 1992. Proc
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:VIII, 308 p.: Ill.
Серия:
Lecture notes in artificial intelligence; 587
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-55399-1: Б.ц.
ГРНТИ
:
50.05.09
+ 16.31.61
ББК
: З 973.2-018.12я431 + Ш112.2Я431
Предметные рубрики:
Языки программирования
Математическая лингвистика
Дескрипторы:
сб пр--конф.м
Ключевые слова
(''Своб.индексиров.''): логическое программирование--лингвистический выбор
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
5.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/407
Заглавие
: Automatic verification methods for finite state systems : Intern. workshop, Grenoble, France, June 12-14, 1989. Proc.
Выходные данные
: Berlin: Springer, 1990
Колич.характеристики
:VII,382 p.: Ill.
Серия:
lecture notes in computer science; 407
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-52148-8:
ГРНТИ
:
50.05.09
ББК
: З 973.2-018.14я431
Предметные рубрики:
Верификация-- Программ ЭВМ
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): процесс алгебры--временная логика--теория конечных автоматов
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
6.
Вид документа
: Однотомное издание
Шифр издания
: З97/Ф833
Автор(ы)
: Франка П.
Заглавие
: C++ : [26 уроков для освоения языка]: Учеб. курс
Выходные данные
: СПб.: Питер, 1999
Колич.характеристики
:521 с.: ил + 1 дискета
Примечания
: Алф. указ.: с.516-521
ISBN, Цена
5-314-00136-5: Б.ц.
ГРНТИ
:
50.05.09
ББК
: З 973.203.4-018.12Си
Предметные рубрики:
Си++, язык программирования, персональных ЭВМ
Дескрипторы:
моногр--уч
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
7.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/417
Заглавие
: COLOG-88 : Intern. conf. on computer logic, Tallinn, USSR, Dec. 12-16, 1988. Proc.
Выходные данные
: Berlin: Springer, 1990
Колич.характеристики
:VI,338 p.
Серия:
Lecture notes in computer science; 417
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-52335-9:
ГРНТИ
:
50.05.09
ББК
: З 973.205-018.12Я431
Предметные рубрики:
Логическое программирование
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): логика программ
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
8.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/626
Заглавие
: Computer science logic : 5th workshop, CSL'91 Berne, Switzerland, Oct. 7-11, 1991. Proceedings
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:VII, 428 p.: Ill.
Серия:
Lecture notes in computer science; 626
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-55789-X: Б.ц.
ГРНТИ
:
50.05.09
+ 28.25
ББК
: З 973.205-018.12я431 + З 815я431
Предметные рубрики:
Логическое программирование
Теория автоматов
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): семантика--автоматы--сети петри
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
9.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/702
Заглавие
: Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, Sept.28 - Oct.2, 1992. Sel. papers
Выходные данные
: Berlin: Springer, 1993
Колич.характеристики
:VIII,439 p.: Ill.
Серия:
Lecture notes in computer science; 702
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-56992-8: Б.ц.
ГРНТИ
:
50.05.09
ББК
: З 973.2-018.12я431
Предметные рубрики:
Языки программирования
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): операционная семантика--процесс алгебры--функциональные языки
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
10.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-20
21-30
31-40
41-50
51-60
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН