Results 181 to 190 of about 4,608 (193)
Some of the next articles are maybe not open access.
ФилоÑоÑиÑ. ÐонÑÐ¿ÐµÐºÑ Ð»ÐµÐºÑий
2007ÐеÑаÑаеÑÑÑ Ð¿Ð¾ ÑеÑÐµÐ½Ð¸Ñ ÑедакÑионно-издаÑелÑÑкого ÑовеÑа СанкÑ-ÐеÑеÑбÑÑгÑкого гоÑÑдаÑÑÑвенного полиÑÐµÑ Ð½Ð¸ÑеÑкого ÑнивеÑÑиÑеÑа.
openaire +1 more source
2012
ÐбобÑен опÑÑ ÑеÑоÑмиÑÐ¾Ð²Ð°Ð½Ð¸Ñ Ð¶Ð¸Ð»Ð¸Ñного Ñ Ð¾Ð·ÑйÑÑва в наÑей ÑÑÑане, пÑедÑÑÐ°Ð²Ð»ÐµÐ½Ñ ÑиÑоко пÑименÑемÑе меÑÐ¾Ð´Ñ Ð¾Ñенки ÑизиÑеÑкого и моÑалÑного изноÑа жилÑÑ Ð·Ð´Ð°Ð½Ð¸Ð¹, дана Ñ Ð°ÑакÑеÑиÑÑика ÑиÑÑÐµÐ¼Ñ ÑÐµÑ Ð½Ð ...
openaire +1 more source
ÐбобÑен опÑÑ ÑеÑоÑмиÑÐ¾Ð²Ð°Ð½Ð¸Ñ Ð¶Ð¸Ð»Ð¸Ñного Ñ Ð¾Ð·ÑйÑÑва в наÑей ÑÑÑане, пÑедÑÑÐ°Ð²Ð»ÐµÐ½Ñ ÑиÑоко пÑименÑемÑе меÑÐ¾Ð´Ñ Ð¾Ñенки ÑизиÑеÑкого и моÑалÑного изноÑа жилÑÑ Ð·Ð´Ð°Ð½Ð¸Ð¹, дана Ñ Ð°ÑакÑеÑиÑÑика ÑиÑÑÐµÐ¼Ñ ÑÐµÑ Ð½Ð ...
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
2017
ÐагиÑÑеÑÑÐºÐ°Ñ Ð´Ð¸ÑÑеÑÑаÑÐ¸Ñ Ð¸ÑÑледÑÐµÑ Ð¾Ð±ÐµÑпеÑение ÑадиаÑионной безопаÑноÑÑи пÑи ÑкÑплÑаÑаÑии изоÑопной лабоÑаÑоÑии ÐТР«ЯФ» ФÐÐÐУ ÐР«СÐбÐУ».
openaire +1 more source
ÐагиÑÑеÑÑÐºÐ°Ñ Ð´Ð¸ÑÑеÑÑаÑÐ¸Ñ Ð¸ÑÑледÑÐµÑ Ð¾Ð±ÐµÑпеÑение ÑадиаÑионной безопаÑноÑÑи пÑи ÑкÑплÑаÑаÑии изоÑопной лабоÑаÑоÑии ÐТР«ЯФ» ФÐÐÐУ ÐР«СÐбÐУ».
openaire +1 more source
ÐнÑоÑмаÑика. Microsoft Office 2007 Professional
2015ÐеÑаÑаеÑÑÑ Ð¿Ð¾ ÑеÑÐµÐ½Ð¸Ñ Ð¡Ð¾Ð²ÐµÑа по издаÑелÑÑкой деÑÑелÑноÑÑи УÑеного ÑовеÑа СанкÑ-ÐеÑеÑбÑÑгÑкого полиÑÐµÑ Ð½Ð¸ÑеÑкого ÑнивеÑÑиÑеÑа ÐеÑÑа Ðеликого.
openaire +1 more source
ÐпÑиÑеÑкие пÑибоÑÑ ÑизиÑеÑкой лабоÑаÑоÑии
1978ÐеÑодиÑеÑкие ÑÐºÐ°Ð·Ð°Ð½Ð¸Ñ ÑодеÑÐ¶Ð°Ñ Ð¾Ð¿Ð¸Ñание ÑложнÑÑ ÑовÑеменнÑÑ Ð¾Ð¿ÑиÑеÑÐºÐ¸Ñ Ð¸Ð·Ð¼ÐµÑиÑелÑнÑÑ Ð¿ÑибоÑов, на коÑоÑÑÑ ÑÑÑденÑÑ Ð²ÑполнÑÑÑ Ð»Ð°Ð±Ð¾ÑаÑоÑнÑе ÑабоÑÑ Ð¿Ð¾ ÑÐ°Ð·Ð´ÐµÐ»Ñ Ñизики «ÐпÑика», пÑавила ÑабоÑÑ Ñ
openaire +1 more source
Слідчий суддя як суб’єкт реалізації судових функції у досудовому провадженні
А.Р. Туманянц+1 more
openalex
СЛІДЧИЙ СУДДЯ У МЕХАНІЗМІ ЗАБЕЗПЕЧЕННЯ ПРАВ І ЗАКОННИХ ІНТЕРЕСІВ ПОТЕРПІЛОГО
М. В. Danshyn, D. Yu. Kavun
openalex