Các nhiệm vụ khác
- Báo cáo kết quả lập bản đồ địa chất thuỷ văn-địa chất công trình vùng Thạch Khê tỷ lệ 1:50000
- Hiện tượng luận của một số mô hình chuẩn mở rộng trong sự xem xét các kết quả thực nghiệm
- Nghiên cứu chế tạo các hạt nano vô cơ hữu cơ được bọc bởi những polymer tương thích sinh học dùng trong y học
- Xây dựng và phát triển mô hình vườn rau gia đình trên đất cát góp phần tự túc rau xanh cho nhân dân huyện đảo Phú Quý tỉnh Bình Thuận
- Một số giải pháp phát triển hệ thống cây xanh đường phố thành phố Đà Nẵng
- Nâng cao hiệu quả thực hiện chức năng giai cấp và chức năng xã hội của nhà nước nhằm đảm bảo quyền làm chủ của nhân dân lao động ở nước ta hiện nay
- Nghiên cứu xử lý kết hợp nước mặt với nước ngầm
- Nghiên cứu phát triển hệ thống hỗ trợ du lịch thông minh dựa trên nền tảng trí tuệ nhân tạo
- Xây dựng cổng giao tiếp điện tử tỉnh Lào Cai
- Hoàn thành công nghệ sản xuất thuốc phòng trị bệnh cây trồng Mifum 06DD từ bạc Nano-Chitosantan phục vụ nông nghiệp
liên kết website
Lượt truy cập
Lượt truy cập :
13079543
- 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
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+