Results 251 to 260 of about 348,595 (278)
Some of the next articles are maybe not open access.
2021
This work presents an approach to proving the correctness of programs by constructing ther denotational semantics based on defined semantics of language operators. To do this, there was considered and implemented the guarded command language, proposed by E. Dijkstra in his work "A discipline of programming".
openaire +1 more source
This work presents an approach to proving the correctness of programs by constructing ther denotational semantics based on defined semantics of language operators. To do this, there was considered and implemented the guarded command language, proposed by E. Dijkstra in his work "A discipline of programming".
openaire +1 more source
Ðдание ÑÐºÐ¾Ð»Ñ Ñ Ð±Ð°ÑÑейном в г. СанкÑ-ÐеÑеÑбÑÑге
2017ÐÐ°Ð½Ð½Ð°Ñ Ð´Ð¸Ð¿Ð»Ð¾Ð¼Ð½Ð°Ñ ÑабоÑа, поÑвÑÑÐµÐ½Ð½Ð°Ñ ÑазÑабоÑке пÑоекÑа ÑÑÑоиÑелÑÑÑва 3Ñ ÑÑажной ÑÐºÐ¾Ð»Ñ Ñ Ð±Ð°ÑÑейном в г. СанкÑ-ÐеÑеÑбÑÑге, ÑоÑÑÐ¾Ð¸Ñ Ð¸Ð· гÑаÑиÑеÑкой ÑаÑÑи и поÑÑниÑелÑной запиÑки. ÐоÑÑниÑелÑÐ½Ð°Ñ Ð·Ð°
openaire +1 more source
Ðлок конÑÑÐ¾Ð»Ñ Ð¾ÑвеÑенноÑÑи жилого помеÑениÑ
2019ЦелÑÑ Ð´Ð°Ð½Ð½Ð¾Ð¹ ÑабоÑÑ ÑвлÑеÑÑÑ Ð¿ÑоекÑиÑование ÑиÑÑÐµÐ¼Ñ ÐºÐ¾Ð½ÑÑÐ¾Ð»Ñ Ð¾ÑвеÑением. ÐÑжно ÑделаÑÑ ÑпиÑок ÑÐµÑ Ð½Ð¸ÑеÑÐºÐ¸Ñ ÑÑебований к ÑиÑÑеме, ÑпиÑок ее ÑÑнкÑионалÑнÑÑ Ð²Ð¾Ð·Ð¼Ð¾Ð¶Ð½Ð¾ÑÑей и опиÑание. ÐÐ»Ñ ÑазÑабоÑ
openaire +1 more source
РазÑабоÑка ÑиÑÑÐµÐ¼Ñ ÐºÐ¾Ð½ÑÑÐ¾Ð»Ñ Ð´Ð»Ñ ÑлеменÑов Ñмного дома
2021In this work, the main topics are smart home control systems and the behavior of smart devices. The purpose of the work is to develop a smart home control system using a mobile application and the Home Assistant automation system. In the work, the following tasks were performed: to analyze the smart home control systems, take advantage of the pros and ...
openaire +1 more source
Ð¢ÐµÑ Ð½Ð¸ÑеÑкий ÑÑанÑÑзÑкий ÑзÑк в маÑиноÑÑÑоении
2012РаÑÑмоÑÑÐµÐ½Ñ Ð´Ð¾Ð¿ÑÑки и поÑадки ÑазлиÑнÑÑ ÑопÑÑжений, вопÑоÑÑ Ð²Ð·Ð°Ð¸Ð¼Ð¾Ð·Ð°Ð¼ÐµÐ½ÑемоÑÑи, клаÑÑиÑикаÑÐ¸Ñ Ð¸ ноÑмиÑование оÑклонений ÑоÑмÑ, ÑаÑÐ¿Ð¾Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ Ð¸ ÑеÑÐ¾Ñ Ð¾Ð²Ð°ÑоÑÑи повеÑÑ Ð½Ð¾ÑÑей, ÑаÑÑÐµÑ Ð¿ÑеделÑнÑÑ Ñ
openaire +1 more source
ÐÑÐ¾ÐµÐºÑ Ð¾ÑделÑно ÑÑоÑÑей кваÑÑалÑной коÑелÑной
2018РаÑÑмоÑÑÐµÐ½Ñ Ð¿ÑинÑÐ¸Ð¿Ñ Ð¸ пеÑÑпекÑÐ¸Ð²Ñ ÑеплоÑÐ½Ð°Ð±Ð¶ÐµÐ½Ð¸Ñ Ð¿Ð¾ÑÑебиÑелей. РаÑÑÑиÑÐ°Ð½Ñ ÑепловÑе нагÑÑзки. ÐодобÑÐ°Ð½Ñ ÐºÐ¾ÑелÑнÑе ÑÑÑановки и обоÑÑдование Ð´Ð»Ñ Ð¸Ñ Ð¿Ð¾ÐºÑÑÑиÑ. ÐоÑÑÑоена ÑÐµÐ¿Ð»Ð¾Ð²Ð°Ñ ÑÑ ÐµÐ¼Ð°. ÐзÑÑенÑ
openaire +1 more source
Ðдание обÑеобÑазоваÑелÑной ÑÐºÐ¾Ð»Ñ Ñ Ð±Ð°ÑÑейном
2017ÐакалавÑÑÐºÐ°Ñ ÑабоÑа «Ðдание обÑеобÑазоваÑелÑной ÑÐºÐ¾Ð»Ñ Ñ Ð±Ð°ÑÑейном» вклÑÑÐ°ÐµÑ Ð² ÑÐµÐ±Ñ Ð¿ÑоекÑиÑование Ð·Ð´Ð°Ð½Ð¸Ñ ÑÐºÐ¾Ð»Ñ Ð² ÑооÑвеÑÑÑвии Ñ Ð¿Ð¾ÑÑановлением ÐÑавиÑелÑÑÑва РФ Ð¾Ñ 16 ÑевÑÐ°Ð»Ñ 2008 г.
openaire +1 more source
ÐаÑианÑÑ ÐºÐ¾Ð½ÑÑолÑнÑÑ Ð·Ð°Ð´Ð°Ñ Ð¿Ð¾ ÑеоÑии веÑоÑÑноÑÑей
2020УÑебное поÑобие ÑодеÑÐ¶Ð¸Ñ 30 ваÑианÑов конÑÑолÑнÑÑ Ð·Ð°Ð´Ð°Ñ (по 14 Ð·Ð°Ð´Ð°Ñ Ð² каждом ваÑианÑе) по ÑеоÑии веÑоÑÑноÑÑей, изÑÑаемой в ÑÐ°Ð¼ÐºÐ°Ñ Ð´Ð¸ÑÑÐ¸Ð¿Ð»Ð¸Ð½Ñ Â«ÐÑÑÑÐ°Ñ Ð¼Ð°ÑемаÑика». РпоÑобие вклÑÑÐµÐ½Ñ Ð·Ð°Ð´Ð°Ñи, оÑноÑ
openaire +1 more source
2022
ÐбÑÐµÐºÑ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ â лазеÑное излÑÑение. Ð¦ÐµÐ»Ñ ÑабоÑÑ â ÑазÑабоÑка нового ÑеÑÑакÑомеÑÑиÑеÑкого меÑода Ð´Ð»Ñ Ð¸Ð·Ð¼ÐµÑÐµÐ½Ð¸Ñ Ð¿Ð¾ÐºÐ°Ð·Ð°ÑÐµÐ»Ñ Ð¿ÑÐµÐ»Ð¾Ð¼Ð»ÐµÐ½Ð¸Ñ ÐºÐ¾Ð½Ð´ÐµÐ½ÑиÑованной ÑÑедÑ. Ð Ñ Ð¾Ð´Ðµ иÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ Ð²Ñпол
openaire +1 more source
ÐбÑÐµÐºÑ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ â лазеÑное излÑÑение. Ð¦ÐµÐ»Ñ ÑабоÑÑ â ÑазÑабоÑка нового ÑеÑÑакÑомеÑÑиÑеÑкого меÑода Ð´Ð»Ñ Ð¸Ð·Ð¼ÐµÑÐµÐ½Ð¸Ñ Ð¿Ð¾ÐºÐ°Ð·Ð°ÑÐµÐ»Ñ Ð¿ÑÐµÐ»Ð¾Ð¼Ð»ÐµÐ½Ð¸Ñ ÐºÐ¾Ð½Ð´ÐµÐ½ÑиÑованной ÑÑедÑ. Ð Ñ Ð¾Ð´Ðµ иÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ Ð²Ñпол
openaire +1 more source
ÐоÑÑдаÑÑÑвеннÑй и мÑниÑипалÑнÑй конÑÑолÑ
2006ÐоÑобие ÑооÑвеÑÑÑвÑÐµÑ Ð³Ð¾ÑÑдаÑÑÑÐ²ÐµÐ½Ð½Ð¾Ð¼Ñ Ð¾Ð±ÑазоваÑелÑÐ½Ð¾Ð¼Ñ ÑÑандаÑÑÑ Ð´Ð¸ÑÑиплин "ÐонÑÑиÑÑÑионное пÑаво РоÑÑии" и "ÐÑниÑипалÑное пÑаво РоÑÑии" подгоÑовки ÑпеÑиалиÑÑов по напÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ 030501 "ЮÑиÑпÑÑ
openaire +1 more source