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 Рейтинг: Цена: 27588.00 р. Наличие на складе: Нет в наличии.
Описание: 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.
Автор: Guram Bezhanishvili Название: Leo Esakia on Duality in Modal and Intuitionistic Logics ISBN: 9401788596 ISBN-13(EAN): 9789401788595 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Автор: Mike Paterson Название: Algorithms - ESA 2000 ISBN: 354041004X ISBN-13(EAN): 9783540410041 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers address: parallelism; distributed systems; approximation; combinatorial optimization; computational biology; computational geometry; external-memory algorithms; graph algorithms; network algorithms; online algorithms; data compression; symbolic computation; and other topics.
Автор: Anthony Brabazon; Michael O`Neill Название: Biologically Inspired Algorithms for Financial Modelling ISBN: 3642065732 ISBN-13(EAN): 9783642065736 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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."
Автор: Nikhil Bansal; Irene Finocchi Название: Algorithms - ESA 2015 ISBN: 3662483491 ISBN-13(EAN): 9783662483497 Издательство: Springer Рейтинг: Цена: 15653.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Rainer Burkard; Gerhard Woeginger Название: Algorithms - ESA `97 ISBN: 3540633979 ISBN-13(EAN): 9783540633976 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the fifth Annual International European Symposium on Algorithms, ESA `97. The papers address a range of theoretical and applicational aspects in algorithms theory and design, including approximation algorithms, graph and network algorithms, and combinatorial optimization.
Автор: Friedhelm Meyer auf der Heide Название: Algorithms - ESA 2001 ISBN: 3540424938 ISBN-13(EAN): 9783540424932 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Nancy A. Lynch Название: Distributed Algorithms, ISBN: 1558603484 ISBN-13(EAN): 9781558603486 Издательство: Elsevier Science Рейтинг: Цена: 20549.00 р. Наличие на складе: Поставка под заказ.
Описание: A guide to designing, implementing and analyzing distributed algorithms. It covers problems including resource allocation, communication, consensus among distributed processes, data consistency, deadlock detection, leader election and global snapshots.
Автор: Parker J J Название: Algorithms for Image Processing and Computer Vision ISBN: 0470643854 ISBN-13(EAN): 9780470643853 Издательство: Wiley Рейтинг: Цена: 12514.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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.
Автор: Kurt Mehlhorn Название: Algorithms - ESA 2008 ISBN: 3540877436 ISBN-13(EAN): 9783540877431 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
