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

... 2014. ... Journal of Magnetism and Magnetic Materials (2014) in press. ... Novikov A., Semisalova A., Orlov A., Gan'shina E., Perov N., Anwand W., Wagner A., Potzger K., Granovsky A.B. "DEFECT-INDUCED MAGNETISM IN TITANIUM DIOXIDE" Book of Abstracts of Moscow International Symposium on Magnetism, 2014, Moscow, p. 106. ... Stepanov G.V., Perov N.S. "DYNAMIC MAGNETIC AND ELECTRICAL PROPERTIES OF MAGNETIC ELASTOMERS" Book of Abstracts of Moscow International Symposium on Magnetism, 2014, Moscow, p. 826...

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

• Сотрудники кафедры магнетизма: Радковская Анна Александровна
• Сотрудники кафедры магнетизма: Рыжанова Наталья Григорьевна
• Сотрудники кафедры магнетизма: Ведяев Анатолий Владимирович

... Задание слоев и их элементов . ... APPLET>. ... Часть параметров апплета имеют фиксированные имена и служат для задания общих для апплета данных, ряд имен параметров образуется по специальным шаблонам и используется для статического задания атрибутов отображения слоя и его элементов. ... Задание слоев и их элементов в параметрах апплета . Параметр layers_all задает список имен слоев, которые будут заданы в параметрах апплета Например, <param name= layers_all value="layer1 ... layerN"> . ...

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

... Rector of Bauman Moscow State Technical University, the President of the Association of Technical Universities . ... Rector of Southern Federal University, the Chairman of the Council of Rectors of the South of Russia . ... The President of Bauman Moscow State Technical University, the Chairman of the Council of Rectors of the Central Federal District . ... Rector of Moscow Institute of Physics and Technology (State University), the Chairman of the Council of Rectors of Moscow and Moscow Oblast . ...

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

... Kornev, V., Sharafiev, A., Kolotinskiy, N., and Mukhanov, O. Microwave dynamics of superconducting quantum cell.љ ... DOI љ] . ... Kornev, V., Sharafiev, A., Soloviev, I., and Mukhanov, O. Signal and noise characteristics of bi-squid.љ ... Kornev, V., Sharafiev, A., Soloviev, I., Kolotinskiy, N., Skripka, V., and Mukhanov, O. Superconducting quantum arrays.љ ... Kornev, V., Sharafiev, A., Soloviev, I., Kolotinskiy, N., and Mukhanov, O. Superconducting quantum arrays for broadband rf systems.љ ...

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

• Publications (from 2011)

... Кафедра . ... Заведующий кафедрой . ... Lecture courseљfor postgraduate students (General Linguistics Department) . ... Sociolinguistics is the study of language in relation to society, linguistic behavior in any community. ... May language be a social marker of separate identity? How do individuals and social groups define themselves in and through language? How is language involved in social conflicts and tensions? ... Ignoring the fundamentally social and behavioral nature of language . ...

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

... Родился 28 августа 1965 г. Окончил физический факультет Московского Государственного университета им. М.В. Ломоносова в 1988 г. Специальность по образованию - физик. 1995 г. - защитил кандидатскую диссертацию. ... E-mail: larichev@optics.ru . ... Goncharov A.S., Iroshnikov N.G., Larichev A.V., Nikolaev I.P., The impact of speckle on the measurement of eye aberrations, 2014, Journal of Modern Optics, ? ... PDF . ... Goncharov A.S., Larichev A.V., Iroshnikov N.G., Ivanov V.Yu., ...

290. http://physelec.phys.msu.ru/staff/bychkovpubl.doc

291. http://www.imk.msu.ru/Structure/Linguistics/yakubovich/download/luwian.pdf

292. HOME

293. http://www.msu.ru/en/admissions/general-programs/docs/FACULTY%20OF%20GLOBAL%20STUDIES.pdf

294. http://np-chair.sinp.msu.ru/download/epja100510-offprints.pdf