Proof and Computation, Helmut Schwichtenberg

Автор: Hubert Comon-Lundh; Claude Kirchner; H?l?ne Kirchn
Название: Rewriting, Computation and Proof
ISBN: 3540731466 ISBN-13(EAN): 9783540731467
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This title includes 13 refereed papers that are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a section entitled Towards Safety and Security.

Автор: Hager
Название: Introduction to High Performance Computing for Scientists and Engineers
ISBN: 143981192X ISBN-13(EAN): 9781439811924
Издательство: Taylor&Francis
Рейтинг:
Цена: 12095.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Written by HPC experts, this book provides a solid introduction to current mainstream computer architecture, dominant parallel programming models, and useful optimization strategies for scientific HPC. It facilitates an intuitive understanding of performance limitations without relying on heavy computer science knowledge.

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

Автор: Carlos Cotta; Jano van Hemert
Название: Recent Advances in Evolutionary Computation for Combinatorial Optimization
ISBN: 3540708065 ISBN-13(EAN): 9783540708063
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Combinatorial optimisation is a ubiquitous discipline whose usefulness spans vast applications domains. This title presents advances in the area of metaheuristic combinatorial optimisation, with a focus on evolutionary computation methods. It addresses local search methods and hybrid approaches.

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

Автор: Mogens Nielsen; Uffe Engberg
Название: Foundations of Software Science and Computation Structures
ISBN: 354043366X ISBN-13(EAN): 9783540433668
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures held in France in 2002. The 28 full papers cover algebraic, logical and geometric theories and methods supporting the analysis and transformation of programs and software systems.

Автор: Phan Cong Vinh; Leonard Barolli
Название: Nature of Computation and Communication
ISBN: 3319469088 ISBN-13(EAN): 9783319469089
Издательство: Springer
Рейтинг:
Цена: 8106.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the post-conference proceedings of the Second International Conference on Nature of Computation and Communication, ICTCC 2016, held in March 2016 in Rach Gia, Vietnam. The 36 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication.

Автор: Stuart Tom
Название: Understanding Computation
ISBN: 1449329276 ISBN-13(EAN): 9781449329273
Издательство: Wiley
Рейтинг:
Цена: 5067.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Finally, you can learn computation theory and programming language design in an engaging, practical way. Understanding Computation explains theoretical computer science in a context you`ll recognize, helping you appreciate why these ideas matter and how they can inform your day-to-day programming.

Автор: Quan-Lin Li
Название: Constructive Computation in Stochastic Models with Applications
ISBN: 3642114911 ISBN-13(EAN): 9783642114915
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Provides an algorithmic framework for numerical computation of many practical stochastic systems. This title summarizes important advances in computational study of stochastic models from several crucial directions, such as stationary computation, transient solution, asymptotic analysis, reward processes, decision processes, sensitivity analysis.

Автор: Furio Honsell; Marino Miculan
Название: Foundations of Software Science and Computation Structures
ISBN: 3540418644 ISBN-13(EAN): 9783540418641
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.