2013 год
https://lib.nsu.ru/xmlui/handle/nsu/344
2024-03-29T09:58:01ZАлгоритмы редукции для системы фрагментированного программирования
https://lib.nsu.ru/xmlui/handle/nsu/560
Алгоритмы редукции для системы фрагментированного программирования
Сафин, Альберт Рустемович
Работа выполнена в Институте вычислительной математики и математической геофизики СО РАН
2013-08-23T00:00:00ZРазработка и реализация решателя квантифицированных булевых формул на графическом процессоре
https://lib.nsu.ru/xmlui/handle/nsu/529
Разработка и реализация решателя квантифицированных булевых формул на графическом процессоре
Андреев, Игорь Николаевич
Работа выполнена в Институте систем информатики СО РАН
2013-08-19T00:00:00ZРазработка программных средств анализа данных аппаратурного комплекса СКАЛА
https://lib.nsu.ru/xmlui/handle/nsu/476
Разработка программных средств анализа данных аппаратурного комплекса СКАЛА
Мартьянов, Андрей Сергеевич
Работа выполнена в Институте нефтегазовой геологии и геофизики СО РАН
2013-07-18T00:00:00ZРазработка средств создания морфологических словарей казахского языка на основе корпуса размеченных текстов
https://lib.nsu.ru/xmlui/handle/nsu/475
Разработка средств создания морфологических словарей казахского языка на основе корпуса размеченных текстов
Джумамуратов, Руслан Азатович
Работа выполнена в Институте систем информатики СО РАН
2013-07-18T00:00:00Z