Lượt truy cập 9.716.601
Hôm nay
Tháng này
1.665
35.433
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ân lập, tinh chế curcumin và bán tổng hợp các dẫn xuất của nó theo định hướng hoạt tính sinh học in vitro và in silico từ cây Nghệ vàng Curcuma longa L. Việt Nam (16/06/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 diễn biến và phân vùng nhiễm mặn tỉnh Bến Tre bằng công nghệ viễn thám đa tầng, đa độ phân giải, đa thời gian. (12/06/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 giải pháp nhận dạng mặt đường giao thông sử dụng cảm biến quán tính và các mô hình học máy. (08/06/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 tính đa dạng thực vật có mạch và đề xuất các biện pháp bảo tồn tại Khu Bảo thiên nhiên Kim Hỷ, tỉnh Thái Nguyên. (20/05/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ử dụng vỏ cà phê Robusta làm chất khử và chất mang để chế tạo vật liệu tổ hợp nano gốc đồng định hướng sử dụng làm chất kháng bệnh thực vật. (14/05/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, đặc trưng hệ vi lưu tích hợp. Định hướng ứng dụng cho phân tích và tổng hợp vật liệu. (14/05/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)
