Ахмед-Заки, Д. Ж., Казахский национальный университет им. аль-Фараби, Алматы, Казахстан, Kazakhstan
-
Қазұу Хабаршысы. Математика, механика, информатика сериясы Том 81 № 2 (2014): Journal of Mathematics, Mechanics and Computer Science - Механика, Математика, Информатика
Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory.
Аннотация PDF -
Қазұу Хабаршысы. Математика, механика, информатика сериясы Том 86 № 3 (2015): Journal of Mathematics, Mechanics and Computer Science - Технологиялық процестерді математикалық модельдеу
Модель гидравлического разрыва пласта на основе механики и фильтрации в гетерогенной среде
Аннотация PDF