Marc 21 DDC KHTG KD KHTG CD

MỤC LỤC LIÊN HỢP VIETBIBLIO

Giới hạn kết quả tìm kiếm bằng dấu *:
Ví dụ: Toán 2, xuất bản năm 2010, Bộ sách Cánh Diều => Nhập: Toán 5*2010*Cánh Diều
Tên sách hoặc ISBN:
Thư viện:
Tìm thấy: 1 tài liệu với từ khoá Phương pháp hình thức

Phần mềm dành cho TV huyện và trường học922733. HUỲNH TẤN KHẢI
    Tổ hợp và kiểm chứng dịch vụ web kết hợp khai phá dữ liệu và phương pháp hình thức/ Huỳnh Tấn Khải.- Đà Nẵng: Nxb. Đà Nẵng, 2019.- 193tr.: hình vẽ, bảng; 21cm.
    Thư mục: tr. 178-191
    ISBN: 9786048444952
    Tóm tắt: Trình bày tổng quan về tình hình nghiên cứu và các kiến thức nền tảng, định hướng cho nghiên cứu; khung thức tổng quát cho bài toán tổ hợp các thành phần phần mềm một cách tự động; tổ hợp dịch vụ web dựa trên phương pháp kiểm tra mô hình; kiểm soát bùng nổ không gian trạng thái cho bài toán tổ hợp dịch vụ web; gom cụm dịch vụ web dựa trên lý luận; giới thiệu về công cụ tổ hợp và kiểm chứng tổ hợp dịch vụ web tự động WSCOVER
(Dịch vụ; Phần mềm máy tính; Trang Web; )
DDC: 006.78 /Price: 120000đ /Nguồn thư mục: [NLV].

Trang sau |
VUC là mục lục liên hợp, dành cho các thư viện sử dụng hệ thống tự động hóa thư viện VietBiblio có thể tìm kiếm và khai thác nhanh chóng dữ liệu thư mục bao gồm hình ảnh bìa sách.
Với VietBiblio, Hơn 5.000 thư viện có quy mô nhỏ ở Việt Nam đã nhanh chóng thực hiện chuyển đổi số trong điều kiện còn khó khăn về kinh phí và nguồn nhân lực.