Lập trình với Java là một eTextbook thân thiện với người mới bắt đầu, giới thiệu cho người đọc những kiến ​​thức cơ bản về Java, một trong những ngôn ngữ lập trình được sử dụng rộng rãi nhất. Sách bao gồm các khái niệm chính như cú pháp, kiểu dữ liệu, cấu trúc điều khiển và lập trình hướng đối tượng, cung cấp các giải thích rõ ràng và ví dụ thực tế.

Cuốn sách cung cấp kiến thức và kỹ năng thực hành về lập trình trò chơi điện tử, từ những khái niệm cơ bản đến quá trình xây dựng các trò chơi hoàn chỉnh. Nội dung bao gồm môi trường phát triển trò chơi, lập trình đồ họa, sprite, hình nền và các thành phần tương tác

Cuốn sách giải thích các khái niệm cơ bản; cung cấp giới thiệu về các API lập trình bộ nhớ liên tục cho C, C ++, JavaScript và các ngôn ngữ khác; thảo luận về RMDA với trí nhớ dai dẳng; đánh giá các tính năng bảo mật; và đưa ra nhiều ví dụ. Mã nguồn và các ví dụ mà bạn có thể chạy trên hệ thống của riêng bạn được bao gồm.

Cuốn sách này được viết cho sinh viên và người hướng dẫn muốn học cách sử dụng máy tính cho các mục đích sử dụng phổ biến nhất, chẳng hạn như duyệt web, tạo tài liệu hoặc thanh toán hóa đơn trực tuyến. Cuốn sách này dành cho bất cứ ai muốn thực hiện các tác vụ tính toán mà họ thiết kế.

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.