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

Базы данных

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

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

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.05.09$<.>)
Общее количество найденных документов : 119
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.

Вид документа : Однотомное издание
Шифр издания : И-З 973.2/E40
Автор(ы) : Einarsson, Bo
Заглавие : The applicability of data flow analysis to different programming languages
Выходные данные : Stockholm, 1977
Колич.характеристики :42 p.
Коллективы : Forsvarets Forskningsanstalt (Stockholm)
Серия: FOA C-rapport/ Forsvarets Forsknigsanstalt; 20209-М4
Примечания : Bibliogr.: p. 38-42. - Res. also Swed.FOA rapport (сер. не заведена).
Цена : 12 р.
ГРНТИ : 50.05.09
ББК : З 973.2-018.12
Предметные рубрики: Языки программирования
Дескрипторы: моногр
Экземпляры :02 ВМИ(1)
Свободны : 02 ВМИ(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : Pr1091/Pr1091/633
Автор(ы) : Rice, John R
Заглавие : Language independent PROTRAN : сборник
Выходные данные : West Lafayette, 1986
Колич.характеристики :11 p.
Серия: CSD-TR/ Purdue university (Lafayette). Computer sciences department; 633
Примечания : Bibliogr.: p. 11
Цена : 3 р.
ГРНТИ : 50.05.09
ББК : З 973.2-018.12
Предметные рубрики: Языки программирования
Дескрипторы: сб пр--моногр
Экземпляры :02 ВМИ(1)
Свободны : 02 ВМИ(1)
Найти похожие
3.

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

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

Вид документа : Однотомное издание
Шифр издания : З 97/А161
Автор(ы) : Абрамов, Владимир Геннадьевич, Трифонов, Николай Павлович
Заглавие : Введение в язык паскаль : учебное пособие для вузов по специальности "Прикладная математика"
Выходные данные : Москва: Наука, 1988
Колич.характеристики :319 с
Примечания : Библиогр.: с. 316
ISBN, Цена 5-02-013794-4: Б.ц.
ГРНТИ : 50.05.09
ББК : З 973.2-018.12Паскаль
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/385
Заглавие : CSL' 88 : 2nd workshop on computer science logic, Duisburg, FRG, Oct. 3-7, 1988. Proc.
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VI,399 p.: Ill.
Серия: Lecture notes in computer science; 385
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-51659-X:
ГРНТИ : 50.05.09 + 27.03
ББК : З 973.2-018.12я431 + В12Я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.

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

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/380
Заглавие : Fundamentals of computation theory : Intern. conf. FCT '89 Szeged, Hungary, Aug. 21-25, 1989. Proc
Выходные данные : New York: Springer, 1989
Колич.характеристики :XI, 493 p.: Ill.
Серия: Lecture notes in computer science; 380
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-51498-8:
ГРНТИ : 50.05.09 + 28.25
ББК : З 815я431 + З 973.2-018я431
Предметные рубрики: Абстрактные автоматы
Программное обеспечение-- ЭВМ
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): автоматы--логика программы--формальные языки--алгоритмы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН