Thách Thức Đối Với Bảo Tồn Rùa Biển Tại Biển Đông

http://repository.vnu.edu.vn/handle/VNU_123/10585

Title: Thách Thức Đối Với Bảo Tồn Rùa Biển Tại Biển Đông
Authors: Nguyễn, Đức Thế
Chu, Thế Cường
Issue Date: 2012
Publisher: Đại học Quốc Gia Hà Nội

Nhận xét

Đăng nhận xét

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

ích hợp giáo dục môi trường và biến đổi khí hậu qua dạy học sinh học cấp độ tổ chức sống Quần xã – Hệ sinh thái, sinh học 12 trung học phổ thông

http://repository.vnu.edu.vn/handle/VNU_123/49821 Title:  Tích hợp giáo dục môi trường và biến đổi khí hậu qua dạy học sinh học cấp độ tổ chức sống Quần xã – Hệ sinh thái, sinh học 12 trung học phổ thông : Luận văn ThS. Giáo dục học: 60 14 10 Authors:  Dương, Tiến Sỹ , người hướng dẫn Lương, Quang Trung Issue Date:  2014 Publisher:  ĐHGD
Đọc thêm

Tiếp cận địa lý trong nghiên cứu phát triển nông thôn miền núi (Ví dụ xã Mường Vi, huyện Bát Xát, tỉnh Lào Cai)

http://repository.vnu.edu.vn/handle/11126/6359 Title:  Tiếp cận địa lý trong nghiên cứu phát triển nông thôn miền núi (Ví dụ xã Mường Vi, huyện Bát Xát, tỉnh Lào Cai) Authors:  Nguyễn, Cao Huần Đào, Đình Bắc Keywords:  Tiếp cận địa lý Phát triển nông thôn Nông thôn miền núi Lào Cai Issue Date:  2003 Publisher:  Đại học Quốc gia Hà Nội
Đọc thêm

Verifying Specifications with Proof Scores in CafeOBJ

Title:  Verifying Specifications with Proof Scores in CafeOBJ Authors:  FUTATSUGI, Kokich Keywords:  CafeOBJ;Proof Scores Issue Date:  2006 Publisher:  ĐHCN Abstract:  Verifying specifications is still one of the most important undeveloped reseach topics in software engineering. It is important because quite a few critical bugs are caused at the level of domains, requirements, and/or designs. It is also important for the cases where no program codes are generated and specifications are analyzed and verified only for justifying models of problems in real world. Formal methods is not the “silver bullet”, but is still expected to improve the practice of constructions/analyses/verifications of domain/requirement/design speci- fications. URI:  http://repository.vnu.edu.vn/handle/VNU_123/14458
Đọc thêm