TimTaiLieu.vn - Tài liệu, ebook, giáo trình, đồ án, luận văn
TimTaiLieu.vn - Thư viện tài liệu, ebook, đồ án, luận văn, tiểu luận, giáo trình, hướng dẫn tự học
Giới thiệu: - Được đề xuất bới Jean René Abrial ở Đại học Oxford - Ngôn ngữ đặc tả hình thức được sử dụng rộng rãi nhất - Dựa trên lý thuyết tập hợp - Ký hiệu toán học - Sử dụng các sơ đồ
Chương 2 Tổng quan về Wamp Server23 trang | Lượt xem: 2030 | Lượt tải: 1
Ứng dụng giải thuật Singular Value Decomposition trên nền hệ thống phân tán vào bài toán phát hiện sao chép10 trang | Lượt xem: 825 | Lượt tải: 1
Bài giảng Lập trình nâng cao - Chương 2: Hàm34 trang | Lượt xem: 622 | Lượt tải: 1
Thực hành Matlab cơ bản - Worksheet 3: Ma trận trong Matlab9 trang | Lượt xem: 1225 | Lượt tải: 1
Ebook Java Cookbook711 trang | Lượt xem: 2625 | Lượt tải: 4
Lập trình Web bằng Visual Basic232 trang | Lượt xem: 2718 | Lượt tải: 1
Chương 10 Tối ưu hóa chương trình47 trang | Lượt xem: 1710 | Lượt tải: 0
Chương 1 Biểu diễn số đếm, mã và biến đổi mã41 trang | Lượt xem: 1853 | Lượt tải: 1
Hướng dẫn sử dụng ISIS: Mạch Schmitt biến đổi sin thành vuông dùng Transistor10 trang | Lượt xem: 2582 | Lượt tải: 1
Bài giảng Phân tích và thiết kế giải thuật-Chương 5: Qui hoạch động và giải thuật tham lam72 trang | Lượt xem: 3076 | Lượt tải: 5
