Eclipse

C 4237

Каталог "Книги" | Книга

Third Logical Biennial

Conference in honour of S. C. Kleene, June 6 - 15, 1990, Chaika near Varna (1990)

B 59825

Каталог "Книги" | Книга

Моделирование семантики в базах данных

[Моногр.] (1989)

М. Цаленко

Математические методы построения и анализа алгоритмов

B 60862

Каталог "Книги" | Книга

Математические методы построения и анализа алгоритмов

(1990)

А. Слисенко

B 54955

Каталог "Книги" | Книга

Модели данных

(1985)

Д. Цикритзис; Х. Уэрта де Сото; Лоховски

Содержательная семантика модальной логики

B 55396

Каталог "Книги" | Монография

Содержательная семантика модальной логики

[ Моногр. ] (1985)

Юрий Ивлев

Логиката в икономико-математическото моделиране

B 52996

Каталог "Книги" | Монография

Логиката в икономико-математическото моделиране

[ Моногр. ] (1985)

Димитър Билярски

Синтез и применение алгоритмов обработки информации и управления при различных типах неопределенности

B 54079

Каталог "Книги" | Книга

Синтез и применение алгоритмов обработки информации и управления при различных типах неопределенности

[ Сб. статей ] (1983)

В. Живоглядов

B 51843

Каталог "Книги" | Книга

Общая теория оптимальных алгоритмов

[Моногр.] (1983)

Джо Трауб; Х. Вожьнявский

Моделирование на цифровых аналоговых и гибридных ЭВМ

B 51849

Каталог "Книги" | Книга

Моделирование на цифровых аналоговых и гибридных ЭВМ

Уч. пособие (1983)

Виталий Ажогин; М. Згуровский

Индуктивный метод самоорганизации моделей сложных систем

B 53817

Каталог "Книги" | Книга

Индуктивный метод самоорганизации моделей сложных систем

[ Ръководство ] (1982)

Алексей Ивахненко

МОДЕЛИ принятия решений на основе лингвистической переменной

B 52260

Каталог "Книги" | Книга

МОДЕЛИ принятия решений на основе лингвистической переменной

(1982)

Аркадий Борисов

Математическая логика и основания математики

B 51541

Каталог "Книги" | Книга

Математическая логика и основания математики

В 2 Т. (1982 -)

Т. 1. Основания математики : Логические исчисления и формализация арифметики

Давид Гильберт; Д. Гильберт; П. Бернайс

Основания математики. Теория доказательств

B 50908

Каталог "Книги" | Книга

Основания математики. Теория доказательств

(1982)

Д. Гильберт; П. Бернайс

Информационный подход к моделированию технологических процессов

B 53568

Каталог "Книги" | Книга

Информационный подход к моделированию технологических процессов

[ Изследване ] (1984)

Юрий Долгов; В. Борщевич; Г. Сорокин

B 60471

Каталог "Книги" | Книга

Вычислительные аспекты СБИС

(1990)

Дж. Ульман

Анализ и применение математических моделей экономической динамики

B 60735

Каталог "Книги" | Книга

Анализ и применение математических моделей экономической динамики

Сб. науч. тр. : Науч. изд. (1990)

В. Бусыгин

Системный анализ проблем экономического развития региона

B 60905

Каталог "Книги" | Монография

Системный анализ проблем экономического развития региона

Моногр. (1990)

Рувин Авербух

B 60162

Каталог "Книги" | Книга

Теория систем

Сб. статей (1989)

Н. Емельянова

Моделирование задач оптимизации и дифференциальных игр

B 60187

Каталог "Книги" | Книга

Моделирование задач оптимизации и дифференциальных игр

[Моногр.] (1989)

В. Васильев

B 60494

Каталог "Книги" | Книга

Модели в системах обработки данных

Сб. науч. тр. (1989)

И. Овсеевич