Logic-Based Program Synthesis and Transformation, Michael Hanus

Автор: Danny De Schreye
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3642125913 ISBN-13(EAN): 9783642125911
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009.

Автор: Rozenberg Grzegorz
Название: Handbook Of Graph Grammars And Computing By Graph Transformation, Vol 1: Foundations
ISBN: 9810228848 ISBN-13(EAN): 9789810228842
Издательство: World Scientific Publishing
Рейтинг:
Цена: 28512.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This first volume includes a state-of-the-art presentation of the foundations of all the basic approaches to rule-based graph specification and transformation: algebraic approach, logic approach, node-based rewriting, (hyper)edge-based rewriting, programmed graph rewriting, and 2-structures.

Автор: Echahed
Название: Graph Transformation
ISBN: 3319405292 ISBN-13(EAN): 9783319405292
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The book is dedicated to Hartmut Ehrig, one of the fathers and most productive members of the Graph Transformation community, who passed away in 2016.

Автор: Piedad Brox; Iluminada Baturone Castillo; Santiago
Название: Fuzzy Logic-Based Algorithms for Video De-Interlacing
ISBN: 3642262627 ISBN-13(EAN): 9783642262623
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Researchers of the "Fuzzy Logic" group at the Microelectronics Institute of Seville have been studying fuzzy logic since the early 1990s. This book, borne of their efforts, covers the state-of-the-art of fuzzy logic-based algorithms for video de-interlacing.

Автор: Evangelos Triantaphyllou
Название: Data Mining and Knowledge Discovery via Logic-Based Methods
ISBN: 1441916296 ISBN-13(EAN): 9781441916297
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book uses a novel method to study a series of interconnected key data mining and knowledge discovery problems in depth and in a way that stimulates the quest for more knowledge. It also presents a collection of examples, many from real-life applications.

Автор: Kolko Jon
Название: Exposing the Magic of Design: A Practitioner`s Guide to the Methods and Theory of Synthesis
ISBN: 0190276215 ISBN-13(EAN): 9780190276218
Издательство: Oxford Academ
Рейтинг:
Цена: 5938.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book offers a way of thinking about complicated, multifaceted problems with a repeatable degree of success.

Автор: Amaru
Название: New Data Structures and Algorithms for Logic Synthesis and Verification
ISBN: 3319431730 ISBN-13(EAN): 9783319431734
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic circuits and developing new frameworks for logic reasoning engines.

Автор: Ahmed
Название: Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System
ISBN: 9811031193 ISBN-13(EAN): 9789811031199
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book focuses on identifying the performance challenges involved in computer architectures, optimal configuration settings and analysing their impact on the performance of multi-core architectures.