[IEEE 2014 21st Asia-Pacific Software Engineering Conference (APSEC) - Jeju, South Korea (2014.12.1-2014.12.4)] 2014 21st Asia-Pacific Software Engineering Conference - Verifying Secure Interface Composition for Component-Based System Designs
- 作者Sun, Cong; Xi, Ning; Li, Jinku; Yao, Qingsong; Ma, Jianfeng
- 文件大小535.46KB
- 发表时间2014
- DOI10.1109/apsec.2014.60
- 页码359-366
МАТВЕЕВ В. Ю. ЭРМИТАЖ «ВСЕМИРНЫЙ», ИЛИ ПЛАНЕТА ЭРМИТАЖ. ВЫСТАВОЧНАЯ ДЕЯТЕЛЬНОСТЬ МУЗЕЯ ЗА РУБЕЖОМ И ПРОИЗВЕДЕНИЯ ИЗ ЗАРУБЕЖНЫХ СОБРАНИЙ НА ВЫСТАВКАХ В ГОСУДАРСТВЕН-НОМ ЭРМИТАЖЕ: НАУЧНО-СПРАВОЧНОЕ ИЗДАНИЕ. СПБ.: СЛАВИЯ, 2012. 540 С., 22 ИЛ. ISBN 978-5-9501-0237-0НИКОНОВА АНТОНИНА АЛЕКСАНДРОВНА · Вопросы музеологии · 2013
Результаты мониторинга апробации системы «Социальных лифтов» в уголовно-исполнительной системе Российской Федерации в 2011 году (в части изменений осужденным условий отбывания наказаний путем изменения вида иу, замены осужденным оставшегося наказания более мягким видом, условно-досрочного освобождении осужденных, поощрений (Ч. 1 ст. 113 УИК РФ) и наказаний (Ч. 1 ст. 115 УИК РФ) осужденных)Кузьмин А.Н. · Вестник Северо-Кавказского гуманитарного института · 2015
ЗАКЛЮЧЕНИЕ ГОСУДАРСТВЕННО-ПРАВОВОГО УПРАВЛЕНИЯ АППАРАТА ЗАКОНОДАТЕЛЬНОГО СОБРАНИЯ НИЖЕГОРОДСКОЙ ОБЛАСТИ НА ПРОЕКТ ЗАКОНА НИЖЕГОРОДСКОЙ ОБЛАСТИ «О МЕТОДИКЕ РАСПРЕДЕЛЕНИЯ СУБСИДИЙ МЕЖДУ МУНИЦИПАЛЬНЫМИ ОБРАЗОВАНИЯМИ, УЧАСТВУЮЩИМИ В РЕАЛИЗАЦИИ ПОДПРОГРАММЫ «ОБЕСПЕЧЕНИЕ ЖИЛЬЕМ МОЛОДЫХ СЕМЕЙ» ФЕДЕРАЛЬНОЙ ЦЕЛЕВОЙ ПРОГРАММЫ «ЖИЛИЩЕ» НА 2002—2010 ГОДЫ», ВНЕСЕННЫЙ ГУБЕРНАТОРОМ НИЖЕГОРОДСКОЙ ОБЛАСТИ ПИСЬМОМ ОТ 20 АВГУСТА 2008 ГОДА № 001-2159/08-0-0Юридическая техника · 2008
В настоящее время сложились и функционируют многие международные и региональные правозащитные учреждения, в том числе и межгосударственные суды, призванные обеспечить права и свободы личности. Из них наиболее реальную и эффективную защиту прав граждан, проживающих на нашем континенте, обеспечивает Европейский суд по правам человека. Суд играет весьма важную роль в защите и претворении в жизнь идеалов и принципов уважения прав человека и верховенства права. Он имеет огромное значение для повышения эффективности судебных систем европейских стран. Несмотря на возникшие политико-юридические сложности, его деятельность ни в коей мере не утратила своей актуальности. Она стала еще более значимой в связи с предстоящими переменамиРАЛЬФ АЛЛЕВЕЛЬДТ,ГАРАНИНА И.Г. · Марийский юридический вестник · 2014
Федеральный закон «о внесении изменений в отдельные законодательные акты Российской Федерации по вопросам создания бюджетными научными и образовательными учреждениями хозяйственных обществ в целях практического применения (внедрения) результатов интеллектуальной деятельности»Инновации · 2009
ПРОБЛЕМЫ ТРУДОУСТРОЙСТВА ВЫПУСКНИКОВ УЧРЕЖДЕНИЙ ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ И СОЗДАНИЕ ХОЗЯЙСТВЕННЫХ ОБЩЕСТВ БЮДЖЕТНЫМИ НАУЧНЫМИ И ОБРАЗОВАТЕЛЬНЫМИ УЧРЕЖДЕНИЯМИСОЛОВЬЕВА ГАЛИНА МИХАЙЛОВНА,КОЦАРЬ ЮРИЙ АНАТОЛЬЕВИЧ · Профессиональное образование в России и за рубежом · 2010
НЕОБХОДИМОСТЬ ПРЯМЫХ СВЯЗЕЙ МЕЖДУ ПРОИЗВОДСТВЕННЫМИ ПРЕДПРИЯТИЯМИ И ТРУДНОСТИ ИХ РАЗВЕРТЫВАНИЯ В ТОРГОВОМ ОБОРОТЕ МЕЖДУ СТРАНАМИ-ЧЛЕНАМИ СЭВActa Oeconomica · 1973
Министерство финансов Российской Федерации приказ от 22 октября 2009 г. № 105н об утверждении Методических рекомендаций по определению расчетно-нормативных затрат на оказание федеральными органами исполнительной власти и (или) находящимися в их ведении федеральными государственными бюджетными учреждениями государственных услуг (выполнение работ), а также расчетно-нормативных затрат на содержание имущества федеральных государственных бюджетных учрежденийБухгалтерский учёт в бюджетных и некоммерческих организациях · 2010
Strain Development in Streptomyces virginiae, a Producer of VirginiamycynPrikrylova, V.; Blumauerova, M.; Sedmera, P.; Vanek, Z.; Marsalek, J.; Kristan, V.; Прикрилова, В.; Блумаерова, М.; Седмера, П.; Ванек, З.; Марсалек, И.; Крищан, В.; Прикрилова, В.; Блумаерова, М.; Седмера, П.; Ванек, З.; Марсалек, И.; Крищан, В. · Biotechnology & Bioindustry · 1987
About manganese neurotoxicity in drinking ground waterКалинникова Татьяна Борисовна,Тарасов Олег Юрьевич,Колсанова Руфина Рифкатовна,Гайнутдинов Марат Хамитович · Георесурсы · 2011
Another approach to education (on alternative methods of foreign language teaching and learning)Нисилевич Алла Борисовна,Стрижова Екатерина Валентиновна,Харитонова Ольга Викторовна,Каменева Наталия Александровна · Филологические науки. Вопросы теории и практики · 2013
FORMATION OF CYLINDRICAL VECTOR BEAMS OF HIGH ORDER BASED ON POLARIZING TRANSFORMATIONS IN UNIAXIAL CRYSTALSХонина Светлана Николаевна,Карпеев Сергей Владимирович,Алфёров Сергей Владимирович,Сойфер Виктор Александрович · Computational nanotechnology · 2014
Development of the scheme of combined heating system using seasonal storage of heat from solar plantsМазуренко, Антон Станиславович; Климчук, Александр Андреевич; Юрковский, Станислав Юрьевич; Омеко, Роман Викторович · Eastern-European Journal of Enterprise Technologies · 2015
Study of n-paraffins in crude oil by nuclear magnetic resonanceШкаликов Николай Викторович,Скирда Владимир Дмитриевич,Николин Иван Владимирович,Сафонов Сергей Сергеевич · Георесурсы · 2010
Heating Capacity of Hydrocarbons in Above-Critical Thermobaric ConditionsКузнецов Михаил Александрович,Овсянников Павел Олегович,Григорьев Евгений Борисович,Богданов Андрей Владимирович · Вести газовой науки · 2014
The International Medieval Congress 2015Яцык Светлана Александровна,Возчиков Дмитрий Викторович,Шмидт Глеб Александрович · Vox Medii Aevi · 2015
Methodological approaches to defining railways infrastructure chargesBLYZNIUK T.N. · Сборник научных трудов Днепропетровского национального университета железнодорожного транспорта имени академика В. Лазаряна «Проблемы экономики транспорта» · 2013
EAST-SIBERIAN STATE UNIVERSITY FOR TECHNOLOGYVAGANOVA TATIANA GENNADIEVNA · Ученые записки Забайкальского государственного университета. Серия: Профессиональное образование, теория и методика обучения · 2009
Ways to overcome the problems of intangible assets accounting of the Ukrainian enterprisesBARASH Yu.S.,BULHAKOVA Yu.V.,BOZHOK N.O.,HOLOVKO F.P. · Сборник научных трудов Днепропетровского национального университета железнодорожного транспорта имени академика В. Лазаряна «Проблемы экономики транспорта» · 2014
Tracing origin of vehicle materials to be recycledТоцкий Александр Ларионович · Вестник Федерального государственного образовательного учреждения высшего профессионального образования «Московский государственный агроинженерный университет им. В.П. Горячкина» · 2012
TILLETIACEAE NOVAE VEL RARAE UNIOTIIS SOVETICAELAVROV NIKOLAY N. · Систематические заметки по материалам гербария им. П.Н. Крылова Томского государственного университета · 1937
DE USNEA NOVA IN SIBIRIA INVENTAРЕЗЕНЕН В. · Систематические заметки по материалам гербария им. П.Н. Крылова Томского государственного университета · 1927
The modeling of economic efficiency of products carriage-building plant in conditions of dynamic pricingMYAMLIN S.,BARANOVSKIY D. · Сборник научных трудов Днепропетровского национального университета железнодорожного транспорта имени академика В. Лазаряна «Проблемы экономики транспорта» · 2014
Roles and functions of the transportation process participants and features of their relations under conditions of the industry reformingBLYZNIUK T.M. · Сборник научных трудов Днепропетровского национального университета железнодорожного транспорта имени академика В. Лазаряна «Проблемы экономики транспорта» · 2014