Formalizing of web-services specifications using temporal logics
- 期刊名称ScienceRise
- 作者MOHAMMED KHODAYER HASSAN AL-DULAIMI,AYMEN MOHAMMED KHODAYER AL-DULAIMI
- 卷第3卷
- 印刷ISSN2313-6286
- 电子ISSN2313-8416
- 文件大小473.38KB
- 发表时间2015
- DOI10.0000/cyberleninka.ru/article/n/formalizing-of-web-services-specifications-using-temporal-logics
В статье дается информация о структуре, главных задачах и принципах деятельности Российской Академии естественных наук (РАЕН), секции нефти и газа и Волго-Камском региональном отделении. За 15 лет отделение превратилось в многофункциональную команду специалистов высшей квалификации, насчитывающую более 70 человек, решающих задачи преимущественно нефтяной отрасли региона, России и за ее пределамиМуслимов Р. Х.,Дияшев Р. Н. · Георесурсы · 2009
Механизм влияния величины зерна на сопротивление деформированию поликристаллов в концепции структурных уровней деформации твердых тел. Часть I. необходимость учета мезоскопических структурных уровней деформации при анализе уравнения Холла-ПетчаПанин В. Е.,Елсукова Т. Ф.,Гриняев Ю. В. · ФИЗИЧЕСКАЯ МЕЗОМЕХАНИКА · 2003
Зависимость теплофизических и диэлектрических свойств полистирола от концентрационных и тепловых воздействий на радикально полимеризующуюся с обратимой передачей цепей (тип «Присоединение-фрагментация») реакционную системуОпаркин А. В.,Насыров И. И.,Сидельникова В. А. · Вестник Казанского технологического университета · 2013
Модификация действующих методик реконструкции доз внутреннего облучения щитовидной железы и всего тела жителей населенных пунктов Российской Федерации, подвергшихся радиоактивному загрязнению вследствие аварии на ЧАЭС в 1986 г. Часть 2. Оценки влияния основных факторов, определяющих динамику активностей 137Cs в молоке и организме жителей загрязненных территорий осенью-зимой 1986 г. после аварии на ЧАЭСВласов О.К.,Щукина Н.В. · Радиация и риск (Бюллетень Национального радиационно-эпидемиологического регистра) · 2010
Модификация действующих методик реконструкции доз внутреннего облучения щитовидной железы и всего тела жителей населенных пунктов Российской Федерации, подвергшихся радиоактивному загрязнению вследствие аварии на ЧАЭС в 1986 г. Часть 4. Модифицированный метод стандартизации доз внутреннего облучения щитовидной железы и всего тела жителей населенных пунктов Российской Федерации, подвергшихся радиоактивному загрязнению вследствие аварии на ЧАЭС за первый год после аварииВласов О.К.,Щукина Н.В. · Радиация и риск (Бюллетень Национального радиационно-эпидемиологического регистра) · 2010
КОМПЛЕКСНАЯ ТАЛАССОТЕРАПИЯ (С ОБЯЗАТЕЛЬНЫМ КОМПОНЕНТОМ ПСАММОПРОЦЕДУР) ПРИ ЛЕЧЕНИИ В ЗДРАВНИЦАХ АНАПЫ ЮНОШЕЙ ДОПРИЗЫВНОГО ВОЗРАСТА, СТРАДАЮЩИХ АТОПИЧЕСКОЙ ЛОКАЛИЗОВАННОЙ И ДИФФУЗНОЙ ФОРМОЙ НЕЙРОДЕРМИТОВКАНИЩЕВА Ю.Д. · Вестник новых медицинских технологий · 2009
АНАЛИЗ ЧРЕЗВЫЧАЙНЫХ СИТУАЦИЙ, ОБУСЛОВЛЕННЫХ РАЗЛИВАМИ НЕФТИ И НЕФТЕПРОДУКТОВ, ПРОИЗОШЕДШИХ С 1994 ПО 2006 ГГ., И ВЫПОЛНЯЕМОЙ РАБОТЫ АСФ(Н) ПО ЛИКВИДАЦИИ ЧС(Н) И РЕАБИЛИТАЦИИ ТЕРРИТОРИЙ И АКВАТОРИЙ, ЗАГРЯЗНЕННЫХ НЕФТЬЮ И НЕФТЕПРОДУКТАМИПИКАЛОВ М.А., БАРИНОВ А.М. · Стратегия гражданской защиты: проблемы и исследования · 2014
Федеральный закон Российской Федерации «о внесении изменений в отдельные законодательные акты Российской Федерации по вопросам создания бюджетными научными и образовательными учреждениями хозяйственных обществ в целях практического применения (внедрения) результатов интеллектуальной деятельности» (от 2. 08. 2009 г. N 217-ФЗ)Экономика образования · 2010
Пам’яті професора П. О. НерушаДНІПРОПЕТРОВСЬКЕ ОБЛАСНЕ ВІДДІЛЕННЯ УКРАЇНСЬКОГО ФІЗІОЛОГІЧНОГО ТОВАРИСТВА ТА ТОВАРИСТВА НЕЙРОНАУК,КОЛЕКТИВ КАФЕДРИ ФІЗІОЛОГІЇ ДЗ «ДНІПРОПЕТРОВСЬКА МЕДИЧНА АКАДЕМІЯ МОЗ УКРАЇНИ» · Медичні перспективи · 2012
Hybrid var compensator with improved efficiencyБурлака Володимир Володимирович,Гулаков Сергій Володимирович,Поднебенна Світлана Костянтинівна,Савенко Ольга Сергіївна · Вестник Приазовского государственного технического университета. Серия: Технические науки · 2014
About manganese neurotoxicity in drinking ground waterКалинникова Татьяна Борисовна,Тарасов Олег Юрьевич,Колсанова Руфина Рифкатовна,Гайнутдинов Марат Хамитович · Георесурсы · 2011
Концепция 3D компьютераКочковая Наталья Владимировна,Мешков Владимир Евгеньевич,Чураков Вадим Сергеевич,Брыкина Татьяна Александровна · Альманах современной науки и образования · 2012
ГРАФИКИ РЭБЗАБЕЛИН АЛЕКСАНДР ВЛАДИМИРОВИЧ, АУКУЦИОНЕК СЕРГЕЙ ПАВЛОВИЧ, ДЕМИНА НАТАЛЬЯ ВЛАДИМИРОВНА · Российский экономический барометр · 2013
ГРАФИКИ РЭБАУКУЦИОНЕК СЕРГЕЙ ПАВЛОВИЧ, ДЕМИНА НАТАЛЬЯ ВЛАДИМИРОВНА, ЗАБЕЛИН АЛЕКСАНДР ВЛАДИМИРОВИЧ · Российский экономический барометр · 2013
ГРАФИКИ РЭБЗАБЕЛИН АЛЕКСАНДР ВЛАДИМИРОВИЧ, АУКУЦИОНЕК СЕРГЕЙ ПАВЛОВИЧ, ДЕМИНА НАТАЛЬЯ ВЛАДИМИРОВНА · Российский экономический барометр · 2014
Графики РЭБАукуционек Сергей Павлович,Демина Наталья Владимировна,Забелин Александр Владимирович · Российский экономический барометр · 2015
Tracing origin of vehicle materials to be recycledТоцкий Александр Ларионович · Вестник Федерального государственного образовательного учреждения высшего профессионального образования «Московский государственный агроинженерный университет им. В.П. Горячкина» · 2012
Ekobentokorm sorption abilityGorlov I. F.,Zelenkova G. A.,Verovsky A. A.,Pakhomov A. P. · Известия Нижневолжского агроуниверситетского комплекса: наука и высшее профессиональное образование · 2014
Methodological approaches to defining railways infrastructure chargesBLYZNIUK T.N. · Сборник научных трудов Днепропетровского национального университета железнодорожного транспорта имени академика В. Лазаряна «Проблемы экономики транспорта» · 2013
Модернизация триеровПодзоров А. В. · Вестник Федерального государственного образовательного учреждения высшего профессионального образования «Московский государственный агроинженерный университет им. В.П. Горячкина» · 2008
Магия как наука в учении ТелемыКарелин В.М. · Мистико-эзотерические течения в теории и практике. Проблема интерпретации эзотеризма и мистицизма. Сборник материалов третьей международной научной конференции,. — Издательство Русской христианской гуманитарной академии Санкт-Петербург, 2010. · 2010
Труд в обществе знанийНовиков Александр Михайлович · Вестник Федерального государственного образовательного учреждения высшего профессионального образования «Московский государственный агроинженерный университет им. В.П. Горячкина» · 2009
Urfi and BedilАминчонова Р. · Ученые записки Худжандского государственного университета им. академика Б. Гафурова. Гуманитарные науки · 2010
The control system of the manipulator agricultural robotNesmiyanov I. A.,Zoga V. V.,Pavlovskiy V. E.,Vorobyeva N. S. · Известия Нижневолжского агроуниверситетского комплекса: наука и высшее профессиональное образование · 2014