Cuốn sách truy cập mở duy nhất này áp dụng ngôn ngữ lập trình OCaml chức năng cho các ứng dụng khoa học, kỹ thuật và khoa học dữ liệu có trọng số hoặc tính toán. Cuốn sách này dựa trên kinh nghiệm trực tiếp của các tác giả xây dựng và duy trì Owl, một thư viện máy tính số dựa trên OCaml.

Cuốn sách này hướng dẫn những kỹ năng mềm thiết yếu, giúp các chuyên gia kỹ thuật trở thành những nhà lãnh đạo CNTT toàn diện. Bạn sẽ thành thạo kỹ năng giao tiếp rõ ràng trước nhiều đối tượng khác nhau, xây dựng đội ngũ vững mạnh thông qua hợp tác và giải quyết xung đột, và giải quyết các vấn đề phức tạp bằng tư duy có cấu trúc.

Luận án này trình bày các thuật toán chính xác nhanh hơn (về mặt thời gian chạy trong trường hợp xấu nhất) cho các trường hợp đặc biệt của bài toán đồ thị thông qua quy hoạch động và lập trình 2-SAT. Lập trình động mô tả quy trình chia nhỏ một bài toán một cách đệ quy thành các bài toán con chồng chéo, tức là các bài toán con có các bài toán con chung.

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.