Specification Languages for Preserving Consistency between Models of Different Languages

Cuốn sách trình bày một phương pháp bảo toàn tính nhất quán trong phát triển hệ thống CNTT phức tạp bằng cách phân loại các thách thức, hình thức hóa bằng lý thuyết tập hợp, giám sát thay đổi để tránh sai lệch và giới thiệu ba ngôn ngữ mới tuân theo phương pháp này.

Xem thêm

Genetic Algorithms: Theory, Design and Programming

Trong ấn bản Thuật toán di truyền - Lý thuyết, thiết kế và lập trình này, chúng tôi trình bày một loạt đóng góp khoa học đi sâu vào nền tảng lý thuyết phức tạp và các sắc thái thực tế của thuật toán di truyền (GA). Ngoài lĩnh vực học thuật, GA đã chứng minh những ứng dụng sâu sắc trong việc ra quyết định xã hội và tối ưu hóa kỹ thuật, được thể hiện thông qua các ví dụ và nghiên cứu điển hình trong thế giới thực.

Xem thêm

Data Science, Data Visualization, and Digital Twins

Trực quan hóa theo thời gian thực, dựa trên web và tương tác được chứng minh là các phương pháp và công cụ nổi bật trong nhiều lĩnh vực khi có sẵn kiến thức về khoa học dữ liệu phức tạp và kỹ thuật trực quan. Lý do cho điều này là do các phương pháp phân tích khoa học dữ liệu hiện đại như máy/học sâu hoặc trí tuệ nhân tạo, cũng như kết hợp kỹ thuật số, hứa hẹn cung cấp thông tin chi tiết về dữ liệu, cho phép đưa ra quyết định sáng suốt và tạo điều kiện cho các tương tác phong phú giữa các bên liên quan.

Xem thêm

C Programming Notes for Professionals

Ghi chú lập trình C dành cho Chuyên gia có sẵn trong nhiều tài nguyên trực tuyến khác nhau như sách Ghi chú C dành cho Chuyên gia do GoalKicker.com cung cấp. Những ghi chú này bao gồm các khái niệm, cú pháp thiết yếu và các phương pháp hay nhất trong lập trình C.

Xem thêm

x86-64 Assembly Language Programming with Ubuntu

Cuốn sách cung cấp một tài liệu tham khảo cho các khóa học lập trình hệ thống và ngôn ngữ assembly cấp Đại học.

Xem thêm

Introduction to Programming using Fortran 95/2003/2008

Cuốn sách này giới thiệu về lập trình và giải quyết vấn đề bằng ngôn ngữ lập trình Fortran 95/2003/2008. Phần giới thiệu này hướng đến các chuyên ngành không phải khoa học máy tính. Trọng tâm chính là giới thiệu về giải quyết vấn đề và phát triển thuật toán. Như vậy, nhiều chi tiết của ngôn ngữ Fortran 95/2003/2008 bị bỏ qua.

Xem thêm

Programming Persistent Memory: A Comprehensive Guide for Developers

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.

Xem thêm

Data Parallel C++: Programming Accelerated Systems Using C++ and SYCL

Cuốn sách này dạy lập trình song song dữ liệu bằng C ++ với SYCL và đi qua mọi thứ cần thiết để lập trình các hệ thống tăng tốc.

Xem thêm

Data Parallel C++: Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL

Cuốn sách này bắt đầu bằng cách giới thiệu tính song song dữ liệu và các chủ đề nền tảng để sử dụng hiệu quả tiêu chuẩn SYCL từ Khronos Group và Data Parallel C ++ (DPC ++), trình biên dịch mã nguồn mở được sử dụng trong cuốn sách này.

Xem thêm

Matlab: Modelling, Programming and Simulations

Cuốn sách này là tập hợp gồm 19 tác phẩm xuất sắc trình bày các ứng dụng khác nhau của một số công cụ MATLAB có thể được sử dụng cho mục đích giáo dục, khoa học và kỹ thuật

Xem thêm