Algorithms and Computation, Kam W. Ng; Prabhakar Raghavan; N.V. Balasubramania

Автор: Tetsuo Asano; Yoshihide Igarashi; Hiroshi Nagamoch
Название: Algorithms and Computation
ISBN: 3540620486 ISBN-13(EAN): 9783540620488
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings cover such topics as computational geometry, graph theory, graph algorithms, combinatorial optimization, searching and sorting, networking, scheduling, and coding and cryptology.

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

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

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

Автор: Juliette Kennedy; Ruy J.G.B. de Queiroz
Название: Logic, Language, Information, and Computation
ISBN: 3662553856 ISBN-13(EAN): 9783662553855
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017.

Автор: Khaled Elbassioni; Kazuhisa Makino
Название: Algorithms and Computation
ISBN: 3662489708 ISBN-13(EAN): 9783662489703
Издательство: Springer
Рейтинг:
Цена: 12298.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 26th InternationalSymposium on Algorithms and Computation, ISAAC 2015, held in Nagoya, Japan, inDecember 2015.The 65 revised full papers presented together with 3 invited talks were carefullyreviewed and selected from 180 submissions for inclusion in the book. graph algorithms and FPT;

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

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

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

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

Автор: Federico Rossi; Stefano Piotto; Simona Concilio
Название: Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry
ISBN: 3319577107 ISBN-13(EAN): 9783319577104
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: They cover the following topics: evolutionary computation, bioinspired algorithms, genetic algorithms, bioinformatics and computational biology, modelling and simulation of artificial and biological systems, complex systems, synthetic and systems biology, systems chemistry.

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