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