Results 21 to 30 of about 55 (55)
Some of the next articles are maybe not open access.
ÐинемаÑогÑÐ°Ñ ÐÑпании
2017ÐбÑем дипломной ÑабоÑÑ, ÑоÑÑоÑÑей из введениÑ, ÑÑÐµÑ Ð³Ð»Ð°Ð² и заклÑÑениÑ, ÑоÑÑавлÑÐµÑ 67 ÑÑÑаниÑ.ÐбÑекÑом иÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ ÑвлÑеÑÑÑ ÐºÐ¸Ð½ÐµÐ¼Ð°ÑогÑÐ°Ñ ÐÑпании.
openaire +1 more source
УпÑавление инвеÑÑиÑиÑми
2011УÑебное поÑобие ÑооÑвеÑÑÑвÑÐµÑ Ð³Ð¾ÑÑдаÑÑÑÐ²ÐµÐ½Ð½Ð¾Ð¼Ñ Ð¾Ð±ÑазоваÑелÑÐ½Ð¾Ð¼Ñ ÑÑандаÑÑÑ Ð´Ð¸ÑÑÐ¸Ð¿Ð»Ð¸Ð½Ñ Â«Ð£Ð¿Ñавление инвеÑÑиÑиÑми». ÐÑновной ÑелÑÑ Ð´Ð°Ð½Ð½Ð¾Ð³Ð¾ поÑÐ¾Ð±Ð¸Ñ ÑвлÑеÑÑÑ ÑоÑмиÑование Ñ Ð±ÑдÑÑÐ¸Ñ ÑпеÑиалиÑÑ ...
openaire +1 more source
2016
РаÑÑмаÑÑиваеÑÑÑ ÑледÑÑий ÑлекÑÑопÑивод Ñ ÑиÑоÑно-импÑлÑÑнÑм ÑпÑавлением. РазÑабаÑÑваеÑÑÑ ÑаÑÑоÑнÑй алгоÑиÑм ÑинÑеза импÑлÑÑнÑÑ ÑиÑÑем Ñ ÑиÑоÑно-импÑлÑÑнÑм ÑпÑавлением в непÑеÑÑвном Ð²Ñ ...
openaire +1 more source
РаÑÑмаÑÑиваеÑÑÑ ÑледÑÑий ÑлекÑÑопÑивод Ñ ÑиÑоÑно-импÑлÑÑнÑм ÑпÑавлением. РазÑабаÑÑваеÑÑÑ ÑаÑÑоÑнÑй алгоÑиÑм ÑинÑеза импÑлÑÑнÑÑ ÑиÑÑем Ñ ÑиÑоÑно-импÑлÑÑнÑм ÑпÑавлением в непÑеÑÑвном Ð²Ñ ...
openaire +1 more source
2016
ÐиÑÑеÑÑаÑÐ¸Ñ Ð¿Ð¾ÑвÑÑена вопÑоÑÑ Ð²ÑбоÑа ÑпоÑоба ÑпÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ Ð³Ð¸Ð´ÑавлиÑеÑким пÑиводом. ÐÑоведено ÑопоÑÑавление двÑÑ ÑпоÑобов ÑпÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ Ð³Ð¸Ð´ÑопÑиводом: дÑоÑÑелÑного и ÑиÑоÑно-импÑлÑÑного.
openaire +1 more source
ÐиÑÑеÑÑаÑÐ¸Ñ Ð¿Ð¾ÑвÑÑена вопÑоÑÑ Ð²ÑбоÑа ÑпоÑоба ÑпÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ Ð³Ð¸Ð´ÑавлиÑеÑким пÑиводом. ÐÑоведено ÑопоÑÑавление двÑÑ ÑпоÑобов ÑпÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ Ð³Ð¸Ð´ÑопÑиводом: дÑоÑÑелÑного и ÑиÑоÑно-импÑлÑÑного.
openaire +1 more source
ÐÑÑоÑÐ¸Ñ Ð¸ меÑÐ¾Ð´Ð¾Ð»Ð¾Ð³Ð¸Ñ Ð½Ð°Ñки
2018ÐоÑобие ÑооÑвеÑÑÑвÑÐµÑ ÑÑебованиÑм к обÑзаÑелÑÐ½Ð¾Ð¼Ñ Ð¼Ð¸Ð½Ð¸Ð¼ÑÐ¼Ñ ÑодеÑÐ¶Ð°Ð½Ð¸Ñ Ð¾Ñновной обÑазоваÑелÑной пÑогÑÐ°Ð¼Ð¼Ñ Ð¿Ð¾Ð´Ð³Ð¾Ñовки магиÑÑÑов по напÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ 38.04.02 "ÐенеджменÑ" по вÑем пÑогÑаммам подгоÑовки
openaire +1 more source
ÐногопоÑоÑнÑй обÑаÑнÑй меÑод ÐаÑлова
This article introduces a novel multiprocessing methodology tailored for the Inverse Method, a critical component of Automated Theorem Provers (ATPs), aimed at optimizing theorem proving efficiency. Our approach utilizes multiple running units, each operating as a distinct prover equipped with specific heuristic options, collaborating to explore ...openaire +1 more source
ÐÑÑоÑÐ¸Ñ Ð¸ меÑÐ¾Ð´Ð¾Ð»Ð¾Ð³Ð¸Ñ Ð½Ð°Ñки
2016РаÑÑмоÑÑÐµÐ½Ñ Ð¾ÑновнÑе ÑÑÐ°Ð¿Ñ Ð¸ÑÑоÑии наÑки, ÑволÑÑÐ¸Ñ Ð¼ÐµÑодов наÑÑного познаниÑ, даеÑÑÑ Ð¿ÑедÑÑавление о ÑовÑеменной междиÑÑиплинаÑной меÑодологии наÑки, пÑинÑÐ¸Ð¿Ð°Ñ Ð¿Ð¾ÑÑÑÐ¾ÐµÐ½Ð¸Ñ Ð¸ анализа аÑгÑменÑ
openaire +1 more source
ТеоÑÐ¸Ñ Ð¸ иÑÑоÑÐ¸Ñ Ð»Ð¸ÑеÑаÑÑÑÑ
2017УÑебное поÑобие пÑедназнаÑено Ð´Ð»Ñ Ð¼ÐµÑодиÑеÑкого обеÑпеÑÐµÐ½Ð¸Ñ Ð´Ð¸ÑÑиплин "Ðведение в лиÑеÑаÑÑÑоведение", "ТеоÑÐ¸Ñ Ð»Ð¸ÑеÑаÑÑÑÑ", "ÐÑÑоÑÐ¸Ñ Ð¾ÑеÑеÑÑвенной лиÑеÑаÑÑÑÑ", "ÐÑÑоÑÐ¸Ñ Ð·Ð°ÑÑбежной лиÑеÑаÑÑÑÑ", "
openaire +1 more source
УÑÑойÑивоÑÑÑ Ð¿Ð»Ð°ÑÑоÑÐ¼Ñ "ÐÐ-Ð"
2020Рданной вÑпÑÑкной квалиÑикаÑионной ÑабоÑе пÑоизведен ÑаÑÑÐµÑ Ð¿Ð»Ð°ÑÑоÑÐ¼Ñ Ð½Ð° внеÑние нагÑÑзки (Ð¾Ñ ÑеÑениÑ, веÑÑа, лÑда и волн), вÑполнена пÑовеÑка ÑÑÑойÑивоÑÑи и оÑÑойÑивоÑÑи.
openaire +1 more source
2010
СодеÑжание ÑÑебного поÑÐ¾Ð±Ð¸Ñ ÑооÑвеÑÑÑвÑÐµÑ Ð¿ÑогÑамме-минимÑÐ¼Ñ ÐºÐ°Ð½Ð´Ð¸Ð´Ð°ÑÑкого Ñкзамена по кÑÑÑÑ Â«ÐÑÑоÑÐ¸Ñ Ð¸ ÑилоÑоÑÐ¸Ñ Ð½Ð°Ñки». ЧаÑÑÑ II. «СовÑеменнÑе ÑилоÑоÑÑкие пÑÐ¾Ð±Ð»ÐµÐ¼Ñ ÐµÑÑеÑÑвеннÑÑ , ÑÐµÑ Ð½Ð¸ÑеÑки
openaire +1 more source
СодеÑжание ÑÑебного поÑÐ¾Ð±Ð¸Ñ ÑооÑвеÑÑÑвÑÐµÑ Ð¿ÑогÑамме-минимÑÐ¼Ñ ÐºÐ°Ð½Ð´Ð¸Ð´Ð°ÑÑкого Ñкзамена по кÑÑÑÑ Â«ÐÑÑоÑÐ¸Ñ Ð¸ ÑилоÑоÑÐ¸Ñ Ð½Ð°Ñки». ЧаÑÑÑ II. «СовÑеменнÑе ÑилоÑоÑÑкие пÑÐ¾Ð±Ð»ÐµÐ¼Ñ ÐµÑÑеÑÑвеннÑÑ , ÑÐµÑ Ð½Ð¸ÑеÑки
openaire +1 more source

