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

Базы данных

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

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

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

Handbook of automated reasoning/eds.: A. Robinson, A. Voronkov. - 2001
2.

Foundations of software technology and theoretical computer science/R. K. Shyamasundar, ed. - 1993
3.

Mathematical foundations of computer science 1993/A. M. Borzyszkowski, S. Sokolowski (Eds.). - 1993
4.

Symposium on logic in computer science (5; 1990; Philadelphia).Fifth annual IEEE symposium on logic in computer science. - 1990
5.

STACS 94/P. Enjalbert et al. (Eds.). - 1994
6.

Mathematical foundations of computer science 1992/Ed. by I. M. Havel, V. Koubek. - 1992
7.

STACS 90/Ed. by C. Choffrut, T. Lengauer. - 1990
8.

Graph - theoretic concepts in computer science/Ed. by M. Nagl. - 1990
9.

Mathematical foundations of computer science 1990/Ed. by B. Rovan. - 1990
10.

STACS 92/A. Finkel, M. Jantzen (Eds.). - 1992
 1-10    11-11 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН