Новый подход к построению методов межпроцедурного анализа программ (Работа поддержана грантом РФФИ ?96-01-01433) А.С. Антонов, Вл.В. Воеводин Введение Необходимость выполнения межпроцедурного анализа очень часто возникает на практике, в частности, при анализе параллельных свойств программ. ... 7 Заключение Описанный в данной работе метод позволяет провести межпроцедурный анализ программ с точностью до отдельных элементов массивов. ... Описание входных и выходных данных фрагментов программ. ...

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

• Выделения текста

... For brevity, Navigator will refer to Netscape's Navigator product (which in later versions was renamed "Communicator" and various other names), and MSIE will refer to Microsoft's Internet Explorer product. ... Apache as of version 1.2 is an HTTP/1.1 server (with an optional HTTP/1.0 proxy). ... All versions of Navigator from 2.0 through 4.0b2 (and possibly later) have a problem if the trailing CRLF of the response header starts at offset 256, 257 or 258 of the response. ...

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

• Qt Toolkit - qevent.h include file
• Apache HOWTO documentation
• Apache module mod_cgi

ОРТОГОНАЛЬНЫЕ КРИВОЛИНЕЙНЫЕ КООРДИНАТЫ В Одной из важнейших, но до сих пор недостаточно изученных, классических задач дифференциальной геометрии является задача описания и построения ортогональных криволинейных координат в Rn , т.е. построение в n-мерном евклидовом пространстве с евклидовыми координатами (x1 , . ... Условие, что диагональная метрика является плоской, приводит к системе уравнений в частных производных классическим уравнениям Ламе. ...

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

• Index of /people/taras/TTC/slides
• Abstracts (Russian)
• S.V.Smirnov: Research (Russian)

О факультете . ... Moscow 24-27 . ... This conference is organised by Moscow State University in cooperation with the Russian Academy of Sciences, the Russian Academy of Education, the Russian Psychological Society and the International Neuropsychological Association. ... Chair, Organising Committee . ... Bank beneficiary's : Latvian Trade Bank . ... The organising committee may help to find a nice hotel in downtown Moscow ('National' - from $214, 'Pekin'- from $60, 'Moscow'- from $45, etc.) yes . ...

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

• Психофизиология гештальта

... ШРИФТ TIMES NEW ROMAN 12 PT, ЖИРНЫЙ, ЗАГЛАВНЫЕ БУКВЫ (стиль «Заголовок 1») Фамилия И.О.1, Фамилия И.О.2 авторов (стиль авторы) 1)Место работы, адрес и e-mail авторов 1 2)Место работы, адрес и e-mail авторов 2 Шрифт Times New Roman 12pt, курсив (стиль «Данные») В тезисах необходимо кратко изложить цель работы, ее основную идею, предложенный путь решения, результаты и их краткое обсуждение. ... Тезисы должны быть сохранены в формате Мicrosoft Word. ... Исследование операций и задачи оптимизации . ...

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

... Языки . ... Т-языки . ... URL: . http://glade.nmd.msu.ru/magnate/tc2c . Status: . ... Todo: . ... Зафиксировать версию языка TC, которая будет поддерживаться в прототипе промышленной версии Т-системы . People: . ... Реализовать front-end (сканер и парсер) для подмножества одного из широко распространенных скриптовых языков программирования (таких, как, например, TCL) . ... http://glade.nmd.msu.ru/~pooh/refal-plus http://glade.nmd.msu.ru/~pooh/rfrt/rfrt.html . ...

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

... Заседание было открыто 3 мая 1919 г. в 5 ч. дня. Присутствовали: Н. А. Морозов, Д. O. Святский, М. А. Вильев, М. Я. Мошонкин, С. М. Селиванов, Н. И. Идельсон и Н. М. Штауде. ... Работа о появлении этих комет, по постановлению собрания, будет напечатана в Известиях Института или в Изв. ... Председатель: Н. Морозов . ... Затем собрание выносит пожелание устроить собрание всех сотрудников Научного Института, для их ознакомления между собою, в целях объединения научной работы различных Отделений. ...

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

• "Альмагест" и синдром новой хронологии
• IDATII EPISCOPI CHRONICON

... О КРУЖКАХ . ... РАСПИСАНИЕ КРУЖКОВ . ... МАТЕРИАЛЫ ЗАНЯТИЙ . 2-4 классы . 5 класс . ... МАЛЫЙ МЕХМАТ - ШКОЛЕ . ... Кружок 7 класса (рук. ... Кружок 7 класса, группа А (ст. преп. ... При любых a и b выполнено неравенство: a 2 + b 2 2 ab. ... Докажите, что a + 1/ a 2. ... Докажите, что при любых значениях переменных выполнено неравенство u 2 + 2 uv + 2 v 2 + 2 v 0. ... Докажите, что ( a + b )( b + c )( a + c ) 8 abc . ... Докажите неравенство a 2 b 2 + b 2 c 2 + c 2 a 2 abc ( a + b + c ). ...

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

... Введение в теорию чисел. ... К теории делимости чисел. ... К теории сходимости рядов. ... Лекции. а) Вариационное исчисление. 1877-78 гг. б) Теория мнимого переменного. 1877-78 гг. в) Основания теории эллиптических функций. г) Анализ. д) Теория чисел (исторический очерк развития теории чисел). 1874-75 гг. е) Теория чисел. Введение. ж) Программа из теории чисел. 1872-73 гг. з) Теория чисел. 1876-77 гг. и) Теория числовых функций. к) Интегрирование дифференциальных уравнений с частными производными. ...

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