[ACM Press the fifth ACM SIGPLAN international conference - Not Known (2000..-..)] Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00 - QuickCheck
- 作者Claessen, Koen; Hughes, John
- 文件大小306.03KB
- 发表时间2000
- DOI10.1145/351240.351266
- 页码268-279
К вопросу об эффективных способах построения диагностических моделей в реконфигурируемом вычислительном поле системы функционального контроля и диагностики бортового комплекса управления космического аппаратаСАВКИН Л.В. · Актуальные проблемы гуманитарных и естественных наук · 2015
ИНФОРМАЦИОННОЕ ПИСЬМО ПРЕЗИДИУМА ВЫСШЕГО АРБИТРАЖНОГО СУДА РОССИЙСКОЙ ФЕДЕРАЦИИ ОТ 13 АПРЕЛЯ 2010 Г. № 136 «О НЕКОТОРЫХ ВОПРОСАХ, СВЯЗАННЫХ С КАПИТАЛИЗАЦИЕЙ ПЛАТЕЖЕЙ ПРИ БАНКРОТСТВЕ». ПОСТАНОВЛЕНИЕ ПЛЕНУМА ВЫСШЕГО АРБИТРАЖНОГО СУДА РОССИЙСКОЙ ФЕДЕРАЦИИ ОТ 17 ДЕКАБРЯ 2009 Г. № 91 «О ПОРЯДКЕ ПОГАШЕНИЯ РАСХОДОВ ПО ДЕЛУ О БАНКРОТСТВЕ» ИНФОРМАЦИОННОЕ ПИСЬМО ПРЕЗИДИУМА ВЫСШЕГО АРБИТРАЖНОГО СУДА РОССИЙСКОЙ ФЕДЕРАЦИИ ОТ 27 АПРЕЛЯ 2010 Г. № 137 «О НЕКОТОРЫХ ВОПРОСАХ, СВЯЗАННЫХ С ПЕРЕХОДНЫМИ ПОЛОЖЕНИЯМИ ФЕДЕРАЛЬНОГО ЗАКОНА ОТ 28.04.2009 № 73-ФЗ «О ВНЕСЕНИИ ИЗМЕНЕНИЙ В ОТДЕЛЬНЫЕ ЗАКОНОДАТЕЛЬНЫЕ АКТЫ РОССИЙСКОЙ ФЕДЕРАЦИИ» ПОСТАНОВЛЕНИЕ ПЛЕНУМА ВЫСШЕГО АРБИТРАЖНОГО СУДА РОССИЙСКОЙ ФЕДЕРАЦИИ ОТ 23 ИЮЛЯ 2009 Г. № 60 «О НЕКОТОРЫХ ВОПРОСАХ, СВЯЗАННЫХ С ПРИНЯТИЕМ ФЕДЕРАЛЬНОГО ЗАКОНА ОТ 30.12.2008 № 296-ФЗ «О ВНЕСЕНИИ ИЗМЕНЕНИЙ В ФЕДЕРАЛЬНЫЙ ЗАКОН «О НЕСОСТОЯТЕЛЬНОСТИ (БАНКРОТСТВЕ)»Имущественные отношения в Российской Федерации · 2010
Профессионально-прикладная физическая подготовка как один из основных предметов обеспечивающих формирование необходимых навыков и умений курсантов СПСА филиала спбу ГПС МЧС РоссииОсокин Дмитрий Андреевич · Science Time · 2015
Краткий обзор направлений научных исследований научно-исследовательского института комплексных проблем гигиены и профессиональных заболеваний по вопросам сохранения трудового потенциала населения Сибирского федерального округаЗахаренков В. В.,Виблая И. В. · Фундаментальные исследования · 2014
Количество катионных белков в гранулах нейтрофилов и экспрессия на их мембране эритроцитарных, комплементарных и Fcγ-рецепторов при определенных формах хронического гломерулонефрита у человекаАбрамова Т. В. · Медицинская иммунология · 2003
ОТРАЖЕНИЕ ПРОБЛЕМ ЮРИДИЧЕСКОЙ ТЕХНИКИ В ВЫПУСКНЫХ КВАЛИФИКАЦИОННЫХ РАБОТАХ ПО ГРАЖДАНСКОМУ ПРАВУ И ГРАЖДАНСКОМУ ПРОЦЕССУ КАК ПОКАЗАТЕЛЬ СООТВЕТСТВИЯ УРОВНЯ ПОДГОТОВКИ ВЫПУСКНИКА ВЫПОЛНЕНИЮ ПРОФЕССИОНАЛЬНЫХ ЗАДАЧ И ТРЕБОВАНИЯМ ГОСУДАРСТВЕННОГО ОБРАЗОВАТЕЛЬНОГО СТАНДАРТА ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯПЧЕЛКИН АЛЕКСАНДР ВЛАДИМИРОВИЧ · Юридическая техника · 2009
Информационные технологии в формировании общекультурных и общепрофессиональных компетенций бакалавров для полиграфического производства в условиях постиндустриального обществаСокол Л. Р.,Гарипов Р. М. · Вестник Казанского технологического университета · 2013
ПОСТАНОВЛЕНИЕ ПЛЕНУМА ВЫСШЕГО АРБИТРАЖНОГО СУДА РОССИЙСКОЙ ФЕДЕРАЦИИ ОТ 17 ФЕВРАЛЯ 2011 Г. № 10 «О НЕКОТОРЫХ ВОПРОСАХ ПРИМЕНЕНИЯ ЗАКОНОДАТЕЛЬСТВА О ЗАЛОГЕ» ПОСТАНОВЛЕНИЕ ПЛЕНУМ ВЫСШЕГО АРБИТРАЖНОГО СУДА РОССИЙСКОЙ ФЕДЕРАЦИИ ОТ 17 ФЕВРАЛЯ 2011 Г. № 11 «О НЕКОТОРЫХ ВОПРОСАХ ПРИМЕНЕНИЯ ОСОБЕННОЙ ЧАСТИ КОДЕКСА РОССИЙСКОЙ ФЕДЕРАЦИИ ОБ АДМИНИСТРАТИВНЫХ ПРАВОНАРУШЕНИЯХ»Имущественные отношения в Российской Федерации · 2011
Vibrogeodynamic recurrence of sheeted temperatures in temporarily shut-in wellsЧельцов Владимир Николаевич,Микляев Михаил Икарович,Чельцова Татьяна Владимировна,Калякина Лидия Алексеевна · Вести газовой науки · 2013
The International Medieval Congress 2015Яцык Светлана Александровна,Возчиков Дмитрий Викторович,Шмидт Глеб Александрович · Vox Medii Aevi · 2015
ГРАФИКИ РЭБЗАБЕЛИН АЛЕКСАНДР ВЛАДИМИРОВИЧ, АУКУЦИОНЕК СЕРГЕЙ ПАВЛОВИЧ, ДЕМИНА НАТАЛЬЯ ВЛАДИМИРОВНА · Российский экономический барометр · 2013
ГРАФИКИ РЭБАУКУЦИОНЕК СЕРГЕЙ ПАВЛОВИЧ, ДЕМИНА НАТАЛЬЯ ВЛАДИМИРОВНА, ЗАБЕЛИН АЛЕКСАНДР ВЛАДИМИРОВИЧ · Российский экономический барометр · 2013
ГРАФИКИ РЭБЗАБЕЛИН АЛЕКСАНДР ВЛАДИМИРОВИЧ, АУКУЦИОНЕК СЕРГЕЙ ПАВЛОВИЧ, ДЕМИНА НАТАЛЬЯ ВЛАДИМИРОВНА · Российский экономический барометр · 2014
Графики РЭБАукуционек Сергей Павлович,Демина Наталья Владимировна,Забелин Александр Владимирович · Российский экономический барометр · 2015
Peculiarities of phase behavior of formation fl uid in system «gas treatment unit – underground pipeline»Федулов Дмитрий Михайлович,Кубанов Александр Николаевич,Прокопов Андрей Васильевич,Цацулина Татьяна Семёновна · Вести газовой науки · 2013
ПРОЕКТИРОВАНИЕМОНТАЖ И ЭКСПЛУАТАЦИЯ СИСТЕМ АВТОМАТИЗАЦИИ НА ПРЕДПРИЯТИЯХ СТРОЙИНДУСТРИИ · СТРОЙИЗДАТ · 1979
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