... Архитектура пакета . ... Пакет содержит типы данных и алгоритмы для поддержки теории формальных языков в системе Maple. ... Для представления символов используется тип type/character , Для представления цепочек тип type/string . ... Основной новый тип: Language . ... Каталог с исходными текстами пакета имеет следующую структуру. src\ . ... Конструкторы и утилиты к типу Language . ... Конструкторы и утилиты к типу Acceptor . ... конструкторы объектов имеют префикс new , например: newLanguage() . ...

Еще в разделе: (Показать все результаты (>3) - al.cs.msu.ru/ )

... Новости . ... О ВШГА МГУ . ... Высшая школа государственного администрирования - факультет МГУ имени М.В. Ломоносова , член Международной ассоциации школ и институтов администрирования (IASIA) и Европейской группы государственного администрирования (EGPA). подробнее . ... 15 ноября 2010 года в ВШГА МГУ авторский семинар 'Что такое инновационное технологическое предпринимательство' провел генеральный директор, Председатель правления ОАО 'Российская венчурная компания' Агамирзян Игорь Рубенович . ...

Еще в разделе: (Показать все результаты (>7) - anspa.msu.ru/ )

• У студентов кризис веры - Публикации ВШГА МГУ.

... Cleo batch system is purposed to control parallel tasks on computer clusters. It controls one or more task queues. tasks sceduling (all MPI implemetations are supported, most other parallel environments are supported too) . ... controllable user limits (max used cpus, task work time, etc.) . ... Any task in main will be queued to daughter queues if there aren't enough free own cpus (not shared with daughters). When daughter queues will get enough cpus for this task, it will be runned in main . ...

Еще в разделе: (Показать все результаты (>2) - parcon.parallel.ru/ )

Главное здание МГУ . ... Официальный сервер МГУ . ... Факультеты . Mеханико-математический факультет . ... Институт стран Азии и Африки . ... Все о геологии - неофициальный сервер геологического факультета . ... Под шпилем МГУ - Очень красивые фотографии. ... фотографии парка, окружающего главное здание МГУ . ... Фотографии, сделанные из окон главного здания МГУ . ... Продажа фотографий для полиграфии, коллекция фотографий МГУ высокого разрешения, фото фейерверка и лазерного шоу над зданием МГУ . ...

Еще в разделе: (Показать все результаты (>2) - msu.mnc.ru/ )

• MSU Photo

Lomonosov Moscow State University Biological faculty Botanical garden (Russia) (http://botsad.msu.ru/eng_news.htm) Botanical garden of the Komarov Botanical institute (Russia) Russian Iris Society Botanical garden of Taurida National Vernadsky University (Ukraine) The second information message Dear colleagues! ... Educational and enlightening activities based on collections of genus Iris L. The program of the Symposium will consist of plenary and sectional sessions as well as poster presentations. ...

Еще в разделе: (Показать все результаты (>4) - botsad.msu.ru/ )

• Приложение 6

Head of sector, acting head of the Computational Geophysics Division of the M.V. Keldysh Institute for Applied Mathematics, RAS. ... Finished the Electrodynamics and Quantum Theory Department of Faculty of Physics, MSU in 1962. ... Ill-posed problems, stochastic processes, theory of approximation. Mechanics and physics of multi-phase media, phenomena in porous media, difference schemes for some classes of mathematical physics problems (filtration, elasticity theory). ...

Еще в разделе: (Показать все результаты (>7) - compmech.math.msu.su/ )

• Список публикаций - А. Н. Козлова - Кафедра вычислительной механики
• Список публикаций - Е. Б. Кудашев - Кафедра вычислительной механики
• Н. А. Зайцев - Кафедра вычислительной механики

... if (B1) { S1; } if (B1) { S1; } if (B2) { S2; } - - ...exp... int x = 1; if (x == 1) { std::cout << "Okay" << std::endl; } else { std::cout << "Error" << std::endl; } -- ­ int strlen(const char* p) { int len = 0; do { ++len; } while (*p++); return len; } «», «bbb» -- , : · ­ , , · ­ , , · ­ , · ­ . ... 1977 ­ LTL, · , 1981 ­ (CTL), · , , 1981 , , 1982 ­ model checking ( ), · , 1986 ­ model checking ( ), · , 1989 ­ SPIN. ... The Spin Model Checker: Primer and Reference Manual, Addison Wesley, 2003. ...

Еще в разделе: (Показать все результаты (>2) - savenkov.lvk.cs.msu.su/ )

... 65 65 71 73 75 76 76 79 81 13. 13.1. 13.2. 13.3. 13.4. 13.5. 14. 14.1. 14.2. 14.2.1. 14.2.2. 14.2.3. 14.3. 14.3.1. 14.3.2. 15. 83 83 83 84 85 85 87 87 88 88 89 89 90 90 91 92 100 -1619.2003.2. 3 . ... 10 , 200 . ... 40]. 40 t 2000 1600 1200 800 400 0 0 10 20 30 40 50 S, 16. (t, ) (S, 2), 40 , 200 3, 48 2. ... 2000 /. ... 0, / 2000 200 2020 1660 1640 0,84 / 0,1 / 0,13 / 0,1 / 0,1 / 1/100 1,5 0,8 0,5 1,0 1,0 72 , / 2000 3 , / 3 2000 1600 1600 1200 1200 3 800 800 2 1' 1 400 400 0 0 20 40 60 80 1 00 33....

