... Name : Num Len : 141 Check : 422 Weight : 1.00 Name : 1LLI_A Len : 141 Check : 8150 Weight : 1.00 Name : 1LLI_B Len : 141 Check : 8974 Weight : 1.00 Name : 1LMB_3 Len : 141 Check : 8077 Weight : 1.00 Name : 1LMB_4 Len : 141 Check : 9510 Weight : 1.00 Name : 1RIO_A Len : 141 Check : 5034 ... HHHHH HHHHHHHHHH HHHHHH.. HHHHHHHH 1lmb .. ... HHHHHHHH 1rio .. ... HHHHHHHH 1per .. ... HHHHHHHH 3cro .. ... HHHHHHHH 6cro .. ... HHH HHHHH.. ... HHHHH HHHH.. ...

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

• http://monkey.belozersky.msu.su/npidb/pdb/html_pfam/PF01381/support/hth3_dna.msf

... 1930· 33 I - RaC ( RaC')· - * * 10· 8 - ( ) - ( ) 0,973 1,229 1,496 1,797 1,984 2,210 2,267 2,827 3,528 0,658 0.065 0,067 0,206 0.063 0,064 0,000 (!) ... 0,01 ThC B J I ^ I RaC 5 iV . ... ThC , . ... IVa 41 ThC" 10 - 1 - 0,0000 0,0646 4- 0,0012 0,522 +0,02 0 0,735 +0,01 5 0,768 + 0,015 IVb D 0,0000 0,0644 0,502 0,731 0,758 - 10 0,0644 0,229 0,256 0,438 0,694 0,758 - · 10 · - D-C -- - -- -- 0,0641 0,227 0,255 0,440 0,694 0,758 + + + -- 0,0003 0,002 0,001 0,002 0,000 0,000 - ( -- A; D -- A; D -- ), , ...

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

• http://nuclphys.sinp.msu.ru/school/s08/s08_02.pdf
• http://nuclphys.sinp.msu.ru/school/s09/09_33.pdf
• http://nuclphys.sinp.msu.ru/spargalka/ruth_nucl.pdf

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

184. НАУЧНО-ИССЛЕДОВАТЕЛЬСКИЙ ИНСТИТУТ СОЦИАЛЬНЫХ СИСТЕМ

185. MSU Science Park - News