Checking parallel real - time systems for temporal duration properties by linear programming

http://repository.vnu.edu.vn/handle/11126/6351

Nhận xét

Đăng nhận xét

Bài đăng phổ biến từ blog này

NẤM LỚN Ở VIỆT NAM, Tập 1

http://repository.vnu.edu.vn/handle/VNU_123/11081 Title: NẤM LỚN Ở VIỆT NAM, Tập 1Authors:  GS.TSKH Trịnh Tam Kiệt Issue Date: 2011Publisher: Nhà xuất bản Khoa hoc Tự nhiên và Công nghệURI:  http://repository.vnu.edu.vn/handle/VNU_123/11081 Appears in Collections: IMBT - Bài đăng tạp chí / Tham luận HN-HT
Đọc thêm

Tác động của chuyển đổi kinh tế thị trường đối với quyền bình đẳng giáo dục cho học sinh nữ ở Việt Nam

http://repository.vnu.edu.vn/handle/VNU_123/25720 Title:  Tác động của chuyển đổi kinh tế thị trường đối với quyền bình đẳng giáo dục cho học sinh nữ ở Việt Nam Authors:  Hồ, Thị Thành Keywords:  Quyền bình đẳng giáo dục;Học sinh nữ;Giáo dục;Kinh tế thị trường;Kinh tế thị trường Issue Date:  2002 Publisher:  Đại học Quốc gia Hà Nội
Đọc thêm

Quantification of warming climate-induced changes in terrestrial Arctic river ice thickness and phenology

http://repository.vnu.edu.vn/handle/VNU_123/33785 Title:  Quantification of warming climate-induced changes in terrestrial Arctic river ice thickness and phenology Authors:  Park, H. Yoshikawa, Y. Oshima, K., (...) Kimball, J.S. Yang, D. Keywords:  Circulation/dynamics;Hydrologic cycle;Hydrologic models;Land surface model;Models and modeling;Streamflow Issue Date:  2016 Publisher:  American Meteorological Society
Đọc thêm