Формальная модель контекстно-зависимых программных структур и их преобразований в применении к методологии Language-Driven Development: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.17/

Формальная модель контекстно-зависимых программных структур и их преобразований в применении к методологии Language-Driven Development: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.17/

Bibliographic Details
Main Author:	Седунов, А. А. Алексей Александрович (Author)
Corporate Author:	Воронежский государственный университет(Воронеж)
Other Authors:	Тюкачев, Н. А. Николай Аркадиевич
Format:	Book
Language:	Russian
Published:	Воронеж 2012
Subjects:	ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ МАТЕМАТИЧЕСКИЕ МЕТОДЫ LDD-СТРУКТУРЫ ЛОГИЧЕСКИЕ МОДЕЛИ АВТОРЕФЕРАТЫ
Online Access:	https://viewer.rsl.ru/ru/rsl01005046062?page=1&rotate=0&theme=white Перейти в каталог Библиотеки ТУСУР

Similar Items

Минимизация контекстно-свободных грамматик
by: Рязанов, Юрий Дмитриевич

Формальная феноменология
by: Васюков, Владимир Леонидович
Published: (1999)

Формальная онтология
by: Васюков, Владимир Леонидович
Published: (2006)

Формальная логика [учебник]
by: Малахов, Валерий Петрович
Published: (2001)

Формальная логика: учебник/
by: Малахов, В. П. Валерий Петрович
Published: (2001)

Формальная кинетика (Сборник вопросов и задач)
Published: (1997)

Формальная композиция творческий практикум по основам дизайна
by: Чернышев, О. В.
Published: (1999)

Формальная логика Учебник для философских факультетов университетов
Published: (1977)

Model-Driven Software Development
by: Beydeda, Sami
Published: (2005)

Ontology-Driven Software Development
Published: (2013)

О вычислительном распознавании аффинных контекстно-свободных языков
by: Сафонов, Константин Владимирович

Педагогическое образование в университете: контекстно-биографический подход
by: Гавриков, Анатолий Леонидович
Published: (2001)

Language-driven Exploration and Implementation of Partially Re-configurable ASIPs
by: Chattopadhyay, Anupam
Published: (2009)

Прогнозирование преобразований организационных структур производства: /
by: Терентьев, В. Г. Владимир Григорьевич
Published: (1990)

Формальная грамматика и интенсиональная логика
by: Герасимова, Ирина Алексеевна 1953-
Published: (2000)

Традиционная и современная формальная логика
by: Субботин, Александр Леонидович 1927-
Published: (1969)

Model Driven Architecture and Ontology Development
by: Gašević, Dragan
Published: (2006)

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings /
Published: (2014)

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings /
by: Engels, Gregor
Published: (2007)

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings /
Published: (2013)

Формальная и функциональная структура слова учебное пособие
by: Зятковская, Ромуальда Григорьевна
Published: (1983)

Формальная система теории семантически значимых отображений
by: Бабанов, Алексей Михайлович

Формальная грамматика русского языка в примерах
by: Мирзабеков, Яхья Мирзабекович

Формальная теория систем внешних дифференциальных уравнений
by: Горбатенко, Евгений Матвеевич

Формальная школа и современное русское литературоведение
by: Якобсон, Роман Осипович 1896-1982
Published: (2011)

Метод защиты программных средств на основе запутывающих преобразований: диссертация на соискание ученой степени кандидата технических наук. 05.13.19/
by: Буинцев, Д. Н. Дмитрий Николаевич
Published: (2006)

Формальная определенность права автореферат диссертации на соискание ученой степени кандидата юридических наук : 12.00.01
by: Шабуров, Анатолий Степанович
Published: (1973)

Профессионально-предметное развитие педагога на основе контекстно-сетевой технологии

Метод защиты программных средств на основе запутывающих преобразований автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.19
by: Буинцев, Дмитрий Николаевич
Published: (2006)

Метод защиты программных средств на основе запутывающих преобразований: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.19/
by: Буинцев, Д. Н. Дмитрий Николаевич
Published: (2006)

Формальная и научная логика [учебное пособие для студентов, аспирантов вузов в области социологии]
by: Кравченко, Альберт Иванович 1949-
Published: (2014)

Психологическое консультирование зависимых клиентов
by: Капуччи, Дейвид
Published: (2021)

О применении KS-преобразований в задачах исследования эволюции орбит небесных тел
by: Бордовицына, Татьяна Валентиновна 1940-

Model Driven Engineering Languages and Systems (vol. # 4199) 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
by: Nierstrasz, Oscar
Published: (2006)

Формальная кинетика учебно-методическое пособие по курсу «Физическая химия» для студентов химического факультета ТГУ, обучающихся по направлению подготовки 04.03.01 - Химия и специальности 04.05.01 - Фундаментальная и прикладная химия
Published: (2017)

Model Driven Engineering Languages and Systems (vol. # 3713) 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
by: Briand, Lionel
Published: (2005)

Проектирование программных систем: Учебное пособие/
by: Мирютов, А. А.
Published: (2008)

Light-Driven Alignment
by: Antonyuk, Boris P.
Published: (2009)

Model-Driven Testing
by: Baker, Paul
Published: (2008)