Главная Упрощенный режим Описание Шлюз 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.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : Pr1097/Pr1097/107
Автор(ы) : Brien, Stephen, Nicholls, John E
Заглавие : Z base standard. Version 1.0
Выходные данные : Oxford, 1992
Колич.характеристики :XIV,202 p.
Серия: Technical monograph/ Oxford. University, Computing laboratory. Programming research group; PRG-107
Примечания : Bibliogr.: p. 202
ISBN, Цена 0-902928-84-8: 90 р.
ГРНТИ : 50.05.09
ББК : З 973.2-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/715
Заглавие : CONCUR '93 : 4th Intern. conf. on concurrency theory Hildesheim, Germany, Aug. 23-26, 1993. Proceedings
Выходные данные : Berlin: Springer, 1993
Колич.характеристики :IX, 540 p.: Ill.
Серия: Lecture notes in computer science; 715
Примечания : Bibliogr. at the end of the art. - - Auth. ind. at the end of the book
ISBN, Цена 3-540-57208-2: Б.ц.
ГРНТИ : 50.05.09
ББК : З 973.2-018я431
Предметные рубрики: Программное обеспечение-- ЭВМ
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): бисимуляция--процесс алгебры--временная верификация
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН