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

Базы данных

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

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

Вид поиска

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

Вид документа : Однотомное издание
Шифр издания : Pr1090/Pr1090/2003-02
Автор(ы) : Ablayev, Farid
Заглавие : On comparative computation power of classical and quantum branching programs : сборник
Выходные данные : Bonn, 2003
Колич.характеристики :22 p.
Серия: Preprint series: Max-Planck-Inst. fur Mathematik; 2003-02
Примечания : Bibliogr.: p. 21-22
Цена : 6.40 р.
ГРНТИ : 50.05.03
ББК : З 973.2-018
Предметные рубрики: Компьютеры-- Программное обеспечение
Дескрипторы: моногр--сб пр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : Pr912/Pr912/130
Заглавие : Advances in computing and control : Papers selected out of those presented at the 1988 Intern. conf. on advances in communication a. conbtrol systems, Baton Rouge, US, 19-21 Oct., 1988
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VI,367 p.: Ill.
Серия: Lecture notes in control and information sciences; 130
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-51425-2:
ГРНТИ : 50.33.35 + 50.05.15 + 28.19
ББК : З 965-01в641я431 + З 973.205-01В641Я431
Предметные рубрики: Теория автоматического управления-- Математические методы
Нейронные вычислительные машины
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): динамические системы автоматического регулирования
Экземпляры :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.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/632
Заглавие : Algebraic and logic programming : Third Intern. conf., Volterra, Italy, Sept. 2-4, 1992. Proc
Выходные данные : Berlin: Springer, 1992
Колич.характеристики :IX, 457 p.: Ill.
Серия: Lecture notes in computer science; 632
Примечания : Bibliogr. at the end the of art
ISBN, Цена 3-540-55873-X: Б.ц.
ГРНТИ : 50.05.03
ББК : З 973.205-018.12Я431
Предметные рубрики: Логическое программирование
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): функциональное и логическое программирование
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие

5.

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

6.

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

7.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/779
Заглавие : Algorithms and complexity : 2nd Italian conf., CIAC'94, Rome, Italy, Febr. 23-25, 1994 : Proc.
Выходные данные : Berlin: Springer, 1994
Колич.характеристики :VI, 222 p.: Ill.
Серия: Lecture notes in computer science; 778
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-57811-0: Б.ц.
ГРНТИ : 50.05.03
ББК : З 973.2-018я431
Предметные рубрики: Компьютеры-- Программное обеспечение
Дескрипторы: сб пр--конф.м
Ключевые слова (''Своб.индексиров.''): конечные автоматы--теория графов
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие

8.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/650
Заглавие : Algorithms and computation : Third Inter. symp., ISAAC '92 Nagoya, Japan, Dec. 16-18, 1992. Proceedings
Выходные данные : Berlin: Springer, 1992
Колич.характеристики :XI, 510 p.: Ill.
Серия: Lecture notes in computer science; 650
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 509-510
ISBN, Цена 3-540-56279-6: Б.ц.
ГРНТИ : 50.05.17
ББК : З 973.2-018я431
Предметные рубрики: Компьютеры-- Алгоритмы
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): он-лайн алгоритмы--параллельные алгоритмы--структуры данных
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие

9.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/762
Заглавие : Algorithms and computation : 4th Intern. symp., ISAAC '93, Hong Kong, Dec. 15-17, 1993: Proceedings
Выходные данные : Berlin: Springer, 1993
Колич.характеристики :XIII, 542 p.: Ill.
Серия: Lecture notes in computer science; 762
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-57568-5: Б.ц.
ГРНТИ : 50.05.03
ББК : З 973.2-018я431
Предметные рубрики: Компьютеры-- Алгоритмы
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): коды--параллельные вычисления--криптография
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/709
Заглавие : Algorithms and data structures : 3rd workshop, WADS'93, Montreal, Canada, Aug. 11-13, 1993 : Proc.
Выходные данные : Berlin: Springer, 1993
Колич.характеристики :XII, 634 p.: Ill.
Серия: Lecture notes in computer science; 709
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 634
ISBN, Цена 3-540-57155-8: Б.ц.
ГРНТИ : 50.05.03
ББК : З 973.2-018я431
Предметные рубрики: Компьютеры-- Алгоритмы
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): графы--сопоставление образов
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие

 1-10    11-20   21-30   31-40   41-50   51-60      
 
© 1997-2017 Отделение ГПНТБ СО РАН