HỆ THỐNG THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ
Các nhiệm vụ khác
- Nghiên cứu các sản phẩm từ tinh dầu chúc (Citrus hystrix) được trồng tại An Giang có tác dụng kháng khuẩn và khử mùi
- Nghiên cứu khai thác và phát triển nguồn gen hải sâm vú Holothuria nobilis Selenka 1867
- Tuyển văn học Anh
- Nghiên cứu hướng dẫn phương pháp nội dung và xây dựng các chỉ tiêu kiểm soát trong Quy hoạch Xây dựng khu chức năng Thí điểm cho khu du lịch
- Nghiên cứu đánh giá ảnh hưởng qua lại của tâm lý người nông dân đối với việc chuyển đổi phương thức sản xuất nông nghiệp hiện đại
- Nghiên cứu cơ cấu kinh tế hợp lý phát triển nông nghiệp và nông thôn tỉnh Trà Vinh
- Nghiên cứu đề xuất định hướng thúc đẩy ứng dụng IoT trong công nghiệp (IIoT) phục vụ sản xuất thông minh
- Điều tra khảo sát nghiên cứu và tính toán các đặc trưng khí tượng thuỷ văn dải ven biển Quảng Nam - Đà Nẵng phục vụ khai thác hải sản nông nghiệp giao thông vận tải và quốc phòng
- Ứng dụng tiến bộ Khoa học và Công nghệ phát triển nghề nuôi ong mật và chế biến các sản phẩm ngành ong theo hướng sản xuất hàng hóa tại tỉnh Vĩnh Phúc
- Nghiên cứu hoàn thiện hệ thống hồ sơ địa chính phục vụ yêu cầu đổi mới quản lý Nhà nước về đất đai
liên kết website
Lượt truy cập
Lượt truy cập :
14,931,371
- 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+