Scientific Computing, Computer Arithmetic, and Validated Numerics, Marco Nehmeier; J?rgen Wolff von Gudenberg; Warwic
Автор: Walter Kr?mer; J?rgen Wolff von Gudenberg Название: Scientific Computing, Validated Numerics, Interval Methods ISBN: 144193376X ISBN-13(EAN): 9781441933768 Издательство: Springer Рейтинг: Цена: 153720.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Leblanc Destin A Название: Validated Cleaning Technologies For Pharmaceutical Manufacturing ISBN: 1574911163 ISBN-13(EAN): 9781574911169 Издательство: Taylor&Francis Рейтинг: Цена: 224570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Written by an expert especially for those who must design validatable cleaning processes and then must validate those processes, this book discusses interdependent topics from various technical areas and disciplines. It shows how each piece of the cleaning process fits into the validation program, making it more defensible in both internal quality audits and external regulatory audits. Designed for use in the overall validation program, the book demonstrates how to build a comprehensive program, and includes discussion and examples of cleaning systems, regulatory requirements, and special topics and issues. It provides an FDA cleaning validation guidance document and a comprehensive glossary.
Автор: John Fitzgerald; Peter Gorm Larsen; Paul Mukherjee Название: Validated Designs for Object-oriented Systems ISBN: 1849969434 ISBN-13(EAN): 9781849969437 Издательство: Springer Рейтинг: Цена: 65170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Object-oriented design methods are commonplace in computing systems development, but are often dismissed as 'boxes & arrows'. If systems developers are to gain full advantage from such methods, they should be able to achieve designs that are not merely the subject of heated argument, but can be improved by careful, rigorous & machine-supported analysis.
This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated & assured with automated support.
Aimed at software architects, designers & developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples & exercises, industrial case studies & experience reports. Industry-strength tools support the text. Go to www.vdmbook.com to download free-of-charge VDMTools Lite, which gives the possibility to try out examples from the book
Автор: Oliver Schuetze; Carlos A. Coello; Alexandru-Adria Название: EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation III ISBN: 3319014595 ISBN-13(EAN): 9783319014593 Издательство: Springer Рейтинг: Цена: 148020.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book comprises a selection of extended abstracts and papers presented at the EVOLVE 2012 held in Mexico City, Mexico.
Автор: Alexandru-Adrian Tantar; Emilia Tantar; Jian-Qiao Название: EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation V ISBN: 3319074938 ISBN-13(EAN): 9783319074931 Издательство: Springer Рейтинг: Цена: 191560.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Complementary to these directions, the conference tracks supporting the volume, follow on the individual advancements of the subareas constituting the scope of the conference, through the Computational Game Theory, Local Search and Optimization, Genetic Programming, Evolutionary Multi-objective optimization tracks.
Автор: Emilia Tantar; Alexandru-Adrian Tantar; Pascal Bou Название: EVOLVE- A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation ISBN: 3642445039 ISBN-13(EAN): 9783642445033 Издательство: Springer Рейтинг: Цена: 172350.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book provides strong theoretical support for analyzing the behavior of evolutionary algorithms and for bridging probability, set-oriented numerics and evolutionary computation. Offers theoretical findings, optimization problems and new perspectives.
Автор: Paul Steinmann Название: IUTAM Symposium on Progress in the Theory and Numerics of Configurational Mechanics ISBN: 940073686X ISBN-13(EAN): 9789400736863 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Configurational mechanics has developed into a versatile tool that can be applied to a variety of problems. This volume presents the recent findings in the field through peer reviewed papers presented by leading experts at the IUTAM symposium.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
