Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>R=50.05$<.>)
Общее количество найденных документов
:
242
Показаны документы
с 1 по 10
1-10
11-20
21-30
31-40
41-50
51-60
1.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
2.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/426
Автор(ы)
: Huobak, Niels
Заглавие
: SIL - a simulation language : User's guide
Выходные данные
: Berlin: Springer, 1990
Колич.характеристики
:V,192 p.: Ill.
Серия:
Lecture notes in computer science; Vol. 426
Примечания
: Bibliogr.: p. 189. - Ind.: p. 191-192
ISBN, Цена
3-540-52497-5: Б.ц.
ГРНТИ
:
50.05
.09
ББК
: З 973.2-018.12Sil
Предметные рубрики:
Sil, язык программирования
Дескрипторы:
сб пр--моногр
Ключевые слова
(''Своб.индексиров.''): язык программирования--моделирование
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
3.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
4.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/557
Заглавие
: ISA '91 Algorithms : 2nd Intern. symp. on algorithms Taipei, China, Dec. 16-18, 1991. Proceedings
Выходные данные
: Berlin: Springer, 1991
Колич.характеристики
:X, 395 p.: Ill.
Серия:
Lecture notes in computer science; 557
Примечания
: Bibliogr. at the end of the art. - - Auth. ind. at the end of the book
ISBN, Цена
3-540-54945-5: Б.ц.
ГРНТИ
:
50.05
.17
ББК
: З 973.2-018я431
Предметные рубрики:
Компьютеры-- Алгоритмы
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): принятие решений--динамическое программирование
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
5.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/579
Заглавие
: Distributed algorithms : 5th intern. workshop, WDAG'91, Delphi, Greece, Oct. 7-9, 1991 : Proc.
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:X, 319 p.: Ill.
Серия:
Lecture notes in computer science; 579
Примечания
: Bibliogr. at the end of the art. - - Auth. ind.: p. 319
ISBN, Цена
3-540-55236-7: Б.ц.
ГРНТИ
:
50.05
.03
ББК
: З 973.22-018Я431
Предметные рубрики:
Вычислительные системы-- Алгоритмы
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): распределенные системы
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
6.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/575
Заглавие
: Computer aided verification : 3rd Intern. workshop, CAV'91 Aalborg, Denmark, July 1-4, 1991. Proceedings
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:X, 487 p.: Ill.
Серия:
Lecture notes in computer science; 575
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-55179-4: Б.ц.
ГРНТИ
:
50.05
.17
ББК
: З 973.2-018.14я431
Предметные рубрики:
Верификация-- Программ ЭВМ
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): протоколы обмена--системы реального времени
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
7.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/574
Заглавие
: Research directions in high - level parallel programming languages : Mont Saint-Michel, France, June 17-19, 1991. Proceedings
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:VIII, 387 p.: Ill.
Серия:
Lecture notes in computer science; 574
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-54055160-3: Б.ц.
ГРНТИ
:
50.05
.09
ББК
: З 973.2-018.12я431
Предметные рубрики:
Языки программирования
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): систологические программы--параллельное программирование
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
8.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
9.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/398
Заглавие
: Temporal logic in specification : Altrincham, UK, Apr. 8-10, 1987. Proc.
Выходные данные
: Berlin: Springer, 1989
Колич.характеристики
:VI,448 p.: Ill.
Серия:
Lecture notes in computer science; 398
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-51803-7:
ГРНТИ
:
50.05
.03
ББК
: З 973.2-018я431
Предметные рубрики:
Программное обеспечение-- ЭВМ
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): временная логика--верификация программ--процесс алгебры
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
10.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/394
Заглавие
: Algebraic methods: theory, tools and applications : Workshop on " Algebraic methods: theory, tools and applications", June 9-11, 1987, Passau, Germany
Выходные данные
: Berlin: Springer, 1989
Колич.характеристики
:VI,558 p.: Ill.
Серия:
Lecture notes in computer science; 394
Примечания
: Bibliogr. at the end of the art. - - Subject ind.: p.555-558
ISBN, Цена
3-540-51698-0:
ГРНТИ
:
50.05
.03 + 27.17
ББК
: З 973.2-018я431
Предметные рубрики:
Программное обеспечение-- ЭВМ
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): программное обеспечение эвм--процесс алгебры
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-20
21-30
31-40
41-50
51-60
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН