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.

Cuốn sách này được đề cập đến các phương pháp nghiên cứu, cách phân tích dữ liệu và các quyết định đạo đức dành cho các nhà nghiên cứu kinh doanh.

Cuốn sách này được thiết kế dành cho người học ở giai đoạn đầu của hành trình học tiếng Anh. Tài liệu này được thiết kế để chuẩn bị cho người học đạt Cấp độ 1 của Chương trình Tiếng Anh Conestoga.

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.

Cuốn sách này được thiết kế để hướng dẫn sinh viên đại học nâng cao các kỹ năng giao tiếp hiện có bằng cách áp dụng phương pháp tiếp cận giao tiếp kinh doanh có nguyên tắc để đạt được thành công trong quản lý và lãnh đạo tại nơi làm việc hiện đại.

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.

Cuốn sách này dành cho học kỳ thứ hai của môn hóa hữu cơ tại Cao đẳng Providence. Tài liệu khóa học được chuyển thể từ các ghi chú bài giảng mà tôi đã tích lũy qua nhiều năm và Hóa học hữu cơ, ấn bản thứ 5, của Maitland Jones, Jr. và Stephen Fleming. Các chủ đề khóa học bao gồm phản ứng gốc, liên hợp, tính thơm, thế thơm, cộng cacbonyl, thế cacbonyl và phản ứng của enolat.