Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>S=Компьютеры -- Теория<.>)
Общее количество найденных документов
:
11
Показаны документы
с 1 по 10
1-10
11-11
1.
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
Найти похожие
2.
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
Найти похожие
3.
Шифр см. у томов
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.\
Свободных экз. нет
4.
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
Найти похожие
5.
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
Найти похожие
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/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
Найти похожие
9.
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
Найти похожие
10.
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
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-11
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН