CÁC BÀI BÁO KHOA HỌC 08:01:08 Ngày 20/06/2019 GMT+7
Thứ tự Tiêu đề Tác giả File
701 New megastigmane glucosides from Excoecaria cochinchinensis Lour. var. cochinchinensis Giang P.M., Son P.T., Matsunami K., Otsuka H.  
702 Information flow is linear refinement of constancy Spoto F.  
703 Constructing open systems via consistent components Thang N.T., Katayama T.  
704 Stochastic analysis of graph transformation systems: A case study in P2P networks Heckel R.  
705 A logic for quantum circuits and protocols Patra M.  
706 Using fairness constraints in process-algebraic verification Puhakka A.  
707 Formalizing the debugging process in Haskell De La Encina A., Llana L., Rubio F.  
708 An SLD-resolution calculus for basic serial multimodal logics Nguyen L.A.  
709 Externalized and internalized notions of behavioral refinement Bidoit M., Hennicker R.  
710 On refinement of software architectures Meng S., Barbosa L.S., Naixiao Z.  
711 Covarieties of coalgebras: Comonads and coequations Clouston R., Goldblatt R.  
712 Quantitative temporal logic mechanized in HOL Celiku O.  
713 Component-based software engineering* the need to linie methods and their theories He J., Li X., Liu Z.  
714 Solving first order formulae of pseudo-regular theory Limet S., Pillot P.  
715 Particulate pollution levels and source apportionment in six asian cities: Preliminary findings of AIRPET Oanh N.T.K., Upadhyay N., Zhuang Y.-H., Hao Z., Murthy D.V.S., Swaminanthan T., Puji L., Villarin J.T., Khervin C., Co H.X., Trung D.N., Lindgren E.S.  
716 The evolution of periodic population systems under random environments Du N.H., Kon R., Sato K., Takeuchi Y.  
717 An application of the Lyapunov-Schmidt method to semilinear elliptic problems Ngo Q.A.  
718 On A-generators for the cohomology of the symmetric and the alternating groups Hung N.H.V.  
719 New bis-spirolabdane-type diterpenoids from Leonurus heterophyllus Sw. Giang P.M., Son P.T., Matsunami K., Otsuka H.  
720 Antibiotic resistance in bacteria from shrimp farming in mangrove areas Le T.X., Munekage Y., Kato S.-I.  
Trang :  1  |  2  |  3  |  4  |  5  |  6  |  7  |  8  |  9  |  10  |  11  |  12  |  13  |  14  |  15  |  16  |  17  |  18  |  19  |  20  |  21  |  22  |  23  |  24  |  25  |  26  |  27  |  28  |  29  |  30  |  31  |  32  |  33  |  34  |  35  |  36  |  37  |  38  |  39  |  40  |  41  |  42  |  43  |  44  |  45  |  46  |  47  |  48  |  49  |  50  |  51  |  52  |  53  |  54  |  55  |  56  |  57  |