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: (2015)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Биоводород. Хроматографический анализ его компонент
von: Григорова, Т.К., et al.
Veröffentlicht: (2011)

Формирование и реализация рекреационного потенциала региона
von: Букреев, И.А.
Veröffentlicht: (2011)

Современные репродуктивные установки и их реализация
von: Злотников, А.Г.
Veröffentlicht: (2010)

Реализация нефти и нефтепродуктов с нефтебаз
von: Караченец, Д.В.
Veröffentlicht: (2001)

Алгоритмическая и программная реализация DSM-памяти
von: Буза, М.К.
Veröffentlicht: (2012)

Инструментальные средства трансформации схем алгоритмов и программ
von: Мохница, А.С.
Veröffentlicht: (2006)

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

Новое поколение пьезокерамических датчиков физических величин
von: Шарапов, В.М., et al.
Veröffentlicht: (2005)

О физических параметрах скопления NGC 6823
von: Кузнецов, В.В., et al.
Veröffentlicht: (1992)

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