Browse

Author Profile

Browsing by Subject Chương trình máy tính

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 5 of 5
  • OER000003057.pdf.jpg
  • Ebooks (Sách điện tử)

  • Certified Programming with Dependent Types

    • Authors : Adam, Chlipala (2019)

  • This textbook covers practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation.
  • OER000003059.pdf.jpg
  • Ebooks (Sách điện tử)

  • Compiler Design: Theory, Tools, and Examples

    • Authors : Seth D., Bergmann (2016)

  • This textbook is a revision of an earlier edition that was written for a Pascal and C++ based curricula. It is not intended to be strictly an object- oriented approach to compiler design.
  • OER000003179.pdf.jpg
  • Ebooks (Sách điện tử)

  • Learning Vim

    • Authors : - (2019)

  • Vim là trình soạn thảo văn bản đa chế độ (phương thức) dựa trên bảng điều khiển. Nó được sử dụng rộng rãi và có sẵn theo mặc định trên tất cả các hệ thống Unix, Linux và Apple OS X. Vim có một cộng đồng hoạt động rộng lớn và lượng người dùng rộng rãi. Trình chỉnh sửa hỗ trợ tất cả các ngôn ngữ lập trình phổ biến và có sẵn nhiều plugin để mở rộng các tính năng của nó. Đây ...
  • OER000003349.pdf.jpg
  • Ebooks (Sách điện tử)

  • Mobile forensics -- the file format handbook : common file formats and file systems used in mobile devices

    • Authors : - (2022)

  • Cuốn sách truy cập mở này tóm tắt kiến ​​thức về một số hệ thống tệp và định dạng tệp thường được sử dụng trong thiết bị di động. Ngoài mô tả cơ bản về các định dạng, còn có các gợi ý về giá trị pháp lý của các đồ tạo tác có thể có, cùng với bản phác thảo các công cụ có thể giải mã dữ liệu liên quan. Cuốn sách được tổ chức thành hai phần riêng biệt. Đầu tiên, Phần I...
  • OER000003120.pdf.jpg
  • Ebooks (Sách điện tử)

  • Relational Databases and Microsoft Access 365 - Version 4.0

    • Authors : Ron, McFadyen (2021)

  • Giới thiệu MS Access và thiết kế cơ sở dữ liệu quan hệ. Hỗ trợ khóa học, giới thiệu về hệ thống cơ sở dữ liệu đối với sinh viên, đây là khóa học dịch vụ cung cấp phần giới thiệu về các khái niệm cơ sở dữ liệu hoặc là điều kiện tiên quyết để nghiên cứu nâng cao hơn trong lĩnh vực này.