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

Lomonosov project . News . ... Mikhail Lomonosov . Scientific goals . ... Scientific equipment . ... UFFO . ... April 12, 2011 . The weight-dimension and thermal models of scientific equipment blocks of the spacecraft are delivered to R&D Institute of Electromechanics ? ... Discussed issues related to the flight model ofљ UFFO device. The scientific equipment systems were joined with UFFO block. ... Debugging and joining of scientific equipment with UFFO block were made. ...

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

Russian . Selected publications of V. Zakharov 2015 . Zakharov V.S., Perchuk A.L., Zavyalov S.P., Sineva T.A., Gerya T.V. Supercomputer Simulation of Continental Collisions in Precambrian: The Effect of Lithosphere Thickness // Moscow University Geology Bulletin. ... P. 77–83. doi: 10.3103/S014587521502012X. Paper (pdf) . ... Paper (pdf) . ... Summary in English . ... DOI: 10.3103/S014587521101011X. Paper (pdf) . ... Paper (pdf) Summary in English . ... Page design: ©V.Zakharov . ...

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

• Textbooks - Dynamic Processes in Geology
• Professional experience of V.Zakharov
• V.Zakharov's Ph.D. thesis

... The traditional answer to this question is unequivocal: тАЬno, public scholarship cannot and should not exist.тАЭ To popularize knowledge is to simplify, and simplification risks the loss of nuance and complexity, the very essence of scholarly knowledge. ... The public sphere can know but a distorted version of scholarly knowledge. ... You need JavaScript enabled to view it. (with Summer School-2016 in the subject line) before April 25, 2016. ... Summer School Archives . ...

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

• Tatiana Venediktova

V.A. Khokhlova, M.R. Bailey, P.J. Kaczkowski, B.W. Cunitz, J. Reed, M. Nakazawa, and L.A. Crum. ... V.A. Khokhlova. ... O.A. Sapozhnikov, R. Cleveland, M.R. Bailey, L.A. Crum. ... V.A. Khokhlova, M.A. Averkiou, M.A. Bailey, and L. A. Crum. ... V.A. Khokhlova, P.J. Kaczkowski, B.W. Cunitz, M.R. Bailey, and L.A. Crum. ... In: Book of Abstracts of the, 3.32B. V.A. Khokhlova, M.A. Averkiou, A.E. Ponomaryov, L.A. Crum. ... A.E. Ponomaryov, V.A. Khokhlova, M.A. Averkiou, and L.A. Crum. ...

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

• http://acoustics.phys.msu.su/teachers/lecture/matmodel.pdf

Mathematical modeling of biophysical processes in living cells and tissues . duration 6 months . ... 7(095) 939-26-12, Fax: +7(095)939-31-13, Email: romanov@yumr.phys.msu.ru . ... Interaction of femtosecond laser pulses with plasmas of modified targets . ... Theoretical investigations of polarization self-action and wave-interaction effects in nonlinear optics. ... Alexander V. Priezzhev, Associate Professor, Candidate of Sciences (physics and mathematics), Tel. ...

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

• Postdoctoral training of foreign scientists at Physical Department