Quantum Software: Aspects of Theory and System Design

Cuốn sách truy cập mở này giải thích về tình hình hiện tại trong kỹ thuật phần mềm và thiết kế lượng tử, độc lập với phần cứng cụ thể.

Xem thêm

Evidence-based Software Engineering

Cuốn sách này thảo luận về những gì hiện đang được biết về công nghệ phần mềm, dựa trên phân tích tất cả các dữ liệu có sẵn công khai. Mục tiêu này không tham vọng như nó có vẻ, bởi vì không có nhiều dữ liệu có sẵn công khai.

Xem thêm

Blueprints: Creating, Describing, and Implementing Designs for Larger-scale Software Projects - version 2.5

Blueprints là tài liệu trình bày ngắn gọn nhưng toàn diện về các khái niệm Thiết kế và Phân tích Hướng Đối tượng, phù hợp với khóa học lập trình thứ hai về Khoa học Máy tính.

Xem thêm

Producing Open Source Software, 2nd Edition: How to Run a Successful Free Software Project

Cuốn sách giải quyết chủ đề rất phức tạp này bằng cách cô đọng nó thành những phần dễ hiểu. Bắt đầu với những điều cơ bản của quản lý dự án, cuốn sách trình bày chi tiết các công cụ cụ thể được sử dụng trong các dự án phần mềm tự do, bao gồm kiểm soát phiên bản, IRC, theo dõi lỗi và Wiki. Tác giả Karl Fogel, nổi tiếng với các tác phẩm về CVS và Subversion, đưa ra lời khuyên thiết thực về cách thiết lập và sử dụng một loạt các công cụ kết hợp với danh sách gửi thư mở và kho lưu trữ. Ông cũng cung cấp một số chương về những điều cần thiết để tuyển dụng và thúc đẩy các nhà phát triển, cũng như cách đạt được sự công khai rất cần thiết cho dự án của bạn. Mặc dù việc quản lý một nhóm các nhà phát triển nhiệt tình - hầu hết trong số họ mà bạn thậm chí chưa từng gặp - có thể là một thách thức, nhưng nó cũng có thể rất thú vị. Sản xuất Phần mềm Nguồn mở cũng tính đến điều này, vì nó nói về niềm vui tuyệt đối khi được làm việc với một nhóm các nhà phát triển phần mềm tự do đầy nhiệt huyết.

Xem thêm

Certified Programming with Dependent Types

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.

Xem thêm

Presentation Software: An introduction to creating electronic presentations using Microsoft PowerPoint 2010

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.

Xem thêm

Deployment and Operation of Complex Software in Heterogeneous Execution Environments The SODALITE Approach

Cuốn sách truy cập mở này cung cấp cái nhìn tổng quan về công việc được phát triển trong dự án SODALITE, nhằm mục đích tạo điều kiện thuận lợi cho việc triển khai và vận hành phần mềm phân tán trên cơ sở hạ tầng không đồng nhất, bao gồm các tài nguyên đám mây, HPC và biên.

Xem thêm

Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

Cuốn sách này báo cáo về các ứng dụng cắt lát và biểu đồ phụ thuộc chương trình (PDG) vào bảo mật phần mềm. Hơn nữa, cuốn sách này đề xuất một khung tổng quát hóa cả phân tích luồng dữ liệu trên biểu đồ luồng điều khiển và cắt lát trên PDG.

Xem thêm

Spreadsheet software for engineering: an applied guide

Cuốn sách hướng dẫn sử dụng Excel và Google Sheets trong kỹ thuật, gồm: tổng quan phần mềm, định dạng bảng tính, thực hành các hàm tính toán, và cách tạo đồ thị, biểu đồ phục vụ phân tích kỹ thuật.

Xem thêm

Blueprints: Creating, Describing, and Implementing Designs for Larger-scale Software Projects - version 2.5.1

Blueprints là một tài liệu ngắn gọn nhưng toàn diện về các khái niệm Phân tích và Thiết kế Hướng Đối tượng, phù hợp cho khóa học lập trình thứ hai của ngành Khoa học Máy tính. Tài liệu giới thiệu và hướng dẫn phát triển ứng dụng trong môi trường dòng lệnh, đồng thời yêu cầu kiến ​​thức cơ bản về ngôn ngữ lập trình Java .

Xem thêm