2013 годhttps://lib.nsu.ru/xmlui/handle/nsu/3442024-03-29T09:55:02Z2024-03-29T09:55:02ZАлгоритмы редукции для системы фрагментированного программированияСафин, Альберт Рустемовичhttps://lib.nsu.ru/xmlui/handle/nsu/5602014-05-06T09:59:24Z2013-08-23T00:00:00ZАлгоритмы редукции для системы фрагментированного программирования
Сафин, Альберт Рустемович
Работа выполнена в Институте вычислительной математики и математической геофизики СО РАН
2013-08-23T00:00:00ZРазработка и реализация решателя квантифицированных булевых формул на графическом процессореАндреев, Игорь Николаевичhttps://lib.nsu.ru/xmlui/handle/nsu/5292014-05-06T09:59:24Z2013-08-19T00:00:00ZРазработка и реализация решателя квантифицированных булевых формул на графическом процессоре
Андреев, Игорь Николаевич
Работа выполнена в Институте систем информатики СО РАН
2013-08-19T00:00:00ZРазработка программных средств анализа данных аппаратурного комплекса СКАЛАМартьянов, Андрей Сергеевичhttps://lib.nsu.ru/xmlui/handle/nsu/4762014-05-06T09:59:28Z2013-07-18T00:00:00ZРазработка программных средств анализа данных аппаратурного комплекса СКАЛА
Мартьянов, Андрей Сергеевич
Работа выполнена в Институте нефтегазовой геологии и геофизики СО РАН
2013-07-18T00:00:00ZРазработка средств создания морфологических словарей казахского языка на основе корпуса размеченных текстовДжумамуратов, Руслан Азатовичhttps://lib.nsu.ru/xmlui/handle/nsu/4752014-05-06T09:59:28Z2013-07-18T00:00:00ZРазработка средств создания морфологических словарей казахского языка на основе корпуса размеченных текстов
Джумамуратов, Руслан Азатович
Работа выполнена в Институте систем информатики СО РАН
2013-07-18T00:00:00Z