Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
композиция
Связанные издания:
Applications and Theory of Petri Nets: Proc./30th International Conference, PETRI NETS 2009. Paris, France, June 2009
Business System Management and Engineering: From Open Issues to Applications
Composition and Decomposition in True-Concurrency
Computer Algebra in Scientific Computing: Proc./13th International Workshop, CASC 2011, Kassel, Germany, September 2011
Formal Aspects of Component Software: Proc./14th International Conference, FACS 2017, Braga, Portugal, October 2017
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/28th International Symposium, LOPSTR 2018, Frankfurt\Main, Germany, September 2018
Software Composition: Proc./12th International Conference, SC 2013, Budapest, Hungary, June 2013
Software Composition: Revised Selected Papers/5th International Workshop, SC 2006. Vienna, Austria, March 2006
Theoretical Aspects of Computing - ICTAC 2016: Proc./13th International Colloquium, Taipei. Taiwan, ROC, October 2016
Аппликативные композиции частичных предикатов
Основания программологии
Программирование на типовых алгоритмических структурах с массивным параллелизмом
Согласование конформности и композиции