... Время создания: 16 февраля 2010 - 11:46 . ... Regatta root - вт, 16 февраля 2010 - 11:46 . Уважаемые пользователи системы IBM Regatta! ... Обновление от 04 марта 2010. В связи с принятием решения о проведении на системе Regatta суперкомпьютерного практикума, переустановка ПО переносится на конец весеннего семестра 2009 2010 учебного года. ... В настоящее время на вычислительном комплексе назрела необходимость обновления системного программного обеспечения. ... Regatta . ...
Узлы кафедры . ... Сообщение для администрации сети . Администрация сети факультета: netadmin@chem.msu.ru . ... Владимир Витальевич Кротов . ... Администрация сети факультета . Кирилл Владимирович Ермаков . ... Кафедра аналитической химии . ... Артем Евгеньевич Жирнов . ... Кафедра коллоидной химии . Павел Валерьевич Проценко . ... Кафедра лазерной химии . ... Кафедра медицинской химии . ... Кафедра неорганической химии . ... Кафедра общей химии . ... Кафедра органической химии . ...
. Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 29 . Strict Standards : Non-static method JLoader::register() should not be called statically in /wcmc/ms/ms/libraries/loader.php on line 71 . Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 32 . Strict Standards : Non-static method JLoader::register() should not be called
Зачем еще одна таблица переносов для русского языка? В настоящее время для работы в TeX с текстами на русском языке получили распространение шесть таблиц генерации переносов, использующих в своей основе алгоритм Франка Лянга. ... Совсем недавно в пакет была включена еще одна таблица переносов (ruhyphmg.tex, mg), составленная Михаилом Гринчуком. ... Новая таблица была названа (в соответствии со схемой наименования, предложенной в пакете ruhyphen) ruhyphal.tex. ...
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...