HỆ THỐNG THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ
Các nhiệm vụ khác
- Về lý luận chính sách và giải pháp đổi mới tăng cường thành phần kinh tế Nhà nước
- Dự án: Mở rộng qui mô sản xuất vú sữa theo tiêu chuẩn GlobalGAP
- Nghiên cứu mức độ tiếp thu tiến bộ kỹ thuật trong sản xuất nông nghiệp của các hộ dân tỉnh Yên Bái
- Nghiên cứu thiết kế chế tạo hệ thống đồng bộ các thiết bị phục vụ mô hình nuôi tôm thương phẩm thâm canh quy mô trang trại- Đề tài nhánh: Qui trình sử dụng đồng bộ thiết bị phục vụ nuôi tôm thương phẩm quy mô trang trại
- Nghiên cứu công nghệ và thiết bị chế biến than sinh hoạt cao cấp
- Nghiên cứu mô hình chủ nghĩa xã hội hiện thực trong thời đại ngày nay - Trường hợp Trung Quốc sau Đại hội XIX của Đảng Cộng sản Trung Quốc
- Nghiên cứu cơ sở khoa học và thực tiễn xây dựng chế tạo mẫu chuẩn (dung dịch chuẩn) phục vụ kiểm định hiệu chuẩn phương tiện đo nước
- Nghiên cứu xây dựng hệ thống dự báo tổ hợp hạn mùa dựa trên kết quả dự báo của các mô hình nghiệp vụ toàn cầu
- NC áp dụng các phương pháp vật lý địa cầu trong khảo sát công trình
- Nghiên cứu đề xuất nội dung phương pháp bộ thông số đánh giá tài nguyên nước mặt phục vụ công tác quản lý khai thác bền vững lưu vực sông
liên kết website
Lượt truy cập
Lượt truy cập :
16,609,585
- Kết quả thực hiện nhiệm vụ
102.03-2014.40
2019-53-445/KQNC
Phân tích chương trình và ứng dụng trong kiểm chứng phần mềm
Trường Đại học Công nghệ
Đại học Quốc gia Hà Nội
Quốc gia
PGS. TS. Trương Ninh Thuận
TS. Tô Văn Khánh, PGS. TS. Phạm Ngọc Hùng, TS. Võ Đình Hiếu, ThS .Lê Hồng Anh, ThS. Đào Thị Hường; Trương Ninh Thuận(1);
Khoa học máy tính
01/03/2015
01/08/2018
2019
Hà Nội
11 tr. + Phụ lục
Phần mềm; Kiểm chứng; Kỹ thuật; Phân quyền; Hệ thống nhúng
24 Lý Thường Kiệt, Hà Nội
16005
In ấn
Gửi Email
Facebook
Twitter
Google+