Theoretical Aspects of Computing - ICTAC 2015, Martin Leucker; Camilo Rueda; Frank D. Valencia

Автор: Michiels Wil, Aarts Emile, Korst Jan
Название: Theoretical Aspects of Local Search
ISBN: 3540358536 ISBN-13(EAN): 9783540358534
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Local search has been applied successfully to a diverse collection of optimization problems. It's appreciated for its basic conceptual foundation, its general applicability, and its power to serve as a source for new search paradigms. The typical characteristics of combinatorial optimization problems to which local search can be applied, its relation to complexity theory, and the combination with randomized search features have led to a wealth of interesting theoretical results. However, these results are scattered throughout the literature. This is the first book that presents a large collection of theoretical results in a consistent manner, thus providing the reader with a coherent overview of the achievements obtained so far, but also serving as a source of inspiration for the development of novel results in the challenging field of local search.

Автор: Zhiming Liu; Jim Woodcock; Huibiao Zhu
Название: Theoretical Aspects of Computing -- ICTAC 2013
ISBN: 3642397174 ISBN-13(EAN): 9783642397172
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

Автор: Cliff Jones; Zhiming Liu; Jones Woodcock
Название: Theoretical Aspects of Computing - ICTAC 2007
ISBN: 3540752900 ISBN-13(EAN): 9783540752905
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. This book includes papers together with 3 invited talks and summaries of 2 tutorials that are reviewed and selected from 69 submissions.

Автор: John Fitzgerald; Anne E. Haxthausen; Husnu Yenigun
Название: Theoretical Aspects of Computing - ICTAC 2008
ISBN: 3540857613 ISBN-13(EAN): 9783540857617
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Includes the refereed proceedings of the 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008 held in Istanbul, Turkey in September 2008. This book contains 27 papers that were selected from over 70 submissions. It intends to bring together practitioners and researchers from academia to present research results.

Автор: Martin Leucker; Charles Carroll Morgan
Название: Theoretical Aspects of Computing - ICTAC 2009
ISBN: 3642034659 ISBN-13(EAN): 9783642034657
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 6th International Colloquium Kuala Lumpur Malaysia August 1620 2009 Proceedings. .

Автор: Sampaio
Название: Theoretical Aspects of Computing – ICTAC 2016
ISBN: 3319467492 ISBN-13(EAN): 9783319467498
Издательство: Springer
Рейтинг:
Цена: 9224.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.

Автор: Dang Van Hung; Deepak Kapur
Название: Theoretical Aspects of Computing – ICTAC 2017
ISBN: 3319677284 ISBN-13(EAN): 9783319677286
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions.

Автор: Gabriel Ciobanu; Dominique M?ry
Название: Theoretical Aspects of Computing – ICTAC 2014
ISBN: 3319108816 ISBN-13(EAN): 9783319108810
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: software architectures and their models, refinement and verification; relationship between software requirements, models and code; models of object and component systems; service-oriented architectures: models and development methods; challenges and foundations in environmental modeling and monitoring, healthcare, and disaster management.

Автор: Leila Kallel; Bart Naudts; Alex Rogers
Название: Theoretical Aspects of Evolutionary Computing
ISBN: 3642086764 ISBN-13(EAN): 9783642086762
Издательство: Springer
Рейтинг:
Цена: 25853.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: During the first week of September 1999, the Second EvoNet Summer School on Theoretical Aspects of Evolutionary Computing was held at the Middelheim cam- pus of the University of Antwerp, Belgium.