Buchumschlag

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	2017
1. Verfasser:	Lvov, M.S.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2017
Schlagworte:
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/114
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
von: Львов, М.С.
Veröffentlicht: (2015)

Интерфейс в программировании
von: Лаврищева, Е.М.
Veröffentlicht: (2007)

Javachecker: статический анализ программных комплексов с помощью переписывающих правил
von: Шевченко, Р.
Veröffentlicht: (2004)

Модифицированный алгоритм с комбинаторной селекцией переменных и его анализ
von: Павлов, А.В.
Veröffentlicht: (2010)

Формальные основы интероперабельности компонентов в программировании
von: Лаврищева, Е.М.
Veröffentlicht: (2010)

Системы линейных неравенств в математическом программировании и распознавании образов
von: Еремин, И.И., et al.
Veröffentlicht: (1988)

Алгоритм emshor и его octave реализация
von: Измаилов, А.Ф., et al.
Veröffentlicht: (2019)

Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными
von: Акуловский, В.Г., et al.
Veröffentlicht: (2015)

Поиск неизвестных законов движения на основе экстремальной теории размерностей
von: Смольяков, Э.Р.
Veröffentlicht: (2011)

Об условиях сходимости метода эмпирических средних в стохастическом программировании
von: Кнопов, П.С., et al.
Veröffentlicht: (2018)

Использование теорий анализа размерностей и подобия для описания кинетики электрохимических процессов
von: Проценко, В.С., et al.
Veröffentlicht: (2005)

Термомагнитное преобразование энергии: разработка физических основ и опытная реализация термомагнитного генератора на основе редкоземельного металла диспрозия
von: Сухарева, Т.В., et al.
Veröffentlicht: (2009)

Критерии представляемости коммутативных гиперкомплексных числовых систем прямой суммой систем низших размерностей
von: Калиновский, Я.А.
Veröffentlicht: (2012)

Категория презенса и его языковая реализация в текстах разностилевой направленности
von: Бадрутдинова, В.А., et al.
Veröffentlicht: (2014)

Анализ физических особенностей явления краевого резонанса в упругих телах
von: Городецкая, Н.С., et al.
Veröffentlicht: (2004)

Анализ физических основ и технических возможностей реализации лазерного зажигания топливных смесей
von: Тихонов, Е.А., et al.
Veröffentlicht: (2007)

Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием
von: Львов, М.С., et al.
Veröffentlicht: (2012)

Алгоритм регуляризации τ-метода Ланцоша и его реализация средствами алгебраического программирования
von: Денисенко, П.Н.
Veröffentlicht: (2011)

Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем
von: Колчин, А.В., et al.
Veröffentlicht: (2015)

Статический домен в приборе с междолинным переносом электронов на основе варизонного AlGaAs
von: Стороженко, И.П.
Veröffentlicht: (2015)

На пути к верификации С-программ. Язык c-light и его трансформационная семантика
von: Непомнящий, В.А., et al.
Veröffentlicht: (2006)

Связь теории планирования эксперимента и теории размерностей и подобия при моделировании динамических ситуаций в интеллектуальных системах исследовательского проектирования
von: Бухановский, А.В., et al.
Veröffentlicht: (2012)

Совершенствование региональных целевых программ – инструмента управления социально-экономическим развитием Одесского региона и его конкурентоспособностью
von: Пивоварчук, И.Д.
Veröffentlicht: (2011)

Как понять программу. Характеристический анализ современных подходов к пецификации программ
von: Бабенко, Л.П.
Veröffentlicht: (2012)

Создание развитых интернет-программ на примере построения виджет-программ
von: Глибовец, Н.Н., et al.
Veröffentlicht: (2011)

Особенности физических свойств и колоссальное магнитосопротивление манганитов
von: Локтев, В.М., et al.
Veröffentlicht: (2000)

Анализ эффективности труда и его стимулирование
von: Ощепков, А.П.
Veröffentlicht: (2010)

About one Approach for the Verification of Algebraic Computations
von: Lvov, M.S.
Veröffentlicht: (2025)

Специфика определения кредитоспособности физических лиц
von: Щеглова, С.С.
Veröffentlicht: (2004)

Представление физических явлений гиперслучайными моделями
von: Горбань, И.И.
Veröffentlicht: (2007)

Нарушение статистической устойчивости физических процессов
von: Горбань, И.И.
Veröffentlicht: (2010)

Автоматический контроль физических параметров монет
von: Бех, А.Д., et al.
Veröffentlicht: (2004)

Пакет программ аппроксимации функций
von: Каленчук-Порханова, А.А., et al.
Veröffentlicht: (2008)

Статический и динамический переход порядок–беспорядок вихревой решетки в кристаллах YBaCuO: влияние точечных дефектов, анизотропии, температуры и магнитного поля
von: Петрусенко, Ю.Т.
Veröffentlicht: (2010)

Интерпретатор методов потокового анализа программ в специализированном банке знаний о преобразованиях программ
von: Князева, М.А., et al.
Veröffentlicht: (2008)

Интернет-доходы физических лиц: тенденции и перспективы развития
von: Верезубова, Т.А., et al.
Veröffentlicht: (2017)

Реализация принятых решений
von: Крючковский, В.В., et al.
Veröffentlicht: (2011)

О реальных физических свойствах и возможностях “теплоизолирующих” красок
von: Декуша, Л.В., et al.
Veröffentlicht: (2006)

Моделирование гранулометрического состава и анализ его уравнений
von: Пожидаев, В.Ф., et al.
Veröffentlicht: (2009)

Сравнение измерений пластинок программ ФОН и GSC
von: Кислюк, В.С., et al.
Veröffentlicht: (1997)