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)
4
Understanding machine learning : from theory to algorithms / Shai Shalev-Shwartz, Shai Ben-David
New York, NY, USA : Cambridge University Press, 2014
xvi, 397 pages. : illustrations ; 26 cm.
Ký hiệu phân loại (DDC): 006.31
Machine learning is one of the fastest growing areas of computer science, with far-reaching applications. The aim of this textbook is to introduce machine learning, and the algorithmic paradigms it offers, in a principled way. The book provides an extensive theoretical account of the fundamental ideas underlying machine learning and the mathematical derivations that transform these principles into practical algorithms. Following a presentation of the basics of the field, the book covers a wide array of central topics that have not been addressed by previous textbooks.
 Số bản sách: (0) Tài liệu số: (1)