Handbook of Formal Analysis and Verification in Cryptography, Akleylek, Sedat

Автор: Claude Carlet
Название: Boolean Functions for Cryptography and Coding Theory
ISBN: 1108473806 ISBN-13(EAN): 9781108473804
Издательство: Cambridge Academ
Рейтинг:
Цена: 79200.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This complete and accessible survey of Boolean functions for cryptography and coding, written for researchers and graduate students, balances all necessary background with comprehensive state of the art coverage, and tackles recent problems and applications like side channel attacks, Gowers norm, and cloud computing.

Автор: Gertman, David.
Название: Human reliability and safety analysis data handbook /
ISBN: 0471591106 ISBN-13(EAN): 9780471591108
Издательство: Wiley
Рейтинг:
Цена: 157290.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Takes into account the human element as well as the classical aspects of mechanical, electrical and chemical designs that contribute to risk. Features a significant amount of data essential for risk analysis not normally available. Contains numerous examples of authentic applications and case studies.

Автор: Dumitru Baleanu and Antonio Mendes Lopes
Название: Handbook of Fractional Calculus with Applications
ISBN: 3110570920 ISBN-13(EAN): 9783110570922
Издательство: Walter de Gruyter
Рейтинг:
Цена: 149590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This multi-volume handbook is the most up-to-date and comprehensive reference work in the field of fractional calculus and its numerous applications. This eighth volume collects authoritative chapters covering several applications of fractional calculus in engineering, life and social sciences, including applications in signal and image analysis, and chaos.

Автор: Marc Joye; Michael Tunstall
Название: Fault Analysis in Cryptography
ISBN: 3642436773 ISBN-13(EAN): 9783642436772
Издательство: Springer
Рейтинг:
Цена: 144410.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers fault analysis in secret key cryptography, from side-channel analysis and its relevance to fault attacks, to block ciphers, countermeasures against AES, attack-resistent devices, fault attacks on stream ciphers and fault injection experiments.

Автор: Rolf Drechsler
Название: Advanced Formal Verification
ISBN: 1441954201 ISBN-13(EAN): 9781441954206
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today`s verification tools and describe various scenarios from industrial practice.

Автор: Zopounidis
Название: Handbook of multicriteria analysis
ISBN: 3540928278 ISBN-13(EAN): 9783540928270
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Multicriteria analysis is a rapidly growing aspect of operations research and management science, with numerous practical applications in a wide range of fields. This book presents the advances in multicriteria analysis, including multicriteria optimization, goal programming, outranking methods, and disaggregation techniques.

Автор: Wasserman, Gary
Название: Reliability Verification, Testing, and Analysis in Engineering Design
ISBN: 0824704754 ISBN-13(EAN): 9780824704759
Издательство: Taylor&Francis
Рейтинг:
Цена: 296030.00 T
Наличие на складе: Нет в наличии.

Автор: Meyer Pierre-Jean, Devonport Alex, Arcak Murat
Название: Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification
ISBN: 3030651096 ISBN-13(EAN): 9783030651091
Издательство: Springer
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This brief presents a suite of computationally efficient methods for bounding trajectories of dynamical systems with multi-dimensional intervals, or `boxes`.

Автор: Mike Mintz; Robert Ekendahl
Название: Hardware Verification with C++
ISBN: 1489978976 ISBN-13(EAN): 9781489978974
Издательство: Springer
Рейтинг:
Цена: 172350.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verification.Takes a realistic view of reusability and distills lessons learned down to a tool box of techniques and guidelines.

Автор: Deepak D`Souza; K. Narayan Kumar
Название: Automated Technology for Verification and Analysis
ISBN: 3319681664 ISBN-13(EAN): 9783319681665
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions.

Автор: Mason Stephen
Название: Computing Security & Cryptography Handbook
ISBN: 1632401134 ISBN-13(EAN): 9781632401137
Издательство: Неизвестно
Цена: 128690.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Rolf Drechsler; Ulrich K?hne
Название: Formal Modeling and Verification of Cyber-Physical Systems
ISBN: 3658099933 ISBN-13(EAN): 9783658099930
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany.