Tiên phong đào tạo về nhân quyền


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

Nhận xét

Đăng nhận xét

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

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

Sóng gầm : Tiểu thuyết

http://repository.vnu.edu.vn/handle/VNU_123/32720 Title:  Sóng gầm : Tiểu thuyết Authors:  Nguyên Hồng Keywords:  Văn học Việt Nam;Tiểu thuyết Issue Date:  2005 URI:  http://repository.vnu.edu.vn/handle/VNU_123/32720 Appears in Collections: Những tác phẩm văn học đoạt giải thưởng Hồ Chí Minh
Đọc thêm

NGHIÊN CỨU ĐẶC ĐIỂM SINH HỌC VÀ ĐA DẠNG DI TRUYỀN CỦA MỘT SỐ CHỦNG NẤM RƠM VOLVARIELLA VOLVACEA

http://repository.vnu.edu.vn/handle/VNU_123/11427 Title:  NGHIÊN CỨU ĐẶC ĐIỂM SINH HỌC VÀ ĐA DẠNG DI TRUYỀN CỦA MỘT SỐ CHỦNG NẤM RƠM VOLVARIELLA VOLVACEA Authors:  Trần Đông Anh Trịnh Tam Kiệt Phan Hữu Tôn Keywords:  Nuôi trồng và chọn tạo giống nấm rơm;Volvariella volcacea;AP- PCR Issue Date:  2008 Publisher:  Di truyền học và ứng dụng - Chuyên san Công nghệ sinh học
Đọc thêm