- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Algorithmic properties of structure : Selected papers of Erwin Engeler
The volume begins with the area of enrichment of classical model theory by languages which express properties representing the outcome of hypothetical computer programs executed in a given class of mathematical structures, and is related to questions of correctness and provability of programs. This point of view allowed the generalization of classical Galois theory to the point of discussing the relation between structure and complexity of...
6 p hcmute 11/09/2023 158 0
Từ khóa: Computer algorithms, Data structures (Computer science), Galois theory
TEXTS IN COMPUTER SCIENCE Computer Vision Algorithms and Applications
This book is about explores the variety of techniques commonly used to analyze and interpret images.
11 p hcmute 31/12/2019 265 1
Từ khóa: TEXTS IN COMPUTER SCIENCE Computer Vision Algorithms and Applications
Bộ sưu tập nổi bật