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

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

Bibliographic Details
Main Author:	Абрамов С. А. Сергей Александрович
Published:	Москва, Наука, 1986
Series:	Библиотечка программиста
Subjects:	программы предикаты преобразования метод Хоора импликация функционалы погрешности анализ
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=281038

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Применение функционального анализа в теории приближений межвузовский тематический сборник
Published: (Калинин, Изд-во КГУ, 1978)

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

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

Исследование сжигания низкосортных казахстанских углей методом численного анализа
Published: (2012)

Вопросы теории импликации
by: Бакланов Е. А.
Published: (2010)

Цветовой компонент сказочного мира
by: Мищерикова М. А.
Published: (2015)

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

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

Анализ документооборота на предприятии
by: Агафонов В. С.
Published: (2006)

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

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

Ассиметричное сжатие цилиндрических оболочек продуктами
by: Герасимов А. В.
Published: (2003)

Интегральная геометрия и связанные с ней вопросы теории представлений
by: Гельфанд И. М. Израиль Моисеевич
Published: (Москва, Физматлит, 1962)

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

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

Методы численного анализа учебное пособие для вузов
by: Тыртышников Е. Е. Евгений Евгеньевич
Published: (Москва, Академия, 2007)

Анализ методических погрешностей измерения параметров электирических цепей в устройствах со структурно-информационной избыточностью
by: Свистунов Б. Л.
Published: (2002)

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

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

Случайные возмущения дифференциально-функциональных уравнений
by: Царьков Е. Ф.
Published: (Рига, Зинатне, 1989)

Погрешности и условия применения импульсных методов определения теплофизических характеристик материалов автореферат диссертации на соискание ученой степени кандидата физико-математических наук спец. 01.04.14
by: Кац М. Д. Марк Давыдович
Published: (Томск, 2009)

Погрешности и условия применения импульсных методов определения теплофизических характеристик материалов диссертация на соискание ученой степени кандидата физико-математических наук спец. 01.04.14
by: Кац М. Д. Марк Давыдович
Published: (Томск, [Б. и.], 2009)

Письма. Исторические сочинения
by: Бриген А. Ф. Александр Федорович
Published: (Иркутск, Восточно-Сибирское кн. изд-во, 1986)

Погрешности и условия применения импульсных методов определения теплофизических характеристик материалов автореферат диссертации на соискание ученой степени кандидата физико-математических наук спец. 01.04.14
by: Кац М. Д. Марк Давыдович
Published: (Томск, [Б. и.], 2009)