Computer Performance Evaluation. Modelling Techniques and Tools, Boudewijn R. Haverkort; Henrik C. Bohnenkamp; Conn

Автор: Thomas Herault; Yves Robert
Название: Fault-Tolerance Techniques for High-Performance Computing
ISBN: 3319355600 ISBN-13(EAN): 9783319355603
Издательство: Springer
Рейтинг:
Цена: 88500.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This timely text presents a comprehensive overview of fault tolerance techniques for high-performance computing (HPC).

Автор: Comninos Peter
Название: Mathematical and Computer Programming Techniques for Computer Graphics
ISBN: 1852339020 ISBN-13(EAN): 9781852339029
Издательство: Springer
Рейтинг:
Цена: 144410.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Provides a comprehensive and detailed coverage of the fundamentals of programming techniques for computer graphicsUses lots of code examples, encouraging the reader to explore and experiment with data and computer programs (in the C programming language)

Автор: Robert Giegerich; S.L. Graham
Название: Code Generation — Concepts, Tools, Techniques
ISBN: 3540197575 ISBN-13(EAN): 9783540197577
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Based upon the proceedings of a workshop on code generation, this volume evaluates current methods and indicates directions for future research. It discusses tools and techniques, code generation for parallel architectures, register allocation problems and formal methods.

Автор: Thomas Herault; Yves Robert
Название: Fault-Tolerance Techniques for High-Performance Computing
ISBN: 3319209426 ISBN-13(EAN): 9783319209425
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This timely text presents a comprehensive overview of fault tolerance techniques for high-performance computing (HPC).

Автор: Steven G. Krantz
Название: Handbook of Logic and Proof Techniques for Computer Science
ISBN: 146126619X ISBN-13(EAN): 9781461266198
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic is, and should be, the core subject area of modern mathemat- ics. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic.

Автор: Faron Moller; Georg Struth
Название: Modelling Computer Systems
ISBN: 1848003218 ISBN-13(EAN): 9781848003217
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This engaging text presents the fundamental mathematics and modelling techniques for computing systems in a novel and light-hearted way, which can be easily followed by students at the very beginning of their university education.

Автор: Luca de Alfaro; Stephen Gilmore
Название: Process Algebra and Probabilistic Methods. Performance Modelling and Verification
ISBN: 354042556X ISBN-13(EAN): 9783540425564
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions.

Автор: Wittevrongel
Название: Analytical and Stochastic Modelling Techniques and Applications
ISBN: 3319439030 ISBN-13(EAN): 9783319439037
Издательство: Springer
Рейтинг:
Цена: 54040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2016, held in Cardiff, UK, in August 2016. The 21 full papers presented in this book were carefully reviewed and selected from 30 submissions.

Автор: Jose Rolim
Название: Randomization and Approximation Techniques in Computer Science
ISBN: 3540632484 ISBN-13(EAN): 9783540632481
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These proceedings from the International Workshop, RANDOM `97, cover randomization and approximation techniques in computer science. The book focuses on algorithms and complexity aspects arising in the development of efficient randomized solutions to computationally difficult problems.