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

Базы данных

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

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

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.07.03$<.>)
Общее количество найденных документов : 43
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-43 
1.

Algebraic and logic programming/Ed. by J. Grabowski et al.. - 1988
2.

Lisper B. Synthesizing synchronous systems by static scheduling in space-time/B. Lisper. - 1989
3.

Machines, languages, and complexity/Ed. by J. Dassow, J. Kelemen. - 1989
4.

Linear time, branching time and partial order in logics and models for concurrency/Ed. by J. W. de Bakker a. o. - 1989
5.

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

Algebraic logic and universal algebra in computer science/Ed. by C. H. Bergman et al. - 1990
7.

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

Karlsson J. A note on Hopfield's Liapunov function for Hopfield-Tank neural networks/J. Karlsson. - 1990
9.

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

Weichselberger K. A methodology for uncertainty in knowledge-based systems/K. Weichselberger, S. Pohlmann. - 1990
 1-10    11-20   21-30   31-40   41-43 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН