Lượt truy cập 5.829.087
Hôm nay
Tháng này
297
10.444
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 phát triển hệ tư vấn nhóm theo tiếp cận mờ trực cảm và tích phân Choquet, (02/01/25)
- 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 tích hợp vật liệu plasmonic hai chiều graphene và MoS 2 trên cấu trúc vật liệu biến hóa hấp thụ sóng điện từ ở vùng tần số GHz và THz (26/12/24)
- 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á cảnh báo sét áp dụng cho một số khu vực tại Việt Nam theo nguồn số liệu tổng hợp. (16/12/24)
- 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ành phần loài tôm nước ngọt thuộc họ Atyidae ở Việt Nam và đề xuất phân hạng bảo tồn. (13/12/24)
- 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 động thái dinh dưỡng N và P trong môi trường nước nuôi cá lồng vùng biển ven bờ Việt Nam (09/12/24)
- Thông tin tóm tắt về những đóng góp mới của luận án tiến sĩ: Đặc điểm sinh thái của loài Cóc đỏ (Lumnitzera littorea (Jack) Voigt) trong các quần xã thực vật rừng ngập mặn ở một số tỉnh ven biển Nam bộ. (06/12/24)
- 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)
