Dynamics of Complex Autonomous Boolean Networks, David P. Rosin

Автор: Mendelson, Elliot,
Название: Schaum`s outline of Boolean algebra and switching circuits
ISBN: 0070414602 ISBN-13(EAN): 9780070414600
Издательство: McGraw-Hill
Рейтинг:
Цена: 986.00 р.
Наличие на складе: Есть (2 шт.)
Описание: Schaum`s Outlines present all the essential course information in an easy-to-follow, topic-by-topic format. You also get hundreds of examples, solved problems, and practice exercises to test your skills.

Автор: William K.C. Lam; Robert K. Brayton
Название: Timed Boolean Functions
ISBN: 0792394542 ISBN-13(EAN): 9780792394549
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents a methodology for timing research which facilitates analysis and design of circuits and systems in a unified temporal and logical domain. This book shows us the central idea of representing logical and timing information in a common structure, TBFs, and to present a canonical form suitable for efficient manipulation.

Автор: Daizhan Cheng; Hongsheng Qi; Zhiqiang Li
Название: Analysis and Control of Boolean Networks
ISBN: 1447126114 ISBN-13(EAN): 9781447126119
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents a new approach to the investigation of Boolean control networks, using the semi-tensor product (STP), which can express a logical function as a conventional discrete-time linear system. This makes it possible to analyze basic control problems.

Автор: William K.C. Lam; Robert K. Brayton
Название: Timed Boolean Functions
ISBN: 1461361567 ISBN-13(EAN): 9781461361565
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Timing research in high performance VLSI systems has advanced at a steady pace over the last few years, while tools, especially theoretical mechanisms, lag behind. In the second part, we apply Timed Boolean Functions to three problems in timing research, for which exact solutions are obtained for the first time: 1.

Автор: Winfried G. Schneeweiss
Название: Boolean Functions
ISBN: 3642456405 ISBN-13(EAN): 9783642456404
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: of the Laplace transform) is useful in control theory, renewal theory, queueing theory, etc. , the applied theory of Boolean functions (of indicator variables) can be useful in reliability theory, switching circuits theory, digital diagnostics and communications theory.

Автор: Frank Markham Brown
Название: Boolean Reasoning
ISBN: 0792391217 ISBN-13(EAN): 9780792391210
Издательство: Springer
Рейтинг:
Цена: 20896.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Such equations were central in the "algebra of logic" created in 1847 by Boole [12, 13] and devel- oped by others, notably Schroder [178], in the remainder of the nineteenth century.

Автор: Stephan Eggersgl??; Rolf Drechsler
Название: High Quality Test Pattern Generation and Boolean Satisfiability
ISBN: 1489988475 ISBN-13(EAN): 9781489988478
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). It presents a fast and highly fault efficient SAT-based ATPG framework.

Автор: Frank Markham Brown
Название: Boolean Reasoning
ISBN: 1475720807 ISBN-13(EAN): 9781475720808
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Such equations were central in the "algebra of logic" created in 1847 by Boole [12, 13] and devel- oped by others, notably Schroder [178], in the remainder of the nineteenth century.

Автор: Rolf Drechsler; Stephan Eggersgl??; G?rschwin Fey;
Название: Test Pattern Generation using Boolean Proof Engines
ISBN: 9048184916 ISBN-13(EAN): 9789048184910
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Providing an introduction to ATPG, this book reviews the basic concept and classical ATPG algorithms. It is the first book to give a detailed overview on SAT-based ATPG. It describes the state-of-the-art in the field and shows directions for future work.

Автор: David P. Rosin
Название: Dynamics of Complex Autonomous Boolean Networks
ISBN: 3319135775 ISBN-13(EAN): 9783319135779
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This thesis focuses on the dynamics of autonomous Boolean networks, on the basis of Boolean logic functions in continuous time without external clocking.