Вы здесь

Главная

параметризация

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

Adding Type Parameterization to the Java Language
Advances in Geometric Modeling and Processing: Proc./6th International Conference, GMP 2010, Castro Urdiales, Spain, June 2010
Algorithms and Complexity: Proc./10th International Conference, CIAC 2017, Athens, Greece, May 2017
Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages
Datatype-Generic Programming: Revised Lectures/International Spring School, SSDGP 2006. Nottingham, UK, April 2006
FM 2015: Formal Methods: Proc./20th International Symposium, Oslo, Norway, June 2015
Frontiers in Algorithmics: Proc./9th International Workshop, FAW 2015, Guilin, China, July 2015
Graph-Theoretic Concepts in Computer Science: Revised Papers/45th International Workshop, WG 2019, Vall de Núria, Spain, June 2019
Graph-Theoretic Concepts in Computer Science: Revised Selected Papers/46th International Workshop, WG 2020, Leeds, UK, June 2020
Mathematical Methods for Curves and Surfaces: Revised Selected Papers/7th International Conference, MMCS 2008, Tonsberg, Norway, June/July 2008
Parameterization-by-use for hierarchically structured objects
Parameterization without parameters in: The history of a hierarchy of specifications
Parameterized and Exact Computation: Proc./7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 2012
Parameterized and Exact Computation: Proc./First International Workshop, IWPEC 2004. Bergen, Norway, September 2004
Parameterized and Exact Computation: Proc./Second International Workshop, IWPEC 2006. Zuerich, Switzerland, September 2006
Parameterized and Exact Computation: Proc./Third International Workshop, IWPEC 2008. Victoria, Canada, May 2008
Parameterized Model Checking of Ring-Based Message Passing Systems
Parameterized Models for Distributed Java Objects
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2018
Tag-Free Garbage Collection Using Explicit Type Parameters
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited
WALCOM: Algorithms and Computation: Proc./14th International Conference, WALCOM 2020, Singapore, Singapore, March 2020
Автоматическое построение SQL запросов для объектных данных
Верификация как параметризованное тестирование (эксперименты с суперкомпилятором SCP4)
Обоб енное решение для интерактивной процедуры
Об одном подходе к автоматизации построения распределенных информационных систем
Об одном подходе к временной параметризации библиотечных элементов и его использования в системе временного анализа
О структурно-базовой модели системы параллельного действия
Параметризация, измерение и построение моделей информационных потоков в вычислительных системах
ПИКС - параметрическая интерактивная система построения трансляторов
Разработка и исследование методов параметризации структур адаптивных систем
Регулярные параметрические грамматики и проблема параметризации