Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=языки программирования<.>)
Общее количество найденных документов
:
16
Показаны документы
с 1 по 10
1-10
11-16
1.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
2.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
3.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
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/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)
Найти похожие
6.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
7.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/582
Заглавие
: ESOP' 92 : 4th Europ. symp. on programming, Rennes, France, Febr. 26-28, 1992 : Proc.
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:VIII, 491 p.: Ill.
Серия:
Lecture notes in computer science; 582
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-55253-7: Б.ц.
ГРНТИ
: 50.05.03
ББК
: З 973.2-018я431
Предметные рубрики:
Программное обеспечение-- ЭВМ
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''):
языки программирования
--компилятор--семантика
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
8.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/641
Заглавие
: Compiler construction : 4th Intern. conf., CC '92 Paderborn, FRG, Oct. 5-7, 1992. Proceedings
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:320 p.: Ill.
Серия:
Lecture notes in computer science; 641
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-55984-1: Б.ц.
ГРНТИ
: 50.41.17
ББК
: З 973.2-018.13я431
Предметные рубрики:
Компиляторы-- Систем программного обеспечения компьютеров
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): синтаксический анализ--
языки программирования
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
9.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/711
Заглавие
: Mathematical foundations of computer science 1993 : 18th intern. symp., MFCS'93 Gdansk, Poland, Aug./Sept. 1993. Proceedings
Выходные данные
: Berlin: Springer, 1993
Колич.характеристики
:XIII,782 p.: Ill.
Серия:
Lecture notes in computer science; 711
Примечания
: Bibliogr. at the end of the art. - - Auth., subject ind.: p. 777-782
ISBN, Цена
3-540-57182-5: Б.ц.
ГРНТИ
: 50.07
ББК
: З 973.2-01в641я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-16
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН