Continuous Consumer Equivalence Scales, J. Blokland

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

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

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

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

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

Автор: 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
Рейтинг:
Цена: 39060.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Shi-Yu Huang; Kwang-Ting (Tim) Cheng
Название: Formal Equivalence Checking and Design Debugging
ISBN: 079238184X ISBN-13(EAN): 9780792381846
Издательство: Springer
Рейтинг:
Цена: 156720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covers the topics of logic equivalence checking and design debugging in design verification. This book reviews the design problems that require logic equivalence checking and describes the underlying technologies that are used to solve them. It also gives a survey of the literature on design error diagnosis and design error correction.

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

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