Зображення обкладинки

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

Збережено в:

Бібліографічні деталі
Дата:	2017
Автор:	Lvov, M.S.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2017
Теми:
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/114
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

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

Интерфейс в программировании
за авторством: Лаврищева, Е.М.
Опубліковано: (2007)

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

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

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

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

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

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

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

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

Анализ физических основ и технических возможностей реализации лазерного зажигания топливных смесей
за авторством: Тихонов, Е.А., та інші
Опубліковано: (2007)

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

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

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

На пути к верификации С-программ. Язык c-light и его трансформационная семантика
за авторством: Непомнящий, В.А., та інші
Опубліковано: (2006)

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

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

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

Создание развитых интернет-программ на примере построения виджет-программ
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2011)

About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)

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

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

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

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

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

Моделирование гранулометрического состава и анализ его уравнений
за авторством: Пожидаев, В.Ф., та інші
Опубліковано: (2009)

Реализация принятых решений
за авторством: Крючковский, В.В., та інші
Опубліковано: (2011)

Пакет программ аппроксимации функций
за авторством: Каленчук-Порханова, А.А., та інші
Опубліковано: (2008)

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

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

Биоводород. Хроматографический анализ его компонент
за авторством: Григорова, Т.К., та інші
Опубліковано: (2011)

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

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

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

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

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

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

Новое поколение пьезокерамических датчиков физических величин
за авторством: Шарапов, В.М., та інші
Опубліковано: (2005)

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

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