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

Базы данных

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

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

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

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

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

STACS 92/A. Finkel, M. Jantzen (Eds.). - 1992
4.

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

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

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

Mathematical foundations of computer science 1991/A. Tarlecki (Ed.). - 1991
8.

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

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

Graph - theoretic concepts in computer science/Ed. by M. Nagl. - 1990
 1-10    11-11 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН