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.

Cuốn sách này cung cấp phần giới thiệu toàn diện về đồ họa máy tính cho chương trình đại học một học kỳ. Sách được thiết kế dành cho sinh viên khoa học máy tính có kinh nghiệm lập trình đáng kể với các ngôn ngữ như Java , C hoặc JavaScript , được sử dụng trong các ví dụ.

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 sách này mô tả các máy tính quy mô kho (WSC), nền tảng điện toán hỗ trợ điện toán đám mây và tất cả các dịch vụ web tuyệt vời mà chúng ta sử dụng hàng ngày.

Cuốn sách này với chương đầu tiên cung cấp cái nhìn tổng quan về sự phát triển của một mô hình mô phỏng mới dựa trên tác nhân về phổ biến đổi mới môi trường xã hội.

Cuốn sách này thảo luận về các phương pháp tiếp cận, quy trình và thuật toán hiện đại cũng như các thiết bị trong lĩnh vực phát triển trò chơi máy tính, tập trung vào cả ảnh hưởng của khoa học máy tính đối với sự phát triển của trò chơi máy tính và tác động của trò chơi máy tính đối với sự phát triển của khoa học máy tính.

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 sách là phiên bản mới của loạt sách về tầm nhìn lập thể của Nhà xuất bản Truy cập mở INTECH và trình bày nhiều ý tưởng và ứng dụng khác nhau, làm nổi bật các xu hướng nghiên cứu/công nghệ hiện tại và những tiến bộ trong lĩnh vực tầm nhìn lập thể.

Đồ họa máy tính là một lĩnh vực đa ngành tập trung vào việc tạo ra, thao tác và biểu diễn hình ảnh trực quan và hoạt ảnh bằng máy tính.

Cuốn sách truy cập mở này là một hướng dẫn hiện đại cho tất cả các lập trình viên C ++ để tìm hiểu Threading Building Blocks (TBB).