Lượt truy cập 9.276.220
Hôm nay
Tháng này
4.377
28.460
Thứ Sáu, 09:46 27/11/2020
Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng.
Nghiên cứu sinh: Tô Hữu Nguyên
Người hướng dẫn khoa học: TS. Nguyễn Trường Thắng, PGS.TS. Đặng Văn Đức
Để xem bản tóm tắt Luận án tiến sĩ (Bản tiếng Việt), tải về tại đây
Để xem bản tóm tắt Luận án tiến sĩ (Bản tiếng Anh), tải về tại đây
Để xem toàn bộ Luận án tiến sĩ, tải về tại đây
Về đầu bài viết 
Ý kiến của bạn
Các tin đã đưa:
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Nghiên cứu thành phần hoá học và hoạt tính ức chế sản sinh NO in vitro của hai loài Cryptolepis buchananii và Ailanthus triphysa. (20/03/26)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Nghiên cứu đa dạng thực vật có mạch và đề xuất giải pháp bảo tồn tại Khu Bảo tồn Thiên nhiên Kon Chư Răng, tỉnh Gia Lai. (19/03/26)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Tổng hợp và nghiên cứu tính chất điện hóa của vật liệu oxit (Na,Li)MnO 2 pha tạp và đồng pha tạp Co, F ứng dụng làm điện cực dương trong pin ion Natri. (19/03/26)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Các mô hình tiên tiến cho rút gọn thuộc tính gia tăng dựa trên tập mở trực cảm và tập thô lân cận trọng số (16/03/26)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Nghiên cứu chế tạo compozit chống cháy trên nền polyolefin và epoxy sử dụng phụ gia cấu trúc nano (11/03/26)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Nghiên cứu sự biến động nồng độ arsenic theo thời gian và đánh giá chỉ số chất lượng nước ngầm tại Vạn Phúc, Nam Phù, Hà Nội. (12/02/26)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Nghiên cứu hiệu ứng phát xạ laser và khuếch đại quang trong buồng cộng hưởng liên kết với cấu trúc tinh thể quang tử 1D, 2D. (13/11/20)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Nghiên cứu phát triển các tổ hợp vật liệu phát quang micro-nano và linh kiện quang biên dạng tự do ứng dụng trong chiếu sáng rắn. (13/11/20)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Nghiên cứu, thu nhận protein từ sinh khối rong nước lợ (Chaetomorpha sp.) để ứng dụng trong công nghiệp thực phẩm. (13/11/20)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Tối ưu hoá dòng năng lượng dao động trong điều khiển hệ Port-Controlled Hamiltonian. (12/11/20)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Nghiên cứu đánh giá rủi ro động đất khu vực đô thị thành phố Hà Nội. (10/11/20)
