Вы здесь

Главная

модулярный

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

Formal Aspects of Component Software: Revised Selected Papers/9th International Symposium, FACS 2012, Mountain View,CA,USA, September 2012
Formal Methods: Foundations and Applications: Proc./17th Brazilian Symposium, SBMF 2014, Maceio,AL,Brazil, September 2014
Formal Techniques for Distributed Objects, Components, and Systems: Proc./38th IFIP WG 6.1 International Conference, FORTE 2018 Held as Part of the 13th International Federated Conference, DisCoTec 2018, Madrid, Spain, June 2018
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Foundational Techniques: Proc./7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 2016
Programming Languages and Systems: Proc./21st European Symposium on Programming, ESOP 2012 Held as Part of the European Joint Conferences ETAPS 2012, Tallinn, Estonia, March 2012
Programming Languages: Proc./17th Brazilian Symposium, SBLP 2013, Brasilia, Brazil, October 2013
Programming Languages: Proc./18th Brazilian Symposium, SBLP 2014, Maceiro, Brazilm October 2014
The START Project
Transactions on Modularity and Composition I
Модулярный алгоритм вычисления когомологий алгебр и супералгебр Ли
Применение генетических алгоритмов и систем генерирую их графов для создания модулярных нейросетей