Еще в разделе: (Показать все результаты (>4) - depni.sinp.msu.ru/ )

... Sov.Phys.-Plasma Phys.) 1978.V.4. ... Timofeev I.B., Bychkov V.L. Influence of ionizing processes on the lifetime of plasma ball in air. ... Bychkov V.L. Database on ball Lightning for PC. ... Bychkov V.L., Bychkov A.V., Stadnik S.A. Polymer Fire Balls in Discharge Plasma. ... Emelin S.E., Bychkov V.L., Astafiev A.M., Kovshik A.P., Pirozerski A.L. Role of discharge products throttling for generation of ball lightning with a condensed core from a high pressure vapor - gas phase Proc. 11-th Intern. ...

Еще в разделе: (Показать все результаты (>5) - physelec.phys.msu.ru/ )

• Список основных публикаций группы "Сканирующая электронная микроскопия"

... Voronin А. Каrmanov D. Savin А. Electronic engineer: . ... Engineer ? ... Electrical design of microprocessor systems, creating software for control and monitoring earth and satellite stations. ... Programming, electrical and layout design of test equipment for testing the silicon matrix for experiment ATIC (Advanced Thin Ionization Calorimeter), creating software for calibration. Electrical design of readout electronics, creating software for collecting and analysis data for experiment NUCLEON . ...

Еще в разделе: (Показать все результаты (>2) - silab.sinp.msu.ru/ )

... Carbon and Nitrogen As Resources Limiting the Growth of Mono- and Mixed Cultures of Pseudomonas aeruginosa Dissociants P. V. Fursovaa, E. S. Mil'kob, and A. P. Levichc c Department of Biophysics Department of Microbiology Department of General Ecology, Moscow State University, Moscow, 119991 Russia e-mail: fursova @biophys.msu.ru b a Received December 26, 2006 Abstract--New experiments for detection of resources limiting the ... 1997; Levich, 2000). ... 1) (Levich et al., ...

Еще в разделе: (Показать все результаты (>9) - dis.bio.msu.ru/ )

• http://dis.bio.msu.ru/States/Milko_Kreier_2007_en.pdf
• http://dis.bio.msu.ru/States/Woude_Baumler_2004_%20en.pdf

... 28 октября 2011 года на 81-м году жизни скоропостижно скончался выдающийся ученый, основатель ведущей научной школы, профессор кафедры физики атомного ядра и квантовой теории столкновений физического факультета МГУ, главный научный сотрудник НИИЯФ МГУ, лауреат Ломоносовской премии Балашов Всеволод Вячеславович . ... Студенческий научный семинар кафедры физики атомного ядра и квантовой теории столкновений (312, 412 и 512 группы) проводится по средам еженедельно в 17:10, 19 корпус НИИЯФ МГУ, ауд. ...

Еще в разделе: (Показать все результаты (>3) - np-chair.sinp.msu.ru/ )

... Aerospace and environmental medicine Automation and Remote Control Optoelectronics, Instrumentation and Data Processing Acoustical Physics St Petersburg Mathematical Journal Algebra and Logic Angiologiia i sosudistaia khirurgiia = Angiology and vascular surgery Anesteziologiya i Reanimatologiya Antibiotiki ... Moscow University Mathematics Bulletin . ... Moscow University Chemistry Bulletin . ... Mathematics - , . ... Physics, Chemistry, Mathematics Nauchno-Tekhnicheskaya Informatsiya. ...

Еще в разделе: (Показать все результаты (>4) - geol.msu.ru/ )

• http://www.geol.msu.ru/obsh/uch_ch2.doc

Постановка задачи и суть проблемы . ... Ассоциативные операции и запись разных реализаций на COLAMO . ... Скажем, при нахождении суммы всех элементов массива сумма n элементов представляется как сумма n-го элемента и вычисленной ранее суммы n-1 элементов, при нахождении максимума из всех элементов массива максимум n элементов представляется как максимум n-го элемента и вычисленного ранее максимума n-1 элементов. ... Данная страница написана по материалам рабочего семинара НИИ МВС ЮФУ по языку COLAMO. ...

255. Кафедра теории упругости.

256. http://ms.cs.msu.ru/index.php?option=com_cbcontact&Itemid=37

257. Описание вычислительного комплекса IBM Blue Gene/P | hpc@cmc

---

Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам

Комментарии, вопросы? Пишите: info@astronet.ru или сюда