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

Базы данных

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

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

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

   
    Graph - theoretic concepts in computer science : 15th intern. workshop WG'89 Castle Rolduc, The Netherlands, June 14-16, 1989. Proc. / Ed. by M. Nagl. - Berlin [et al.] : 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
Перевод заглавия: Теория графов в приложении к вычислительной науке
50.07
ББК З 973.2-01в641я431
Рубрики: Компьютеры--Теория
Кл.слова (ненормированные):
ЭВМ -- теория графов
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 201-25-91+02
Найти похожие
2.
   Pr869
   Pr869/415
Pr869/415 / Pr869/415-02

   
    STACS 90 : 7th Annu. symp. on theoretical aspects of computer science, Rouen, France, Febr. 22-24, 1990. Proc. / Ed. by C. Choffrut, T. Lengauer. - Berlin [et al.] : 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
Перевод заглавия: Труды 7-го ежегодного симпозиума по теоретическим аспектам вычислительной науки
28.25.15
50.07.03
ББК З 973.2-01в641я431 + З 813я431
Рубрики: Компьютеры--Теория
   Искусственный интеллект
Кл.слова (ненормированные):
искусственный интеллект -- конечные автоматы -- теория ЭВМ
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 201-30-91+02
Найти похожие
3.
   Pr869
   Pr869/452
Pr869/452 / Pr869/452-02

   
    Mathematical foundations of computer science 1990 : banska Bystrica, Czechoslovakia, Aug. 27-31, 1990. Proc. / Ed. by B. Rovan. - Berlin [et al.] : Springer, 1990. - VIII, 544 p. : Ill. - (Lecture notes in computer science ; 452). - Bibliogr. at the end of the art
Перевод заглавия: Математические основы вычислительной техники
50.07.03
ББК З 973.2-01в641я431
Рубрики: Компьютеры--Теория
Кл.слова (ненормированные):
теория сложности -- сети Петри -- систолические автоматы
Дескрипторы: сб пр -- конф.м

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 162-16-93+02
Найти похожие
4.
   Pr869
   Pr869/520
Pr869/520 / Pr869/520-02

   
    Mathematical foundations of computer science 1991 : 16 Intern. symp. Kazimierz Dolny, Poland, Sept. 9-13, 1991. Proceedings / A. Tarlecki (Ed.). - Berlin [et al.] : Springer, 1991. - XI, 435 p. : Ill. - (Lecture notes in computer science ; 520). - Bibliogr. at the end of the art
Перевод заглавия: Математические основы вычислительной техники
50.07.03
ББК З 973.2-01я431
Рубрики: Компьютеры--Теория
Кл.слова (ненормированные):
параллельные вычисления -- распределенные вычисления -- семантика
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 68-1-94+02
Найти похожие
5.
   Pr869
   Pr869/577
Pr869/577 / Pr869/577-02

   
    STACS 92 : 9th Annu. symp. on theoretical aspects of computer science Cachan, France, Febr. 13-15, 1992. Proceedings / A. Finkel, M. Jantzen (Eds.). - Berlin [et al.] : 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
Перевод заглавия: Труды ежегодного симпозиума по теоретическим аспектам вычислительной техники
50.07.03
ББК З 973.2-01я431
Рубрики: Компьютеры--Теория
Кл.слова (ненормированные):
параллельные алгоритмы -- логика программ -- семантика -- криптография
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 68-8-94+02
Найти похожие
6.
   Pr869
   Pr869/629
Pr869/629 / Pr869/629-02

   
    Mathematical foundations of computer science 1992 : 17th intern. symp., Prague, Czechosl., Aug. 24-28, 1992 : Proc. / Ed. by I. M. Havel, V. Koubek. - Berlin [et al.] : Springer, 1992. - IX, 521 p. : Ill. - (Lecture notes in computer science ; 629). - Bibliogr. at the end of the art
Перевод заглавия: Математические основы вычислительной техники
50.07.03
ББК З 973.2-01я431
Рубрики: Компьютеры--Теория
Кл.слова (ненормированные):
конечные автоматы -- сети Петри -- алгебраические множества
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 199-10-93+02
Найти похожие
7.
   Pr869
   Pr869/711
Pr869/711 / Pr869/711-02

   
    Mathematical foundations of computer science 1993 : 18th intern. symp., MFCS'93 Gdansk, Poland, Aug./Sept. 1993. Proceedings / A. M. Borzyszkowski, S. Sokolowski (Eds.). - Berlin [et al.] : 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
Перевод заглавия: Математические основы вычислительной техники
50.07
ББК З 973.2-01в641я431
Рубрики: Компьютеры--Теория
Кл.слова (ненормированные):
теория автоматов -- языки программирования -- семантика программ
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 233-14-94+02
Найти похожие
8.
   Pr869
   Pr869/761
Pr869/761 / Pr869/761-02

   
    Foundations of software technology and theoretical computer science : 13th conf. Bombay, India, Dec. 15-17, 1993: Proceedings / R. K. Shyamasundar, ed. - Berlin [et al.] : Springer, 1993. - XIV, 453 p. : Ill. - (Lecture notes in computer science ; 761). - Bibliogr. at the end of the art
Перевод заглавия: Основы теории вычислительной техники и программного обеспечения
50.05.03
ББК З 973.2-01я431
Рубрики: Программное обеспечение--ЭВМ
   Компьютеры--Теория
Кл.слова (ненормированные):
преобразование термов -- параллельные алгоритмы
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 51-5-95+02
Найти похожие
9.
   Pr869
   Pr869/775
Pr869/775 / Pr869/775-02

   
    STACS 94 : 11th Annu. symp. on theoretical aspects of computer science Caen, France, Febr. 24-26, 1994: Proceedings / P. Enjalbert et al. (Eds.). - Berlin [et al.] : Springer, 1994. - XIV,782 p. : Ill. - (Lecture notes in computer science ; 775). - Bibliogr. at the end of the art.
- Auth. ind.: p. 781-782
Перевод заглавия: Труды ежегодного симпозиума по теоретическим аспектам вычислительной техники
50.07.03
ББК З 973.2-01я431
Рубрики: Компьютеры--Теория
Кл.слова (ненормированные):
верификация систем -- геометрические вычисления -- логика программ
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 51-7-95+02
Найти похожие
10.
   Шифр см. у томов

   
    Handbook of automated reasoning / eds.: A. Robinson, A. Voronkov. - Amsterdam [et al.] : Elsevier ; Cambridge : MIT press, 2001
Перевод заглавия: Справочник по автоматическому мышлению
ГРНТИ
50.07
27.03
ББК З 973.2-01я22 + В12я22
Рубрики: Компьютеры--Теория
   Математическая логика


Доп.точки доступа:
Robinson, Alan \ed.\; Voronkov, Andrei \ed.\
Свободных экз. нет
 1-10    11-11 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН