» Từ khóa: kiem

Trình bày tổng quan về hệ thống phản ứng và các cơ sở lý thuyết đặc tả logic thời gian CLT và LTL. Kiểm chứng mô hình và công cụ NuSMV. Ứng dụng kiểm chứng mô hình tạo ca kiểm thử. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 6 p husc 02/04/2015 222 1 Download

Từ khóa: Tin học, hệ thống phản ứng, Kiểm chứng mô hình, Kiểm thử

Tổng quan về khai phá dữ liệu và tìm kiếm trên web. Phương pháp dò tìm và trích xuất thông tin trên web. Cài đặt ứng dụng hỗ trợ tìm kiếm thông tin tuyển sinh đại học dựa trên khai phá dữ liệu web. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 7 p husc 01/04/2015 225 1 Download

Từ khóa: Tin học, Khai phá dữ liệu, tìm kiếm trên web, trích xuất thông tin trên web, thông tin tuyển sinh

Tìm hiểu những kiến thức về lập trình tương tranh, kiểm thử phần mềm, kiểm thử đơn vị và giới thiệu một số công cụ kiểm thử mã nguồn mở vận dụng để kiểm thử mức đơn vị. Trình bày các vấn đề trong việc tiến hành kiểm thử đơn vị cho chương trình tương tranh và giải pháp tương ứng vấn đề. Ghi chú: Tài liệu toàn văn liên hệ theo...

 5 p husc 27/03/2015 233 1 Download

Từ khóa: Tin học, Chương trình tương tranh, Lập trình tương tranh, Kiểm thử phần mềm, Kiểm thử đơn vị

Tìm hiểu những kiến thức về kiểm thử, kiểm thử tự động và các hệ thống đa phương thức tương tác. Đưa ra những cái nhìn khách quan hơn về các phương thức kiểm thử, so sánh chúng để tìm ra những ưu điểm - nhược điểm của các phương pháp kiểm thử từ trước đến nay. Ghi chú: Tài liệu toàn văn liên hệ theo...

 6 p husc 26/03/2015 191 1 Download

Từ khóa: Tin học, Kiểm thử, Kiểm thử tự động, Hệ thống đa phương thức tương tác

Tìm hiểu tổng quan về kiểm thử phần mềm và kiểm thử đột biến; Kiểm thử đột biến trên môi trường Simulink; Ứng dụng và thử nghiệm. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 8 p husc 25/03/2015 227 1 Download

Từ khóa: Tin học, Kỹ thuật kiểm thử đột biến, Kiểm thử phần mềm

Trình bày khái niệm, mục đích tìm kiếm, bài toán tìm kiếm dữ liệu theo thời gian; phân đoạn dữ liệu và các vấn đề tương đương; truy vấn dữ liệu tuần tự theo thời gian dựa trên cách tiếp cận phân đoạn. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 20/03/2015 153 1 Download

Từ khóa: Tin học, Tìm kiếm dữ liệu, tiếp cận phân đoạn, bài toán tìm kiếm dữ liệu theo thời gian

Trình bày các quy trình và kỹ thuật kiểm định phần mềm; Xây dựng các quy trình có áp dụng các kỹ thuật kiểm định để vận dụng vào việc kiểm định các sản phẩm phần mềm nhằm: đảm bảo tính hiệu quả trong việc phát hiện lỗi, giảm thiểu chi phí, tiết kiệm thời gian và tăng độ tin cậy cho sản phẩm phần...

 3 p husc 19/03/2015 195 3 Download

Từ khóa: Tin học, kỹ thuật kiểm định phần mềm

Bài giảng Ứng dụng tin học trong khối ngành kinh tế: Chương 2 có nội dung trình bày về các hàm tính khấu hao, các hàm tài chính, các hàm kiểm định và một số hàm khác. Mời bạn đọc tham khảo nội dung bài giảng để hiểu rõ hơn về các nội dung trên.

 119 p husc 05/07/2014 267 1 Download

Từ khóa: Bài giảng Ứng dụng tin học, Ứng dụng tin học ngành kinh tế, Hàm tính khấu hao, Hàm tài chính, Hàm kiểm định, Tin học ứng dụng

Hóa học là một khoa học nghiên cứu về vật chất, bao gồm thành phần cấu tạo, cấu trúc, tính chất vật lí và các phản ứng hóa học của chất đó . Để thuận tiện cho việc nghiên cứu, hóa học có thể chia thành các chuyên ngành nhỏ sau: Hóa vô cơ, hóa hữu cơ, hóa lí, hóa sinh và hóa phân tích Hóa học phân tích là khoa học về các phương pháp phân...

 25 p husc 01/10/2013 290 2 Download

Từ khóa: Bài giảng hóa phân tích, kiểm nghiệm hóa học, phân tích định lượng, phân tích định tính, quá trình hóa lí, kỹ thuật hóa học