Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Algebraic Methods of Automatic...

Treffer: Algebraic Methods of Automatic Optimization and Formal Verification OF Parallel Algorithms

Title:
Algebraic Methods of Automatic Optimization and Formal Verification OF Parallel Algorithms
Authors:
Tramova, A. M.Aff1, Aff2, IDs1059802509651x_cor1, Popov, A. A., Artemyev, V. S., Mokrova, N. V.
Source:
Computational Mathematics and Modeling. :1-12
Database:
Springer Nature Journals