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 này giới thiệu về cách tạo bài thuyết trình điện tử bằng Microsoft PowerPoint 2010. Tuy nhiên, bài viết thảo luận về các nguyên tắc có thể áp dụng cho bất kỳ phần mềm thuyết trình nào.

Gaming the Metrics xem xét cách sự phụ thuộc ngày càng tăng vào số liệu để đánh giá các ấn phẩm học thuật đã tạo ra các hình thức gian lận và hành vi sai trái học thuật hoàn toàn mới như thế nào.

Tiểu thuyết Snow Crash năm 1992 của Neal Stephenson đã hình thành nên Metaverse như một phương tiện thoát ly trong tương lai phản địa đàng.

Thiết kế đồ họa cho AFLS; một hướng dẫn toàn diện được thiết kế để cung cấp nền tảng vững chắc và tài liệu tham khảo về các nguyên tắc và thực tiễn của thiết kế đồ họa. Cuốn sách này được tổ chức theo trình tự tuyến tính, từ các nguyên tắc cơ bản đến các kỹ thuật phần mềm nâng cao, các thực tiễn chuyên nghiệp và các ứng dụng thực tế, để bạn có thể dễ dàng đọc hiểu ngay cả khi mới bắt đầu.

Chúng ta biết rằng robot chỉ là máy móc. Vậy tại sao chúng ta thường nói về chúng như thể chúng là sinh vật sống? Laura Voss khám phá hiện tượng hấp dẫn này, cung cấp cái nhìn sâu sắc về các hoạt động quy kết sự sống (và sự vô tri) cho công nghệ robot

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ụ.

Cuốn sách này cung cấp nhiều ví dụ về việc sử dụng lý thuyết trò chơi, ngay cả trong những tình huống mà ứng dụng đó có vẻ không phù hợp. Cuốn sách này khám phá các trò chơi hợp tác, cạnh tranh, trò chơi người dẫn đầu-người theo sau và vấn đề kẻ đi nhờ - cũng như các trò chơi nhằm mục đích duy trì tình bạn hoặc làm việc nhóm.

Cuốn sách cung cấp kiến thức nền tảng về cách sử dụng Excel hiệu quả. Sách hướng dẫn kỹ năng cơ bản như nhập và định dạng dữ liệu, thực hiện tính toán toán học, sử dụng công thức, hàm logic và hàm tra cứu. Ngoài ra, sách còn trình bày cách tạo biểu đồ để trực quan hóa dữ liệu, sử dụng bảng để tổ chức thông tin và làm việc với nhiều tệp hoặc trang tính trong cùng một tệp Excel.