Advanced Boolean Techniques, Rolf Drechsler; Mathias Soeken

Автор: Steven Givant; Paul Halmos
Название: Introduction to Boolean Algebras
ISBN: 0387402934 ISBN-13(EAN): 9780387402932
Издательство: Springer
Рейтинг:
Цена: 6002.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Suitable for advanced undergraduates and beginning graduate students, this book treats Boolean algebras, develops some ideas, and provides insights. It includes explanation of the relationship between Boolean rings and Boolean algebras. It features chapters on topology and on continuous functions.

Автор: 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.

Автор: John Rhodes; Pedro V. Silva
Название: Boolean Representations of Simplicial Complexes and Matroids
ISBN: 3319383671 ISBN-13(EAN): 9783319383675
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This self-contained monograph explores a new theory centered around boolean representations of simplicial complexes leading to a new class of complexes featuring matroids as central to the theory.

Автор: 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.

Автор: 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.

Автор: Monk J. Donald
Название: Cardinal Invariants on Boolean Algebras
ISBN: 3034807295 ISBN-13(EAN): 9783034807296
Издательство: Springer
Рейтинг:
Цена: 15233.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Along with almost 200 fascinating open problems, this updated edition covers most of what we know about Boolean cardinal invariants, and includes detailed studies of 21 cardinal number valued functions such as cellularity, defined for any Boolean algebra.

Автор: Steven Givant
Название: Duality Theories for Boolean Algebras with Operators
ISBN: 3319067427 ISBN-13(EAN): 9783319067421
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this new text, Steven Givant-the author of several acclaimed books, including works co-authored with Paul Halmos and Alfred Tarski-develops three theories of duality for Boolean algebras with operators.

Автор: 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.

Автор: Martinez Romero, Julio Cesar
Название: Boolean algebra is for children
ISBN: 1506519105 ISBN-13(EAN): 9781506519104
Издательство: Неизвестно
Рейтинг:
Цена: 2335.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Providing high quality feedback is one of the most critical roles of a teacher. Written by educational innovators James and Jill Nottingham, Challenging Learning Through Feedback provides educators with the tools they need to understand and craft excellent feedback.

Автор: A. Thayse
Название: P-Functions and Boolean Matrix Factorization
ISBN: 3540133585 ISBN-13(EAN): 9783540133582
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.