Algorithms – ESA 2013, Hans L. Bodlaender; Giuseppe F. Italiano
Автор: Cormen, Thomas H., E Название: Introduction to algorithms 3 ed. ISBN: 0262033844 ISBN-13(EAN): 9780262033848 Издательство: MIT Press Рейтинг: Цена: 183920.00 T Наличие на складе: Нет в наличии. Описание: A new edition of the essential text and professional reference, with substantial new material on such topics as vEB trees, multithreaded algorithms, dynamic programming, and edge-base flow.
Автор: Cormen Thomas H Название: Introduction to Algorithms ISBN: 0262533057 ISBN-13(EAN): 9780262533058 Издательство: Wiley Рейтинг: Цена: 60310.00 T Наличие на складе: Невозможна поставка. Описание: Not available in the U.S or Canada. International Student Paperback Edition. A new edition of the essential text and professional reference, with substantial new material on such topics as vEB trees, multithreaded algorithms, dynamic programming, and edge-base flow.
Автор: Parker J J Название: Algorithms for Image Processing and Computer Vision ISBN: 0470643854 ISBN-13(EAN): 9780470643853 Издательство: Wiley Рейтинг: Цена: 83430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Programmers, scientists, and engineers are always in need of newer techniques and algorithms to manipulate and interpret images. Algorithms for Image Processing and Computer Vision is an accessible collection of algorithms for common image processing applications that simplifies complicated mathematical calculations.
Автор: Korte, Bernhard, Vygen, Jens Название: Combinatorial Optimization (algorithms and Combinatorics 21) 5th ed. ISBN: 3642244874 ISBN-13(EAN): 9783642244872 Издательство: Springer Рейтинг: Цена: 60510.00 T Наличие на складе: Невозможна поставка. Описание: This comprehensive textbook on combinatorial optimization places special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics. It is based on numerous courses on combinatorial optimization and specialized topics, mostly at graduate level. This book reviews the fundamentals, covers the classical topics (paths, flows, matching, matroids, NP-completeness, approximation algorithms) in detail, and proceeds to advanced and recent topics, some of which have not appeared in a textbook before. Throughout, it contains complete but concise proofs, and also provides numerous exercises and references. This fifth edition has again been updated, revised, and significantly extended, with more than 60 new exercises and new material on various topics, including Cayley's formula, blocking flows, faster b-matching separation, multidimensional knapsack, multicommodity max-flow min-cut ratio, and sparsest cut. Thus, this book represents the state of the art of combinatorial optimization.
Автор: Guram Bezhanishvili Название: Leo Esakia on Duality in Modal and Intuitionistic Logics ISBN: 9401788596 ISBN-13(EAN): 9789401788595 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Leo Esakia on Duality in Modal and Intuitionistic Logics
Автор: Guram Bezhanishvili Название: Leo Esakia on Duality in Modal and Intuitionistic Logics ISBN: 9402403388 ISBN-13(EAN): 9789402403381 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia's original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area.
Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations to weak Heyting algebras and implicative semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the G del-L b provability logic GL. One chapter scrutinizes Esakia's work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues.
Автор: Gilles Dowek Название: Proofs and Algorithms: Introduction to Logic and Computability Theory ISBN: 0857291203 ISBN-13(EAN): 9780857291202 Издательство: Springer Рейтинг: Цена: 32560.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, G?del’s incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.
Автор: Woo Название: Shadow Algorithms Data Miner ISBN: 1439880239 ISBN-13(EAN): 9781439880234 Издательство: Taylor&Francis Рейтинг: Цена: 74510.00 T Наличие на складе: Невозможна поставка. Описание:
Shadow Algorithms Data Miner provides a high-level understanding of the complete set of shadow concepts and algorithms, addressing their usefulness from a larger graphics system perspective. It discusses the applicability and limitations of all the direct illumination approaches for shadow generation.
With an emphasis on shadow fundamentals, the book gives an organized picture of the motivations, complexities, and categorized algorithms available to generate digital shadows. It helps readers select the most relevant algorithms for their needs by placing the shadow algorithms in real-world contexts and looking at them from a larger graphics system perspective. As a result, readers know where to start for their application needs, which algorithms to begin considering, and which papers and supplemental material should be consulted for further details.
Автор: Strang Название: Algorithms for Global Positioning ISBN: 0980232732 ISBN-13(EAN): 9780980232738 Издательство: Cambridge Academ Рейтинг: Цена: 76020.00 T Наличие на складе: Невозможна поставка. Описание: The emergence of satellite technology has changed the lives of millions of people. In particular, GPS has brought an unprecedented level of accuracy to the field of geodesy. This text is a guide to the algorithms and mathematical principles that account for the success of GPS technology and replaces the authors' previous work, Linear Algebra, Geodesy, and GPS (1997). An initial discussion of the basic concepts, characteristics and technical aspects of different satellite systems is followed by the necessary mathematical content which is presented in a detailed and self-contained fashion. At the heart of the matter are the positioning algorithms on which GPS technology relies, the discussion of which will affirm the mathematical contents of the previous chapters. Numerous ready-to-use MATLAB codes are included for the reader. This comprehensive guide will be invaluable for engineers and academic researchers who wish to master the theory and practical application of GPS technology.
Автор: Anthony Brabazon; Michael O`Neill Название: Biologically Inspired Algorithms for Financial Modelling ISBN: 3642065732 ISBN-13(EAN): 9783642065736 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Predicting the future for financial gain is a difficult, sometimes profitable activity. The focus of this book is the application of biologically inspired algorithms (BIAs) to financial modelling.
In a detailed introduction, the authors explain computer trading on financial markets and the difficulties faced in financial market modelling. Then Part I provides a thorough guide to the various bioinspired methodologies neural networks, evolutionary computing (particularly genetic algorithms and grammatical evolution), particle swarm and ant colony optimization, and immune systems. Part II brings the reader through the development of market trading systems. Finally, Part III examines real-world case studies where BIA methodologies are employed to construct trading systems in equity and foreign exchange markets, and for the prediction of corporate bond ratings and corporate failures.
The book was written for those in the finance community who want to apply BIAs in financial modelling, and for computer scientists who want an introduction to this growing application domain."
Автор: Kurt Mehlhorn Название: Algorithms - ESA 2008 ISBN: 3540877436 ISBN-13(EAN): 9783540877431 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held in Karlsruhe, Germany, in September 2008 in the context of the combined conference ALGO 2008. This title includes the papers that address various subjects in algorithmics reaching from design and analysis issues of algorithms.
Автор: Nikhil Bansal; Irene Finocchi Название: Algorithms - ESA 2015 ISBN: 3662483491 ISBN-13(EAN): 9783662483497 Издательство: Springer Рейтинг: Цена: 104350.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 23rd Annual European Symposium on Algorithms, ESA 2015, held in Patras, Greece, in September 2015, as part of ALGO 2015.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
