Вы здесь

Главная

подход

Связанные издания:

Adaptive Multimedia Retrieval. Context, Exploration, and Fusion: Revised Selected Papers/8th International Workshop, AMR 2010, Linz, Austria, August 2010
Advances in Spatial and Temporal Databases: Proc./14th International Symposium, SSTD 2015, Hong Kong, China, August 2015
An Ontological Approach to a System of Requairements Patterns
Computational Intelligence in Music, Sound, Art and Design: Proc./7th International Conference, EvoMUSART 2018, Parma, Italy, April 2018
Correct Hardware Synthesis. An algebraic approach
Correct System Design: Proc./Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 2015
C# program verification problems: solution by a three-level method
Digital Libraries: Knowledge, Information, and Data in an Open Access Society: Proc./18th International Conference on Asia-Pacific Digital Libraries, ICADL 2016, Tsukuba, Japan, December 2016
Evolutionary Computation in Combinatorial Optimization: Proc/16th European Conference, EvoCOP 2016, Porto, Portugal, March 2016
Formal Aspects of Component Software: Revised Selected Papers/11th International Symposium, FACS 2014, Bertinoro, Italy, September 2014
Inductive Logic Programming: Revised Selected Papers/27th International Conference, ILP 2017, Orleans, France, September 2017
Logical Foundations for Data Integration
Mathematics and Computation in Music: Proc./5th International Conference, MCM 2015, London, UK, June 2015
Mathematics of Program Construction: Proc./12th International Conference, MPC 2015, Konigswinter, Germany, June 2015
Multi-Agent Systems: Revised Selected Papers/12th European Conference, EUMAS 2014, Prague, Czech Republic, December 2014
Natural Language Understanding and Intelligent Applications: Proc./5th CCF Conference, NLPCC 2016, and 24th International Conference, ICCPOL 2016, Kunming, China, December 2016
New Frontiers in Mining Complex Patterns: Revised Selected Papers/8th International Workshop, NFMCP 2019 Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 2019
Operational semantics development for procedural programming languages based on conceptual transition systems
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/2nd International Workshop, SOFL 2012, Kyoto, Japan, November 2012
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./15th International Conference, ECSQARU 2019, Belgrade, Serbia, Sptember 2019
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
Text Analysis Pipelines: Towards Ad-hoc Large-Scale Text Mining
Theory and Applications of Formal Argumentation: Revised Selected Papers/3rd International Workshop, TAFA 2015, Buenos Aires, Argentina, July 2015
The Progress Program Manipulation System
Transformation Approach to Designing Effective and Reliable Programs for Parallel Computers
Universal Access in Human-Computer Interaction: Methods, Techniques, and Best Practices, Part I: Proc./10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, Canada, July 2016
Анализ модульного подхода и его применение в различных языках программирования
Интервальный подход к регуляризации неточно заданных систем линейных уравнений
Использование автоматного подхода для построения компилятора переднего плана
Использование символьного подхода к разложению Берштейна при анализе и оптимизации программ
Компонентный подход к построению оптимизирую их компиляторов
Математическая модель семантического поиска с использованием онтологического подхода
Методы создания эффективного программного обеспечения: языковый и структурный подходы, оптимизация программ
Модальный подход к разработке Web-приложений
Моделирование механизмов социального влияния с помо ью мультиагентного подхода
Обзор формальных подходов к спецификации языков UML и OCL
Обратимые преобразования Дарбу типа I
Онтологический подход к созданию системы поддержки принятия решений при остеопорозе
Опыт интегрального подхода к актуальной проблематике программного обеспечения
Оценка качества и исследование программных продуктов: реляционный подход. Определение базовой объективной системы внутренних свойств программных продуктов
Оценка качества и исследование программных продуктов: реляционный подход. Построение измерительной модели языка программирования
Оценка качества и исследование программных продуктов: реляционный подход. Сравнение возможностей автоматизации оценки качества программ при традиционном и реляционном подходах к их измерениям
Применение трехуровневого подхода к верификации программ на языке C#-Light
Смешанные вычисления: потенциальные применения и проблемы исследования
Специализатор программ: проектные решения
Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы
Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы