Program Logics for Certified Compilers || Separation logic
- 作者Appel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier
- 期第3期
- 文件大小507.42KB
- 发表时间2014
- DOI10.1017/CBO9781107256552.005
- 页码16-24
МЕТОДИКА ПРОВЕДЕНИЯ ЧИСЛЕННЫХ ЭКСПЕРИМЕНТОВ ДЛЯ РЕШЕНИЯ ЗАДАЧ О БОЛЬШИХ ВЫБРОСАХ СЛУЧАЙНЫХ ПРОЦЕССОВ МЕТОДИКА ПРОВЕДЕНИЯ ЧИСЛЕННЫХ ЭКСПЕРИМЕНТОВ ДЛЯ РЕШЕНИЯ ЗАДАЧ ПРИ БОЛЬШИХ ВЫБРОСАХ СЛУЧАЙНЫХ ПРОЦЕССОВБОБЫЛЕВ А. В., ЯРОШЕВСКИЙ В. А. · УЧЕНЫЕ ЗАПИСКИ ЦАГИ · 2002
ПРЕДЛОЖЕНИЯ ПО СОВЕРШЕНСТВОВАНИЮ ОРГАНИЗАЦИОННЫХ, НОРМАТИВНО-ПРАВОВЫХ, А ТАКЖЕ ЭКОНОМИЧЕСКИХ МЕХАНИЗМОВ ОБЕСПЕЧЕНИЯ ЭФФЕКТИВНОЙ ЗАНЯТОСТИ И ПОВЫШЕНИЯ КОНКУРЕНТОСПОСОБНОСТИ КАДРОВОГО ПОТЕНЦИАЛА СТРАНЫНЕКРЕСТЬЯНОВА С.Я. · TERRA ECONOMICUS · 2008
Общественная аккредитация вуза и иные мероприятия по совершенствованию системы качества высшего юридического образования на современном этапеРашева Н. Ю. · Научные итоги года: достижения, проекты, гипотезы · 2011
Особая экономическая зона технико-внедренческого типа в Томске - первые шаги, проблемы и перспективыПрец Владимир Адамович · Инновации · 2006
Декомпозиция проблемы повышения экономической эффективности на птицеводческих предприятиях яичного направленияГадаева Виктория Юрьевна · Вестник аграрной науки Дона · 2012
ОБОСНОВАНИЕ ОРГАНИЗАЦИОННО - ЭКОНОМИЧЕСКОГО МЕХАНИЗМА РЕГУЛИРОВАНИЯ ВНЕШНЕЭКОНОМИЧЕСКОЙ ДЕЯТЕЛЬНОСТИ ПРОМЫШЛЕННЫХ ПРЕДПРИЯТИЙАЛУЯН О.В. · TERRA ECONOMICUS · 2012
Порядок подготовки и назначения судебно-бухгалтерской экспертизы по делам о мошенничествах и связанных с ними преступлениях, совершаемых в сфере функционирования электронных расчетовАнапольская Алина Игоревна · Актуальные вопросы борьбы с преступлениями · 2014
Разработка основных направлений повышения эффективности реализации правомочий собственности во внутрифирменных отношениях на современном этапе развития экономических отношений в РоссииСклярова М. Е. · Актуальные вопросы современной науки · 2012
Biosynthesis of Insecticidal and Antibacterial Antibiotics in Actinomyces sp. 0234Blumauerova, M.; Jizba, J.; Sedmera, P.; Kofronova, O.; Wolf, A.; Vankova, J.; Vanek, Z.; Блумауерова, М.; Изба, Я.; Седмера, П.; Кофронова, О.; Волф, А.; Ванкова, Я.; Ванек, З.; Блумауерова, М.; Изба, Я.; Седмера, П.; Кофронова, О.; Волф, А.; Ванкова, Я.; Ванек, З. · Biotechnology & Bioindustry · 1987
Strain Development in Streptomyces virginiae, a Producer of VirginiamycynPrikrylova, V.; Blumauerova, M.; Sedmera, P.; Vanek, Z.; Marsalek, J.; Kristan, V.; Прикрилова, В.; Блумаерова, М.; Седмера, П.; Ванек, З.; Марсалек, И.; Крищан, В.; Прикрилова, В.; Блумаерова, М.; Седмера, П.; Ванек, З.; Марсалек, И.; Крищан, В. · Biotechnology & Bioindustry · 1987
СОМАКЛОНАЛНО ВАРИРАНЕВитанова, Зорница; Влахова, Мариана; Денчев, Пламен; Маринова, Елена; Витанов, Валентин; Атанасов, Атанас; Витанова, З.; Влахова, М.; Денчев, П.; Маринова, Е.; Витанов, В.; Атанасов, А.; Vitanova, Z.; Vlahova, M.; Denchev, P.; Marinova, E.; Vitanov, V.; Atanassov, A. · Biotechnology & Biotechnological Equipment · 1990
Structural analysis of a prestressed concreteПЕТРОВИЧ МИЛОШ З.,ПЕТКОВИЧ КАТАРИНА И.,ЖИВУЛОВИЧ-ПЕТРОВИЧ МАРИНА Г.,ЙОВАНОВИЧ ЕМИНА З. · Vojnotehnički glasnik · 2014
New Biologically Active Semisinthetic Antracycline GlycosidesJizba, J.; Fuska, J.; Fusková, A.; Sedmera, P.; Prikrylová, V.; Vaněk, Z.; Джизба, Дж.; Фуска, Дж.; Фускова, А.; Седмера, П.; Прикрилова, В.; Ванек, з.; Джизба, Дж.; Фуска, Дж.; Фускова, А.; Седмера, П.; Прикрилова, В.; Ванек, З. · Biotechnology & Bioindustry · 1988
The Use of Aspartic Proteinase from Fusarium Moniliforme for Cheese ProductionJacyk, A.; Chrzanowska, J.; Kolaczkowska, M.; Polanowski, A.; Яцик, А; Хрзановска, й.; Колашкова, М.; Полановски, А; Яцик, А.; Хрзановска, й.; Колашкова, М.; Пола-новскиl, А. · Biotechnology & Bioindustry · 1988
SturgeonДжардемова Дина Кузьминична,Курпешева Алия Ивановна,Абдурашидова Пари Алиасхабовна · Евразийский научный журнал · 2015
Пам’яті професора П. О. НерушаДНІПРОПЕТРОВСЬКЕ ОБЛАСНЕ ВІДДІЛЕННЯ УКРАЇНСЬКОГО ФІЗІОЛОГІЧНОГО ТОВАРИСТВА ТА ТОВАРИСТВА НЕЙРОНАУК,КОЛЕКТИВ КАФЕДРИ ФІЗІОЛОГІЇ ДЗ «ДНІПРОПЕТРОВСЬКА МЕДИЧНА АКАДЕМІЯ МОЗ УКРАЇНИ» · Медичні перспективи · 2012
Classification techniques of auditingVelyutina V. G. · МЕЖДУНАРОДНЫЙ ЖУРНАЛ ПРИКЛАДНЫХ И ФУНДАМЕНТАЛЬНЫХ ИССЛЕДОВАНИЙ · 2011
INFORMATION MODEL OF HEARTNIKITIN V.M., PASTELNICK M.I., LIPUNOVA E.A. · МЕЖДУНАРОДНЫЙ ЖУРНАЛ ПРИКЛАДНЫХ И ФУНДАМЕНТАЛЬНЫХ ИССЛЕДОВАНИЙ · 2011
LAW OF SECULAR PLANET SHIFTPUKHOV S.N. · МЕЖДУНАРОДНЫЙ ЖУРНАЛ ПРИКЛАДНЫХ И ФУНДАМЕНТАЛЬНЫХ ИССЛЕДОВАНИЙ · 2011
LINGUOPOETICS TODAY: ONTOLOGY AND METHODSMESHKOVA E.M. · МЕЖДУНАРОДНЫЙ ЖУРНАЛ ПРИКЛАДНЫХ И ФУНДАМЕНТАЛЬНЫХ ИССЛЕДОВАНИЙ · 2012
TECHNOLOGY OF CORN BREADKORYACHKINA S.Y., MATVEEVA T.V., KUZNECOVA E.A. · МЕЖДУНАРОДНЫЙ ЖУРНАЛ ПРИКЛАДНЫХ И ФУНДАМЕНТАЛЬНЫХ ИССЛЕДОВАНИЙ · 2012
Welding simulatorИльященко Д. П.,Крюкова О. М. · МЕЖДУНАРОДНЫЙ ЖУРНАЛ ПРИКЛАДНЫХ И ФУНДАМЕНТАЛЬНЫХ ИССЛЕДОВАНИЙ · 2014
PROBLEMS OF REFORMING RUSSIAN ACCOUNTINGKHAKHONOVA N.N. · МЕЖДУНАРОДНЫЙ ЖУРНАЛ ПРИКЛАДНЫХ И ФУНДАМЕНТАЛЬНЫХ ИССЛЕДОВАНИЙ · 2009
Culture Sociology: State hermitag 2006, 2008Bulgakov A. B. · МЕЖДУНАРОДНЫЙ ЖУРНАЛ ПРИКЛАДНЫХ И ФУНДАМЕНТАЛЬНЫХ ИССЛЕДОВАНИЙ · 2011