Описание: 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 Рейтинг: Цена: 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.
Автор: 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.
Автор: 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.
Автор: Shi-Yu Huang; Kwang-Ting (Tim) Cheng Название: Formal Equivalence Checking and Design Debugging ISBN: 079238184X ISBN-13(EAN): 9780792381846 Издательство: Springer Рейтинг: Цена: 23508.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 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.
Описание: 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.
Автор: Harry Hsieh; Felice Balarin; Alberto L. Sangiovann Название: Synchronous Equivalence ISBN: 1461356644 ISBN-13(EAN): 9781461356646 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
