Dòng Nội dung
1
Algorithmic properties of structure : selected papers of Erwin Engeler / Erwin Engeler
Singapore : World Scientific, 1993
viii, 257 pages. : illustrations ; 26 cm.
Ký hiệu phân loại (DDC): 511.8
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 solution programs for problems posed in various mathematical theories.
Số bản sách: (10) Tài liệu số: (0)
2
The algorithm design manual / Steven S Skiena
London : Springer, 2020
740 p.
Ký hiệu phân loại (DDC): 005.1
This book is intended as a manual on algorithm design, providing access to combinatorial algorithm technology for both students and computer profession-als. It is divided into two parts: Techniques and Resources. The former is ageneral introduction to the design and analysis of computer algorithms. The Re-sources section is intended for browsing and reference, and comprises the catalog of algorithmic resources, implementations, and an extensive bibliography.
 Số bản sách: (0) Tài liệu số: (1)
3
The algorithm design manual / Steven S Skiena
London : Springer, 2008
730 p.
Ký hiệu phân loại (DDC): 005.1
This expanded and updated second edition of a classic bestseller continues to take the mystery out of designing and analyzing algorithms and their efficacy and efficiency. Expanding on the highly successful formula of the first edition, the book now serves as the primary textbook of choice for any algorithm design course while maintaining its status as the premier practical reference guide to algorithms. NEW: (1) Incorporates twice the tutorial material and exercises. (2) Provides full online support for lecturers, and a completely updated and improved website component with lecture slides, audio and video. (3) Contains a highly unique catalog of the 75 most important algorithmic problems. (4) Includes new war stories and interview problems, relating experiences from real-world applications. Unique, handy reference package with a practical, hands-on appeal to a wide audience This classic bestseller has been expanded and updated with twice the original tutorial material and exercises Contains a highly unique catalog of the 75 most important algorithmic problems Additional useful information such as lecture slides and updates available via author's website.
 Số bản sách: (0) Tài liệu số: (1)