Formal Equivalence Checking and Design Debugging, Shi-Yu Huang; Kwang-Ting (Tim) Cheng

Автор: Kichoon Yang
Название: Exterior Differential Systems and Equivalence Problems
ISBN: 0792315936 ISBN-13(EAN): 9780792315933
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph presents a concise account of exterior differential system theory so that it can be quickly applied to problems. The first part deals with the general theory, while the second part focuses on applications to problems in differential geometry.

Автор: Ellis
Название: Automorphisms and Equivalence Relations in Topological Dynamics
ISBN: 1107633222 ISBN-13(EAN): 9781107633223
Издательство: Cambridge Academ
Рейтинг:
Цена: 8554.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An original and self-contained treatment of some key ideas in the abstract theory of topological dynamics, focussing on the role of automorphisms and equivalence relations. This approach leads to simpler proofs of classical results and provides motivation for further study, making this lucid book ideal for graduate students and researchers.

Автор: Shi-Yu Huang; Kwang-Ting (Tim) Cheng
Название: Formal Equivalence Checking and Design Debugging
ISBN: 1461376068 ISBN-13(EAN): 9781461376064
Издательство: Springer
Рейтинг:
Цена: 25155.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging.

Автор: Paul Molitor; Janett Mohnke
Название: Equivalence Checking of Digital Circuits
ISBN: 1441954236 ISBN-13(EAN): 9781441954237
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. Thus, it is desirable to detect design errors early in the design process and not just after producing the prototype chip.

Автор: Thomas Thierauf
Название: The Computational Complexity of Equivalence and Isomorphism Problems
ISBN: 3540410325 ISBN-13(EAN): 9783540410324
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A computational model is a framework for doing computations according to certain specified rules on some input data. This monograph analyzes the computational complexity of the satisfiability, equivalence, and almost equivalence problems with respect to various computational models.

Автор: Hector Zenil
Название: Irreducibility and Computational Equivalence
ISBN: 3642442579 ISBN-13(EAN): 9783642442575
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book examines some of the major contributions of Stephen Wolfram`s best-selling classic, A New Kind of Science, ten years after its publication.

Автор: Rodgers-Farmer Antoinette Y., Farmer G. Lawrence
Название: Research with Diverse Groups: Research Designs and Mulitvariate Latent Modeling for Equivalence
ISBN: 0199914362 ISBN-13(EAN): 9780199914364
Издательство: Oxford Academ
Рейтинг:
Цена: 5859.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The purpose of this book is to illustrate how to achieve research-design equivalence across the diverse groups in one`s study. Research-design equivalence refers to the ability to accurately represent the phenomenon under investigation using the appropriate research methods and statistical procedures to ensure the internal and external validity of one`s study.

Автор: Harry Hsieh; Felice Balarin; Alberto L. Sangiovann
Название: Synchronous Equivalence
ISBN: 1461356644 ISBN-13(EAN): 9781461356646
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Harry Hsieh; Felice Balarin; Alberto L. Sangiovann
Название: Synchronous Equivalence
ISBN: 079237262X ISBN-13(EAN): 9780792372622
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. The authors review the framework upon which the theories and experiments are based, and through which the formal methods are linked to synthesis and simulation.

Автор: Kichoon Yang
Название: Exterior Differential Systems and Equivalence Problems
ISBN: 9048141184 ISBN-13(EAN): 9789048141180
Издательство: Springer
Рейтинг:
Цена: 17462.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: J. Blokland
Название: Continuous Consumer Equivalence Scales
ISBN: 9024718473 ISBN-13(EAN): 9789024718474
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Costs of children as consumers is an issue as interesting and intriguing as it is intricate and tricky. One (older) approach to establishing costs of consumption by children compared with (male) adults was based on physiological considerations, viz.