Логин:
Пароль:
Вход
Inverse Problems in Finance, Economics and Life Sciences
Almaty, Kazakhstan, December 26-28, 2017
Участники
Доклады
Регистрация/Вход
Бектемесов А.Т.
Куатбаева А.
Применение model checking для комбинаторных задач
Докладчик:
Бектемесов А.Т.
К списку докладов