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

Базы данных

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

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

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

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/411
Заглавие : Graph - theoretic concepts in computer science : 15th intern. workshop WG'89 Castle Rolduc, The Netherlands, June 14-16, 1989. Proc.
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :VII,372 p.: Ill.
Серия: Lecture notes in computer science; 411
Примечания : Bibliogr. at the end of the art. - - Auth. ind. at the end of the books
ISBN, Цена 3-540-52292-1:
ГРНТИ : 50.07
ББК : З 973.2-01в641я431
Предметные рубрики: Компьютеры-- Теория
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): эвм--теория графов
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/415
Заглавие : STACS 90 : 7th Annu. symp. on theoretical aspects of computer science, Rouen, France, Febr. 22-24, 1990. Proc.
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :VI, 312 p.: Ill.
Серия: Lecture notes in computer science; 415
Примечания : Bibliogr. at the end of the art. - - Ind. of auth. at the end of the book
ISBN, Цена 3-540-52282-4:
ГРНТИ : 28.25.15 + 50.07.03
ББК : З 973.2-01в641я431 + З 813я431
Предметные рубрики: Компьютеры-- Теория
Искусственный интеллект
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): искусственный интеллект--конечные автоматы--теория эвм
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/452
Заглавие : Mathematical foundations of computer science 1990 : Banska Bystrica, Czechoslovakia, Aug. 27-31, 1990. Proc.
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :VIII, 544 p.: Ill.
Серия: Lecture notes in computer science; 452
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-52953-5: Б.ц.
ГРНТИ : 50.07.03
ББК : З 973.2-01в641я431
Предметные рубрики: Компьютеры-- Теория
Дескрипторы: сб пр--конф.м
Ключевые слова (''Своб.индексиров.''): теория сложности--сети петри--систолические автоматы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/520
Заглавие : Mathematical foundations of computer science 1991 : 16 Intern. symp. Kazimierz Dolny, Poland, Sept. 9-13, 1991. Proceedings
Выходные данные : Berlin: Springer, 1991
Колич.характеристики :XI, 435 p.: Ill.
Серия: Lecture notes in computer science; 520
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-54345-7: Б.ц.
ГРНТИ : 50.07.03
ББК : З 973.2-01я431
Предметные рубрики: Компьютеры-- Теория
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): параллельные вычисления--распределенные вычисления--семантика
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/577
Заглавие : STACS 92 : 9th Annu. symp. on theoretical aspects of computer science Cachan, France, Febr. 13-15, 1992. Proceedings
Выходные данные : Berlin: Springer, 1992
Колич.характеристики :XIV, 620 p.: Ill.
Серия: Lecture notes in computer science; 577
Примечания : Bibliogr. at the end of the art. - - Ind. of auth. at the end of the book
ISBN, Цена 3-540-55210-3: Б.ц.
ГРНТИ : 50.07.03
ББК : З 973.2-01я431
Предметные рубрики: Компьютеры-- Теория
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): параллельные алгоритмы--логика программ--семантика--криптография
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/629
Заглавие : Mathematical foundations of computer science 1992 : 17th intern. symp., Prague, Czechosl., Aug. 24-28, 1992 : Proc.
Выходные данные : Berlin: Springer, 1992
Колич.характеристики :IX, 521 p.: Ill.
Серия: Lecture notes in computer science; 629
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-55808-X: Б.ц.
ГРНТИ : 50.07.03
ББК : З 973.2-01я431
Предметные рубрики: Компьютеры-- Теория
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): конечные автоматы--сети петри--алгебраические множества
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
7.

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

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/761
Заглавие : Foundations of software technology and theoretical computer science : 13th conf. Bombay, India, Dec. 15-17, 1993: Proceedings
Выходные данные : Berlin: Springer, 1993
Колич.характеристики :XIV, 453 p.: Ill.
Серия: Lecture notes in computer science; 761
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-57529-4: Б.ц.
ГРНТИ : 50.05.03
ББК : З 973.2-01я431
Предметные рубрики: Программное обеспечение-- ЭВМ
Компьютеры-- Теория
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): преобразование термов--параллельные алгоритмы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/775
Заглавие : STACS 94 : 11th Annu. symp. on theoretical aspects of computer science Caen, France, Febr. 24-26, 1994: Proceedings
Выходные данные : Berlin: Springer, 1994
Колич.характеристики :XIV,782 p.: Ill.
Серия: Lecture notes in computer science; 775
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 781-782
ISBN, Цена 3-540-57785-8: Б.ц.
ГРНТИ : 50.07.03
ББК : З 973.2-01я431
Предметные рубрики: Компьютеры-- Теория
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): верификация систем--геометрические вычисления--логика программ
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
10.

Вид документа : Многотомное издание
Шифр издания : Шифр см. у томов
Заглавие : Handbook of automated reasoning
Выходные данные : Amsterdam; London; New York: Elsevier; Cambridge: MIT press, 2001
ISBN, Цена 0-444-50813-9: Б.ц.
ISBN, Цена 0-262-18223-8: Б.ц.
ГРНТИ : 50.07 + 27.03
ББК : З 973.2-01я22 + В12я22
Предметные рубрики: Компьютеры-- Теория
Математическая логика
Найти похожие
 1-10    11-11 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН