. Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 29 . Strict Standards : Non-static method JLoader::register() should not be called statically in /wcmc/ms/ms/libraries/loader.php on line 71 . Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 32 . Strict Standards : Non-static method JLoader::register() should not be called

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

• Лаборатория

... Energy gain spectroscopy and the related experiments in inverse kinematics which exploit the recoil ion longitudinal momentum for Q -value determination (change in the electron binding energies) give access to the energy levels of highly charged species and to energy levels that do not decay radiatively. ... Especially at higher impact energies Ep > 100 keV/u, where the final state determination in experiments are difficult, the influence of excitation has not been investigated. ... Phys. Rep. ...

Еще в разделе: (Показать все результаты (>2) - lmmqsp.sinp.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. ...

533. About Radio-MSU Network