Boolean Differential Calculus, Bernd Steinbach, Christian Posthoff

Автор: David P. Rosin
Название: Dynamics of Complex Autonomous Boolean Networks
ISBN: 3319135775 ISBN-13(EAN): 9783319135779
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This thesis focuses on the dynamics of autonomous Boolean networks, on the basis of Boolean logic functions in continuous time without external clocking.

Автор: Friedrich Wehrung
Название: Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups
ISBN: 331961598X ISBN-13(EAN): 9783319615981
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Adopting a new universal algebraic approach, this book explores and consolidates the link between Tarski`s classical theory of equidecomposability types monoids, abstract measure theory (in the spirit of Hans Dobbertin`s work on monoid-valued measures on Boolean algebras) and the nonstable K-theory of rings.

Автор: David P. Rosin
Название: Dynamics of Complex Autonomous Boolean Networks
ISBN: 3319367064 ISBN-13(EAN): 9783319367064
Издательство: Springer
Рейтинг:
Цена: 87060.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This thesis focuses on the dynamics of autonomous Boolean networks, on the basis of Boolean logic functions in continuous time without external clocking.

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

Автор: Ahmad Shair
Название: Textbook on Ordinary Differential Equations
ISBN: 3319164074 ISBN-13(EAN): 9783319164076
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The second edition has been revised to correct minor errata, and features a number of carefully selected new exercises, together with more detailed explanations of some of the topics. A complete Solutions Manual, containing solutions to all the exercises published in the book, is available.

Автор: Bernd Steinbach, Christian Posthoff
Название: Boolean Differential Equations
ISBN: 1627052410 ISBN-13(EAN): 9781627052412
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 46200.00 T
Наличие на складе: Невозможна поставка.
Описание: Generally speaking, a Boolean differential equation (BDE) is an equation in which elements of the BDC appear. It includes variables, functions, and derivative operations of these functions. The solution of such a BDE is a set of Boolean functions. This is a significant extension of Boolean equations, which have sets of Boolean vectors as solutions.

Автор: Garban
Название: Noise Sensitivity of Boolean Functions and Percolation
ISBN: 1107432553 ISBN-13(EAN): 9781107432550
Издательство: Cambridge Academ
Рейтинг:
Цена: 40130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This account of the new and exciting area of noise sensitivity of Boolean functions - in particular applied to critical percolation - is designed for graduate students and researchers in probability theory, discrete mathematics, and theoretical computer science. It assumes a basic background in probability theory and integration theory. Each chapter ends with exercises.

Автор: Jin-Yi Cai, Xi Chen
Название: Complexity Dichotomies for Counting Problems: Volume 1, Boolean Domain
ISBN: 1107062373 ISBN-13(EAN): 9781107062375
Издательство: Cambridge Academ
Рейтинг:
Цена: 155230.00 T
Наличие на складе: Невозможна поставка.
Описание: Complexity theory aims to understand and classify computational problems according to their inherent complexity. This book uses new techniques to expand the theory for use with counting problems on the Boolean domain and is broadly accessible to researchers and graduate students.

Автор: Xie
Название: Differential Equations for Engineers
ISBN: 1107632951 ISBN-13(EAN): 9781107632950
Издательство: Cambridge Academ
Рейтинг:
Цена: 63360.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Xie presents a systematic introduction to differential equations for engineering students. The relevance of differential equations in engineering applications motivates readers, and studies of various types of differential equations are determined by engineering applications. The theory and techniques for solving differential equations are then applied to solve practical engineering problems.

Автор: Frank Markham Brown
Название: Boolean Reasoning
ISBN: 1475720807 ISBN-13(EAN): 9781475720808
Издательство: Springer
Рейтинг:
Цена: 121890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 95770.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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: 0792391217 ISBN-13(EAN): 9780792391210
Издательство: Springer
Рейтинг:
Цена: 139310.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.