Элементы анализа программ. Частичные функции на множестве состояний

Элементы анализа программ. Частичные функции на множестве состояний

Bibliografiska uppgifter
Huvudupphovsman:	Абрамов С. А. Сергей Александрович
Språk:	ryska
Publicerad:	Москва, Наука, 1986
Serie:	Библиотечка программиста
Ämnen:	Численный анализ программы предикаты преобразования метод Хоора импликация функционалы погрешности анализ
Materialtyp:	Bok
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=281038

Liknande verk

Numerical Methods for Scientists and Engineers
av: Hamming R. W.
Publicerad: (New York, Dover Publications, 2013)

Прикладные методы и программирование в численном анализе: сборник трудов Научно-исследовательского вычислительного центра Московского университета
Publicerad: (Москва, Изд-во МГУ, 1985)

Численный анализ: методы, алгоритмы, программы: сборник статей
Publicerad: (Москва, Изд-во МГУ, 1988)

Численный анализ: пер. с англ.
av: Милн В. Э.
Publicerad: (Москва, Изд-во иностранной литературы, 1951)

Численные методы обработки информации при исследовании динамических систем
av: Илюхин А. Г.
Publicerad: (Киев, Наукова думка, 1971)

Численный анализ: сборник научных трудов
Publicerad: (Новосибирск, Изд-во ИТИПМ, 1978)

Методы численного анализа, изложенные на языке формул и алгоритмическом языке C#
av: Колесников А. П. Александр Петрович
Publicerad: (Москва, Либроком, 2017)

Численный анализ
Publicerad: (Новосибирск, Наука, 1989)

Численные методы анализа и метод конечных элементов: пер. с англ.
av: Бате К.
Publicerad: (Москва, Стройиздат, 1982)

Т. 2 : Численный анализ и теория обыкновенных дифференциальных уравнений; Избранные труды
Publicerad: (1980)

Численный анализ: аналитические и топологические методы
av: Колесников А. П. Александр Петрович
Publicerad: (Москва, Либроком, 2013)

Методы и алгоритмы численного анализа
Publicerad: (Москва, Изд-во Московского ун-та, 1990)

Элементы теории функций и функционального анализа: учебник
av: Колмогоров А. Н. Андрей Николаевич
Publicerad: (Москва, Наука, 1989)

Проблема логического следования в математической логике: лекция
av: Джиджян Р. З.
Publicerad: (Ереван, Изд-во Ереванского ун-та, 1981)

Элементы теории функций и функционального анализа: учебное пособие
av: Колмогоров А. Н. Андрей Николаевич
Publicerad: (М, Наука, 1968)

Элементы функционального анализа
av: Люстерник Л. А. Лазарь Аронович
Publicerad: (Москва, Наука, 1965)

Элементы функционального анализа
av: Власова Е. А.
Publicerad: (Санкт-Петербург, Лань, 2022)

Элементы теории функций и функционального анализа: учебник для вузов
av: Колмогоров А. Н. Андрей Николаевич
Publicerad: (М, Наука, 1972)

Элементы теории функций и функционального анализа: учебник для вузов
av: Колмогоров А. Н. Андрей Николаевич
Publicerad: (Москва, Наука, 1976)

Философско-методологические аспекты релевантной логики
av: Войшвилло Е. К. Евгений Казимирович
Publicerad: (Москва, Изд-во МГУ, 1988)

Основания математической логики: пер. с англ.
av: Карри Х. Хаскелл
Publicerad: (Москва, Мир, 1969)

Элементы теории систем
av: Марасанов В. В. Владимир Васильевич
Publicerad: (Кишинев, Штиинца, 1991)

Вопросы теории импликации; Межкультурная коммуникация: теория и практика; Ч. 1
av: Бакланов Е. А.
Publicerad: (2010)

Цветовой компонент сказочного мира; Коммуникативные аспекты языка и культуры; Ч. 2
av: Мищерикова М. А.
Publicerad: (2015)

Элементы теории функций и функционального анализа: [учебное пособие]
av: Колмогоров А. Н. Андрей Николаевич
Publicerad: (Москва, Мир, 1974)

Элементы численного анализа и математической обработки результатов опыта: учебное пособие
av: Гутер Р. С. Рафаил Самойлович
Publicerad: (Москва, Наука, 1970)

Введение в численный анализ: учебное пособие
av: Барахнин В. Б. Владимир Борисович
Publicerad: (СПб., Лань, 2005)

Начала математического анализа. Числа и множества чисел. Последовательности и их пределы. Пределы и непрерывность функций. Дифференциальное исчисление функций одной переменной учебное пособие для вузов
av: Шведенко С. В.
Publicerad: (Москва, НИЯУ МИФИ, 2011)

Анализ документооборота на предприятии; Молодежь и современные информационные технологии
av: Агафонов В. С.
Publicerad: (2006)

Изучение иностранных языков: проблемы и заблуждения; Современные проблемы науки и образования; № 1
av: Кобенко Ю. В. Юрий Викторович
Publicerad: (2015)

Применение функционального анализа в теории приближений: межвузовский тематический сборник; [Вып. 8]
Publicerad: (Калинин, Изд-во КГУ, 1978)

Элементы математического анализа. (Множества и операции над ними. Элементы математической логики): учебное пособие
av: Комов Н. П. Николай Павлович
Publicerad: (Ярославль, Изд-во ЯГПИ, 1987)

Исследование сжигания низкосортных казахстанских углей методом численного анализа; Современные техника и технологии; Т. 3
Publicerad: (2012)

Элементы функционального анализа: учебное пособие
av: Власова Е. А. Елена Александровна
Publicerad: (Санкт-Петербург, Лань, 2015)

Элементы математической логики
av: Новиков П. С. Петр Сергеевич
Publicerad: (Москва, Наука, 1973)

Интеллектуальные системы контроля и управления. Системы с нечеткой логикой. Практикум
av: Сириченко А. В.
Publicerad: (Москва, МИСИС, 2022)

Автоматизация конструирования библиотек программ
av: Арушанян О. Б. Олег Багратович
Publicerad: (Москва, Изд-во Московского ун-та, 1988)

Функциональный анализ: учебное пособие
av: Князев П. Н. Павел Николаевич
Publicerad: (Москва, Едиториал УРСС, 2003)

Функциональный анализ
av: Канторович Л. В. Леонид Витальевич
Publicerad: (Москва, Наука, 1977)

Элементы численного анализа и математической обработки результатов опыта
av: Гутер Р. С. Рафаил Самойлович
Publicerad: (Москва, Физматгиз, 1962)