Algorithms - ESA 2001, Friedhelm Meyer auf der Heide

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: Gianfranco Bilardi; Giuseppe F. Italiano; Andrea P
Название: Algorithms - ESA `98
ISBN: 3540648488 ISBN-13(EAN): 9783540648482
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of 40 papers taken from the Sixth Annual European Symposium on Algorithms. They are divided into sections on data structures, strings and biology, numerical algorithms, geometry, randomized and online algorithms, parallel and distributed algorithms, graph algorithms, and optimization.

Автор: Hans L. Bodlaender; Giuseppe F. Italiano
Название: Algorithms – ESA 2013
ISBN: 3642404499 ISBN-13(EAN): 9783642404498
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 21st Annual European Symposium on Algorithms, ESA 2013, held in Sophia Antipolis, France, in September 2013 in the context of the combined conference ALGO 2013.

Автор: Jaroslav Nesetril
Название: Algorithms - ESA`99
ISBN: 3540662510 ISBN-13(EAN): 9783540662518
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume covers the 7th Annual European Symposium on Algorithms held in July 1999. It examines topics in algorithmic research including approximation algorithms, combinatorial optimization, computational mathematics, computational science, and databases and information retrieval.