Cover Image

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

Saved in:

Bibliographic Details
Date:	2017
Main Author:	Lvov, M.S.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2017
Subjects:
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/114
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

About one Approach for the Verification of Algebraic Computations
by: Lvov, M.S.
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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