I was born on April 12, 1958, in Moscow, USSR, and I have a Russian nationality. I graduated the Lomonosov Moscow State University in 1981, obtained there my Ph.D.degree in 1984 (the topic of the dissertation: "Stellar populations and evolution of galaxies") and a degree of Doctor of Physical-Mathematical Sciences in 1994 (the dissertation "Stellar population of galactic nuclei"). Since 1984 I hold a permanent position at the Sternberg Astronomical Institute (Moscow). ...

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

... 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. ...

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

... Collaborative Research Center for Cluster Ion Beam Process Technology . ...

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

• Участие сотрудников отдела в кон

... Institute of Mechanics . ... In 1977- 1991 A .P.Seyranian was a Member of Scientific Staff at the Institute of Problems in Mechanics of the Academy of Sciences in Moscow . ... Since 1993 A .P.Seyranian is a Leading Researcher and Professor of the Institute of Mechanics , Moscow State Lomonosov University . ... In 2003 he became an Invited Speaker and Chairman of the Session 'Stability and Control Problems in Mechanics' at the conference 'Physics and Control 2003' , Sankt-Petersburg. ...

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

• List of Publications of Prof. Alexander P. Seyranian
• Professor Alexander P. Seyranian

. Search of Novel Crystalline Materials , Study of their Properties and Crystallization Processes . Main . Research . Staff . Ph.D. students . Publications . Projects . Contacts . Main Publications . - Group of search of novel crystalline materials . - Group of study of crystallization processes . - Group of growth and investigation periodically polarized crystals of lithium niobate for quasi-synchronous conversion of laser radiation

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

• List of Publications Naumova

Моделирование динамика потока подземных вод и процессов переноса контаминантов в районе нефтебазы под Вильнюсом (Литва). ... International Conference on Tracers and Modelling in Hydrogeology, Liege , May, 2000. ... 262 - 2000, May, 2000. ... Проведено моделирование миграции нефти, использованы гидрогеологическая модель и модель переноса контаминантов на участка 1,5_?2 км. ... водная среда, нефть, нефтяное загрязнение, Литва . ...

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

• http://ecoinformatica.srcc.msu.ru/print_home.php?theme=5&subtheme=26&type=2&type1=2
• http://ecoinformatica.srcc.msu.ru/print_html.php?keyword=&num_records=1&theme=1&subtheme=34&from=0&ref_ind=0211000271
• http://ecoinformatica.srcc.msu.ru/print_html.php?keyword=&num_records=1&theme=2&subtheme=10&from=&ref_ind=0207100030

... VaST is a software tool for finding variable objects on a series of astronomical images. ... VaST performs object detection and aperture photometry using SExtractor on each image, cross-matches lists of detected stars, performs magnitude calibration with respect to the first (reference) image and constructs a lightcurve for each object. ... VaST FITS image viewer ./pgfv . ... Part I" PZP, vol. ... K. V. Sokolovsky, S. A. Korotkiy; "New Variable Stars Discovered by the NMW Survey" PZP, vol. ...

270. ПубликацииТАВ

271. http://site2010.sai.msu.ru/static/doc/Site2010-Summary.pdf

272. hpc@cmc | Высокопроизводительные вычисления на ВМК МГУ

273. Moscow Astronomical Plate Archives: Contents, Digitization, Current and

274. http://cytol.bio.msu.ru/docs/Information%20letter%202014-1.doc

275. http://www.protein.bio.msu.ru/~akula/Kulaichev%20Addition.pdf

276. Список литературы

277. Ученые детям

278. http://www.ipib.msu.ru/UserFiles/File/spconf2010/talks/requena.doc

279. http://master.cmc.msu.ru/files/bigdata-annot.pdf

280. dead computer contest | С Днем Победы!