Algorithms and Computation, Tetsuo Asano; Yoshihide Igarashi; Hiroshi Nagamoch

Автор: Sheung-Hung Poon; Md. Saidur Rahman; Hsu-Chun Yen
Название: WALCOM: Algorithms and Computation
ISBN: 3319539248 ISBN-13(EAN): 9783319539249
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 11th International Workshop on Algorithms and Computation, WALCOM 2017, held in Hsinchu, Taiwan, in March 2017. The 35 full papers presented together with three invited talks were carefully reviewed and selected from 83 submissions. graph algorithms;

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

Автор: Mertens Stephan, Moore Cristopher
Название: The Nature of Computation
ISBN: 0199233217 ISBN-13(EAN): 9780199233212
Издательство: Oxford Academ
Рейтинг:
Цена: 12989.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Why are some problems easy to solve, while others seem nearly impossible? What can we compute with a given amount of time or memory, and what cannot be computed at all? How will quantum physics change the landscape of computation? This book gives a playful and accessible introduction to the deep ideas of theoretical computer science.

Автор: Cockshott, Paul; Mackenzie, Lewis M.; Michaelson,
Название: Computation and its Limits
ISBN: 019872912X ISBN-13(EAN): 9780198729129
Издательство: Oxford Academ
Рейтинг:
Цена: 5622.00 р.
Наличие на складе: Поставка под заказ.

Описание: Although we are entirely unaware of it, computation is central to all aspects of our existences. Every day we solve, or try to solve, a myriad of problems, from the utterly trivial to the bafflingly complex. This book explains why it is possible to do computation and what the ultimate limits of it are, as understood by modern science.

Автор: Gilles Dowek
Название: Proofs and Algorithms: Introduction to Logic and Computability Theory
ISBN: 0857291203 ISBN-13(EAN): 9780857291202
Издательство: Springer
Рейтинг:
Цена: 4884.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Michael Emmerich; Andr? Deutz; Oliver Sch?tze; Pie
Название: EVOLVE – A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation VII
ISBN: 3319493248 ISBN-13(EAN): 9783319493244
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book comprises nine selected works on numerical and computational methods for solving multiobjective optimization, game theory, and machine learning problems.

Автор: Toshihide Ibaraki; Yasuyoshi Inagaki; Kazuo Iwama;
Название: Algorithms and Computation
ISBN: 3540562796 ISBN-13(EAN): 9783540562795
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the proceedings of a conference which focused on topics in the design and analysis of algorithms, computational complexity and the theory of computation, including automata and formal languages, computational geometry, data structures and parallel/distributed computing.

Автор: Kam W. Ng; Prabhakar Raghavan; N.V. Balasubramania
Название: Algorithms and Computation
ISBN: 3540575685 ISBN-13(EAN): 9783540575689
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presenting the proceedings of an international symposium held in Hong Kong in December 1993, this volume contains research papers on the design and analysis of algorithms, computational complexity and the theory of computation.

Автор: Ding-Zhu Du; Xiang-Sun Zhang
Название: Algorithms and Computation
ISBN: 3540583254 ISBN-13(EAN): 9783540583257
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 79 research essays contained in this volume were selected from a total of 200 submissions. Presenting the results of Chinese research to the international scientific community for the first time, the volume covers theoretical and applicational aspects of algorithms and computation.

Автор: Hon Wai Leong; Hiroshi Imai; Sanjay Jain
Название: Algorithms and Computation
ISBN: 3540638903 ISBN-13(EAN): 9783540638902
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC`97, held in Singapore in December 1997. The scope of the volume spans the whole area of algorithms from discrete mathematics and complexity theory to algorithms design and evaluation in a variety of applicational areas.

Автор: Seok-Hee Hong; Hiroshi Nagamochi; Takuro Fukunaga
Название: Algorithms and Computation
ISBN: 3540921818 ISBN-13(EAN): 9783540921813
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In the past, it was held in Tokyo (1990), Taipei (1991), Nagoya (1992), Hong Kong (1993), Beijing (1994), Cairns (1995), Osaka (1996), Singapore (1997), Daejeon (1998), Chennai (1999), Taipei (2000), Christchurch (2001), Vancouver (2002), Kyoto (2003), Hong Kong (2004), Hainan (2005), Kolkata (2006), and Sendai (2007).

Автор: Sandip Das; Ryuhei Uehara
Название: WALCOM: Algorithms and Computation
ISBN: 3642002013 ISBN-13(EAN): 9783642002014
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the Third International Workshop on Algorithms and Computation, WALCOM 2009, held in Kolkata, India, in February 2009. This book presents the papers that feature original research in the areas of design and analysis of algorithms, computational geometry, graph drawing and graph algorithms.