Партыкулярызм vs уніфікацыя: распрацоўка і прыняцце Cтатута Вялікага Княства Літоўскага 1588 г.
Журнал Белорусского государственного университета: История, 2018 Даследуецца праблема суіснавання партыкулярных і ўніфікатарскіх тэндэнцый у сацыяльна-палітычным жыцці Рэчы Паспалітай XVI ст. На прыкладзе падрыхтоўкі Трэцяга статута Вялікага Княства Літоўскага паказаны спробы велікакняжацкага палітычнага народа ...
Владимир Алексеевич Подолинский
doaj
Ұлттық құқықтық жүйелерді жақындастыру мәселелері
Halyk̦aralyk̦ k̦atynastar ža̋ne halyk̦aralyk̦ k̦u̇k̦yk̦ seriâsì, 2016 Бұл мақалада мемлекеттердің ұлттық заңнамаларын жақындастыру мәселелері қарастырылады. Ұлттық заңнамаларды жақындастыру ұғымдары мен нысандары туралы авторлар әртүрлі қөзқарастар ұсынады.
Zh. Zhunissov
doaj
Унификация как способ производства когнитивного разнообразия [PDF]
, 2023 Евгений Валерьевич Масланов
openalex +1 more source
Принципы UNIDRA в системе унификации права международной торговли
Halyk̦aralyk̦ k̦atynastar ža̋ne halyk̦aralyk̦ k̦u̇k̦yk̦ seriâsì, 2016 В статье проанализированы правовая природа и значение Принципов международных коммерческих договоров (Принципы УНИДРУА) в унификации права международной торговли.
Z. М. Baimagambetova
doaj
Методические аспекты архитектурного проектирования комплексов науки и инноваций
Academia: Архитектура и строительство, 2020 Архитектурное проектирование объектов, предназначенных для научно-инновационной деятельности, имеет ряд особенностей, определяемых самой этой деятельностью; её отличают взаимопроникновение отраслей, междисциплинарность методов, усложнение объектов и ...
Inna Dianova-Klokova, Dmitry Metanyev
doaj +1 more source
On the application of substitution algebra to program unification
Труды Института системного программирования РАН, 2018 Many problems in software engineering such as program refactoring, deobfuscation, vulnerability detection, require an efficient toolset for detecting pieces of code that have similar behavior.
V. A. Zakharov, T. A. Novikova
doaj
Polynomial time algorithm for checking strong equivalence of program
Труды Института системного программирования РАН, 2018 To unify a pair of algebraic expressions t1 and t2 is to find out such a substitution θ that both terms t1θ and t2θ have the same meaning. Unification problem can be extended to computational programs.
T. A. Novikova, V. A. Zakharov
doaj
Vestnik za Tuje Jezike, 2010 В российской системе образования за последнее время произошли серьезные измене ния. Это связано с тем, что советская система образования существенно отличалась от западноевропейской, но в последние годы, особенно после присоединения России к Болонскому ...
Natalia Belova
doaj +1 more source
[Unification of pathomorphological examination of patients with neuroendocrine tumors of the pituitary gland. Controversial issues of the new classification]. [PDF]
Probl Endokrinol (Mosk), 2023 Pronin VS +5 more
europepmc +1 more source
«Smart auditorium» — the step on the way to integration of means of informatization of education
RUDN Journal of Informatization in Education, 2014 In article the concept of «smart auditorium», its property of heterogeneity, object orientation, krossplatform, content and methodical unification is discussed.
S G Grigoriev +2 more
doaj