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

Базы данных

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

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

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=языки программирования<.>)
Общее количество найденных документов : 16
Показаны документы с 1 по 10
 1-10    11-16 
1.

Вид документа : Однотомное издание
Шифр издания : И-З 97/M71
Автор(ы) : Milutinovic, Veljko
Заглавие : Tutorial on advanced microprocessors and high-level language computer architecture : сборник
Выходные данные : Washington: IEEE Computer society press, 1986
Колич.характеристики :X, 597 p.: Ill.
Примечания : Bibliogr. at the end of the chap
ISBN, Цена 0-8186-0623-1: Б.ц.
ГРНТИ : 50.33.03
ББК : З 973.2-047.1-02я43
Предметные рубрики: Микропроцессоры-- Архитектура
Дескрипторы: сб
Ключевые слова (''Своб.индексиров.''): большие интегральные схемы--языки программирования
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/335
Заглавие : Concurrency 88 : Proc. of the Intern. conf. on concurrency, Hamburg, FRG, Oct. 18-19, 1988
Выходные данные : Berlin: Springer, 1988
Колич.характеристики :VI,401 p.: Ill.
Серия: Lecture notes in computer science; 335
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 401
ISBN, Цена 3-540-50403-6: Б.ц.
ГРНТИ : 50.41.23
ББК : З 973.22-01я431
Предметные рубрики: Распределенные системы вычислительные
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): языки программирования--верификация--распределенные базы данных
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
3.

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

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/389
Заглавие : Category theory and computer science : Manchester, UK, Sept. 5-8, 1989. Proc.
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VI,365 p.: Ill.
Серия: Lecture notes in computer science; 389
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-51662-X:
ГРНТИ : 50.05 + 27.17
ББК : З 973.2-018я431 + В152.53Я431
Предметные рубрики: Программное обеспечение-- ЭВМ
Категории-- Алгебра
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): логика программ--языки программирования--теория категорий
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/372
Заглавие : Automata, languages and programming : 16th intern. colloquium Stresa, Italy, July 11-15, 1989. Proc.
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :XI,788 p.: Ill.
Серия: Lecture notes in computer science; 372
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-51371-X:
ГРНТИ : 50.05 + 28.25
ББК : З 815я431 + З 973.2-018я431
Предметные рубрики: Дискретные автоматы-- Теория
Программное обеспечение-- ЭВМ
Дескрипторы: сб пр
Ключевые слова (''Своб.индексиров.''): дискретные автоматы--языки программирования--семантика
Экземпляры :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.

Вид документа : Однотомное издание
Шифр издания : Pr1019/Pr1019/418
Заглавие : Sorts and types in artificial intelligence : Workshop, Eringerfeld, FRG, Apr. 24-26, 1989. Proc.
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :VIII,307 p.: Ill.
Серия: Lecture notes in artificial intelligence; 418
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-52337-5:
ГРНТИ : 50.05.09 + 28.23
ББК : З 813я431 + З 973.2-018.11я431
Предметные рубрики: Искусственный интеллект
Общение человека с компьютером
Дескрипторы: сб пр
Ключевые слова (''Своб.индексиров.''): логическое программирование--языки программирования
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/432
Заглавие : ESOP' 90 : 3rd Europ. symp. on programming. Copenhagen, Denmark, May 15-18, 1990. Proc.
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :IX, 436 p.
Серия: Lecture notes in computer science; 432
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 436
ISBN, Цена 3-540-52592-0: Б.ц.
ГРНТИ : 50.41
ББК : З 973.2-018я431
Предметные рубрики: Программное обеспечение-- ЭВМ
Дескрипторы: сб пр--конф.м
Ключевые слова (''Своб.индексиров.''): языки программирования--семантика--логика программ
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : И-З 84/E91
Заглавие : EURO ASIC '91 : Paris, Mai 27-31, 1991
Выходные данные : Los Alamitos: IEEE computer soc. press, 1991
Колич.характеристики :XII, 396 p.: Ill.
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 395-396
ISBN, Цена 0-8186-2185-0: Б.ц.
ГРНТИ : 47.33.31
ББК : З 844.15я431
Предметные рубрики: Интегральные схемы
Дескрипторы: конф
Ключевые слова (''Своб.индексиров.''): цифровая обработка сигналов--языки программирования--топология--проектирование--испытания--производство
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/512
Заглавие : ECOOP' 91 European conference on object-oriented programming : Fifth Europ. conf. on object-oriented programming, ECOOP, Geneva, July 1991. Proc
Выходные данные : Berlin: Springer, 1991
Колич.характеристики :VI, 396 p.: Ill.
Серия: Lecture notes in computer science; 512
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-54262-0: Б.ц.
ГРНТИ : 50.05.13
ББК : З 973.203.4-018я431
Предметные рубрики: Объектно-ориентированное программирование
Дескрипторы: конф
Ключевые слова (''Своб.индексиров.''): языки программирования--верификация программ
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
 1-10    11-16 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН