Derivation and Computation, Simmons

Автор: Jan Kratochvil; Angsheng Li; Jiri Fiala; Petr Kolm
Название: Theory and Applications of Models of Computation
ISBN: 3642135617 ISBN-13(EAN): 9783642135613
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Models of Computation, TAMC 2010, held in Prague, Czech Republic, in June 2010. This book presents the papers addressing the three main themes of the conference which were computability, complexity, and algorithms.

Автор: Miroslaw Kutylowski; Maciej Gebala; Witold Charato
Название: Fundamentals of Computation Theory
ISBN: 364203408X ISBN-13(EAN): 9783642034084
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 17th International Symposium FCT 2009 Wroclaw Poland September 24 2009 Proceedings. .

Автор: Elaine Chew; Adrian Childs; Ching-Hua Chuan
Название: Mathematics and Computation in Music
ISBN: 3642023932 ISBN-13(EAN): 9783642023934
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Second International Conference on Mathematics and Computation in Music, MCM 2009, held in New Haven, CT, USA, in June 2009. The papers deal with topics within applied mathematics, computational models, mathematical modelling and various further aspects of the theory of music.

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

Автор: Hans Munthe-Kaas; Brynjulf Owren
Название: Mathematics and Computation, a Contemporary View
ISBN: 3642088414 ISBN-13(EAN): 9783642088414
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 2006 Abel symposium focused on contemporary research involving interaction between computer science, computational science and mathematics. This volume presents a snapshot of current state-of-the-art, and raises questions about future research directions.

Автор: Margaret Archibald; Vasco Brattka; Valentin F. Gor
Название: Infinity in Logic and Computation
ISBN: 3642030912 ISBN-13(EAN): 9783642030918
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: International Conference ILC 2007 Cape Town South Africa November 35 2007 Revised Selected Papers. .

Автор: Manindra Agrawal; Ding-Zhu Du; Zhenhua Duan; Angsh
Название: Theory and Applications of Models of Computation
ISBN: 3540792279 ISBN-13(EAN): 9783540792277
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 5th International Conference TAMC 2008 Xian China April 25-29 2008 Proceedings.

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

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

Автор: Martin Grohe; Rolf Niedermeier
Название: Parameterized and Exact Computation
ISBN: 354079722X ISBN-13(EAN): 9783540797227
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the Third International Workshop on Parameterized and Exact Computation, IWPEC 2008, held in Victoria, Canada, in May 2008 - co-located with the 40th ACM Symposium on Theory of Computing, STOC 2008.

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

Автор: Johan van Benthem; Amitabha Gupta; Rohit Parikh
Название: Proof, Computation and Agency
ISBN: 9400735812 ISBN-13(EAN): 9789400735811
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called `social software`, which studies patterns of social interaction using techniques from logic and computer science.