Автор: Sandrine Blazy; Thomas Jensen Название: Static Analysis ISBN: 3662482878 ISBN-13(EAN): 9783662482872 Издательство: Springer Рейтинг: Цена: 52170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions.
Автор: Chan, Tony F. Jianhong, Shen Название: Image processing and analysis ISBN: 089871589X ISBN-13(EAN): 9780898715897 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 83600.00 T Наличие на складе: Нет в наличии. Описание: This book develops the mathematical foundation of modern image processing and low-level computer vision, bridging contemporary mathematics with state-of-the-art methodologies in modern image processing, whilst organizing contemporary literature into a coherent and logical structure. The authors have integrated the diversity of modern image processing approaches by revealing the few common threads that connect them to Fourier and spectral analysis, the machinery that image processing has been traditionally built on. The text is systematic and well organized: the geometric, functional, and atomic structures of images are investigated, before moving to a rigorous development and analysis of several image processors. The book is comprehensive and integrative, covering the four most powerful classes of mathematical tools in contemporary image analysis and processing while exploring their intrinsic connections and integration. The material is balanced in theory and computation, following a solid theoretical analysis of model building and performance with computational implementation and numerical examples.
Автор: Hager Название: Introduction to High Performance Computing for Scientists and Engineers ISBN: 143981192X ISBN-13(EAN): 9781439811924 Издательство: Taylor&Francis Рейтинг: Цена: 80630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
This volume consists of papers presented at the Variational Analysis and Aerospace Engineering Workshop II held in Erice, Italy in September 2010 at the International School of Mathematics "Guido Stampacchia." The workshop provided a platform for aerospace engineers and mathematicians (from universities, research centers and industry) to discuss the advanced problems requiring an extensive application of mathematics. The presentations were dedicated to the most advanced subjects in engineering and, in particular to computational fluid dynamics methods, introduction of new materials, optimization in aerodynamics, structural optimization, space missions, flight mechanics, control theory and optimization, variational methods and applications, etc.
This book will capture the interest of researchers from both academia and industry.
Автор: Jens Palsberg; Zhendong Su Название: Static Analysis ISBN: 3642032362 ISBN-13(EAN): 9783642032363 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.
Автор: Manuel Hermenegildo; German Puebla Название: Static Analysis ISBN: 3540442359 ISBN-13(EAN): 9783540442356 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Compiled from the proceedings of the 9th International Static Analysis Symposium, this volume contains 32 revised full papers. They are organized by topic and include papers on theory, data structure analysis, type inference, analysis of numerical problems, implementation and data flow analysis.
Автор: Francesco Logozzo; Manuel F?hndrich Название: Static Analysis ISBN: 3642388558 ISBN-13(EAN): 9783642388552 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.
Автор: Pascal van Hentenryck Название: Static Analysis ISBN: 3540634681 ISBN-13(EAN): 9783540634683 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: These refereed proceedings of the fourth International Symposium on Static Analysis are organized in topical sections on procedural languages, logic programming, concurrency and termination.
Автор: Giorgio Levi Название: Static Analysis ISBN: 3540650148 ISBN-13(EAN): 9783540650140 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This text constitutes the proceedings of the 5th International Symposium on Static Analysis held in September 1998. The papers presented are organized into topical sections on data flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference and optimization.
Автор: Agostino Cortesi; Gilberto File Название: Static Analysis ISBN: 3540664599 ISBN-13(EAN): 9783540664598 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In the text, topics include sections on synchronization in Java programs, synchronous languages, abstract domains, concurrency, static single assignment and foundations.
Автор: Rival Название: Static Analysis ISBN: 3662534126 ISBN-13(EAN): 9783662534120 Издательство: Springer Рейтинг: Цена: 61490.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016. The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.
Автор: Boris Ryabko; Jaakko Astola; Mikhail Malyutov Название: Compression-Based Methods of Statistical Analysis and Prediction of Time Series ISBN: 3319322516 ISBN-13(EAN): 9783319322513 Издательство: Springer Рейтинг: Цена: 71730.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In the meantime, it was realized that they can be used for solving important problems of prediction and statistical analysis of time series, and this book describes recent results in this area.The first chapter introduces and describes the application of universal codes to prediction and the statistical analysis of time series;
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
