Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Cuốn sách này đã phát triển một phương pháp tiếp cận tự động để đánh giá độ tin cậy của phần mềm, vừa có lý thuyết vững chắc vừa có thực tiễn. Phương pháp tiếp cận được phát triển mở rộng và kết hợp các phương pháp tiếp cận có lý thuyết vững chắc theo một cách mới lạ để giảm thiểu chi phí đánh giá độ tin cậy một cách có hệ thống.

Xem thêm

Making Media Matter: Critical Literacy, Popular Culture, and Creative Production

Cuốn sách này là nguồn tài nguyên thiết yếu cho các nhà giáo dục truyền thông đang nỗ lực thúc đẩy tư duy phản biện, sự sáng tạo và sự tham gia của công dân thông qua việc giảng dạy của họ.

Xem thêm

Understanding the DOM: Document Object Model

Cuốn sách này là cung cấp hiểu biết cơ bản về DOM, cũng như khám phá các ví dụ về các phương pháp phổ biến và hữu ích nhất để tương tác với DOM

Xem thêm

Swift Notes for Professionals

Swift Notes for Professionals là một hướng dẫn tham khảo toàn diện được thiết kế để giúp các nhà phát triển học và thành thạo ngôn ngữ lập trình Swift.

Xem thêm

Crypto 101

Crypto 101 là khóa học giới thiệu về mật mã, miễn phí cho các lập trình viên ở mọi lứa tuổi và trình độ kỹ năng.

Xem thêm

Advances in Digital Transformation: Rise of Ultra-Smart Fully Automated Cyberspace

Cuốn sách này là tài liệu tham khảo có giá trị cung cấp thông tin cập nhật về tình trạng hiện tại và các hướng nghiên cứu trong tương lai về chuyển đổi số cho các chuyên gia mạng, các học viên kinh doanh và công nghiệp, giảng viên đại học và sinh viên năm cuối và sau đại học trên toàn thế giới.

Xem thêm

Chế độ mới về tự chủ, công khai, minh bạch trong quản lý tài chính đối với ngành giáo dục đào tạo, dạy nghề, y tế, văn hóa thông tin, thể dục thể thao, khoa học và công nghệ chế độ chính sách đối với giáo viên, học sinh, cán bộ giáo dục

Cuốn sách giúp cán bộ quản lý, cán bộ làm công tác tài chính nắm được những quy định mới nhất về tài chính trong lĩnh vực giáo dục đào tạo, dạy nghề, y tế, văn hóa thông tin, thể dục thể thao, khoa học và công nghệ.

Xem thêm

FreeComputerBooks: công cụ tìm kiếm sách miễn phí dành cho những ai yêu thích Công nghệ thông tin

FreeComputerBooks là một thư mục chứa các siêu liên kết đến các sách điện tử, bài hướng dẫn và ghi chú bài giảng... miễn phí trên toàn thế giới. Đây là một dịch vụ cho cộng đồng tập trung chủ yếu vào lĩnh vực Công nghệ thông tin, Khoa học máy tính, Toán học, ...

Xem thêm

Giáo trình lập trình hướng đối tượng với C++

Giáo trình "Lập trình hướng đối tượng với C++" nhằm cung cấp cho sinh viên những khái niệm về các thành phần cũng như các bước xây dựng chương trình theo hướng đối tượng

Xem thêm

Ebook Lectra

LECTRA là một phần mềm tiêu biểu đại diện cho nghành may mặc trên toàn thế  giới, được  hình  thành  và  phát  triển  tại  Pháp  bao  gồm  hai  nội  dùng  lớn, LECTRA  hình  thành  và  phát  triển  theo  hướng đơn  nghành,  chuyên  sâu  với  tưcách  một  nghành  khoa  học  thực  thụ,  có  tính  ứng  dụng  cao  đáp ứng được  mọi yêu cầu của các nhà thiết kế, những doanh nghiệp đòi hỏi sát sao về thời gian và chất lượng sản phẩm

Xem thêm