Static Analysis, Giorgio Levi

Автор: Francesco Ranzato
Название: Static Analysis
ISBN: 331966705X ISBN-13(EAN): 9783319667058
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.

Автор: Markus M?ller-Olm; Helmut Seidl
Название: Static Analysis
ISBN: 3319109359 ISBN-13(EAN): 9783319109350
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

Автор: Francesco Logozzo; Manuel F?hndrich
Название: Static Analysis
ISBN: 3642388558 ISBN-13(EAN): 9783642388552
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Sandrine Blazy; Thomas Jensen
Название: Static Analysis
ISBN: 3662482878 ISBN-13(EAN): 9783662482872
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Jens Palsberg; Zhendong Su
Название: Static Analysis
ISBN: 3642032362 ISBN-13(EAN): 9783642032363
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Rival
Название: Static Analysis
ISBN: 3662534126 ISBN-13(EAN): 9783662534120
Издательство: Springer
Рейтинг:
Цена: 9224.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Chan, Tony F. Jianhong, Shen
Название: Image processing and analysis
ISBN: 089871589X ISBN-13(EAN): 9780898715897
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 12540.00 р.
Наличие на складе: Нет в наличии.

Описание: 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.

Автор: Gupta, Ved Prakhash Mandayam, Prabha Sunder, V. S.
Название: Functional analysis of quantum information theory
ISBN: 3319167170 ISBN-13(EAN): 9783319167176
Издательство: Springer
Рейтинг:
Цена: 4890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Preface.- Operator Spaces.- Entanglement in Bipartite Quantum States.- Operator Systems.- Quantum Information Theory.- Index.- Bibliography.

Автор: Sriram Sankaranarayanan; Enrico Vicario
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3319229745 ISBN-13(EAN): 9783319229744
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Custom and ritual, or their Hebrew equivalent minhag, has intrigued rabbis and scholars for generations. Here, Simcha Fishbane treats minhag from a socio-anthropological perspective. She discusses the theory and model of minhagim, using the Mishnah Berurah and the Arukh Hashulkhan, analyses rabbinic texts concerned with custom, and describes current rituals from a socio-anthropological viewpoint.

Автор: Jaume Baixeries; Christian Sacarea; Manuel Ojeda-A
Название: Formal Concept Analysis
ISBN: 3319195441 ISBN-13(EAN): 9783319195445
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 13th International Conference on Formal Concept Analysis, ICFCA 2015, held in Neja, Spain, in June 2015. methods and applications of FCA to different fields and enhanced FCA that show new trends in FCA, for instance, pattern structures of fuzzy FCA.

Автор: Andr? Platzer
Название: Logical Analysis of Hybrid Systems
ISBN: 3642444741 ISBN-13(EAN): 9783642444746
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this book, the author gives a unique logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author`s coherent logical approach covers theory, practice, and applications.

Автор: V.S. Subrahmanian; Aaron Mannes; Amy Sliva; Jana S
Название: Computational Analysis of Terrorist Groups: Lashkar-e-Taiba
ISBN: 1489992634 ISBN-13(EAN): 9781489992635
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Computational Analysis of Terrorist Groups: Lashkar-e-Taiba provides an in-depth look at Web intelligence, and how advanced mathematics and modern computing technology can influence the insights we have on terrorist groups.