Cuốn sách này giới thiệu về phần mềm Coq để viết và kiểm tra các bằng chứng toán học. Nó tập trung vào kỹ thuật thực tế xuyên suốt, nhấn mạnh các kỹ thuật sẽ giúp người dùng xây dựng, hiểu và duy trì sự phát triển Coq lớn và giảm thiểu chi phí thay đổi mã theo thời gian.

XcalableMP là ngôn ngữ lập trình song song dựa trên chỉ thị dựa trên Fortran và C, hỗ trợ mô hình Không gian địa chỉ toàn cầu được phân vùng (PGAS) cho các hệ thống song song bộ nhớ phân tán. Cuốn sách truy cập mở này trình bày ngôn ngữ XcalableMP từ mô hình lập trình và khái niệm cơ bản của nó đến trải nghiệm và hiệu suất của các ứng dụng được mô tả trong XcalableMP.

Cuốn sách giải quyết các vấn đề cơ bản trong đặc điểm kỹ thuật, thiết kế, phân tích và thực hiện các ngôn ngữ và hệ thống lập trình.

Đối tượng chính của cuốn sách mở này là các nhà phát triển C++ chuyên nghiệp, những người muốn hiểu rõ hơn một chút về phát triển bare metal, tìm hiểu cách sử dụng ngôn ngữ lập trình yêu thích của mình trong môi trường nhúng và có thể nâng cao kỹ năng C++ của mình lên mức chuyên gia.

Cuốn sách này cung cấp phần giới thiệu toàn diện về lập trình hàm sử dụng Haskell , một ngôn ngữ hàm mạnh mẽ và hiện đại. Sách bao gồm các khái niệm cốt lõi, ứng dụng thực tế và các kỹ thuật nâng cao, nhấn mạnh vào sự rõ ràng, chính xác và tính liên quan trong thế giới thực.

Khi xử lý tệp văn bản, ngôn ngữ awk là lý tưởng để xử lý các tác vụ trích xuất dữ liệu, báo cáo và định dạng lại dữ liệu. Hướng dẫn thực hành này vừa là tài liệu tham khảo vừa là hướng dẫn sử dụng awk chuẩn POSIX, cũng như cho việc triển khai GNU, được gọi là gawk. Cuốn sách này hữu ích cho cả người mới bắt đầu và chuyên gia awk.

Phần giới thiệu về lập trình máy tính bằng Python này bắt đầu với một số kiến ​​thức cơ bản về điện toán và lập trình trước khi đi sâu vào các yếu tố cơ bản và các khối xây dựng của chương trình máy tính bằng ngôn ngữ Python.

Cuốn The Missing Link: An Introduction to Web Development của Michael Mendez thuộc chuyên ngành Công nghệ thông tin ứng dụng trong kinh tế và quản trị kinh doanh. Tác phẩm cung cấp kiến thức nền tảng và có tính thực hành cao về phát triển web, bao quát từ cấu trúc Internet, hoạt động của máy chủ đến thiết kế giao diện người dùng bằng HTML và CSS, lập trình động với JavaScript, PHP và cơ sở dữ liệu MySQL. Sách nhấn mạnh mối liên hệ giữa công nghệ web và hoạt động thương mại điện tử, quản trị dữ liệu cũng như bảo mật thông tin trong môi trường số. Bằng cách kết hợp lý thuyết và thực hành, tài liệu này giúp người học hiểu rõ quy trình xây dựng, vận hành và tối ưu hóa hệ thống web phục vụ các mục tiêu kinh tế – quản trị hiện đại.

Ấn bản thứ hai này của cuốn sách trình bày lập trình máy tính như một phương pháp then chốt để giải các bài toán và thể hiện một sửa đổi lớn: tất cả mã hiện được viết bằng Python phiên bản 3.6 (ấn bản đầu tiên dựa trên Python phiên bản 2.7).

Phần giới thiệu về lập trình máy tính bằng Python này bắt đầu với một số kiến ​​thức cơ bản về điện toán và lập trình trước khi đi sâu vào các yếu tố cơ bản và các khối xây dựng của chương trình máy tính bằng ngôn ngữ Python.