Logic Based Program Synthesis and Transformation, Kung-Kiu Lau

Автор: Maurizio Proietti; Hirohisa Seki
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3319178210 ISBN-13(EAN): 9783319178219
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

Автор: Rafik Aziz Aliev
Название: Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions
ISBN: 3642443435 ISBN-13(EAN): 9783642443435
Издательство: Springer
Рейтинг:
Цена: 139310.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a new decision theory with imperfect decision-relevant information on environment and a decision maker`s behavior. This theory is based on the synthesis of the fuzzy sets theory with perception-based information and the probability theory.

Автор: Naeem Khalid Janjua
Название: A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications
ISBN: 3319039482 ISBN-13(EAN): 9783319039480
Издательство: Springer
Рейтинг:
Цена: 167700.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes a semantic web-based approach for addressing the problem of decision making when information is coming from multiple information sources and is incomplete and/or contradictory.

Автор: Gopal Gupta; Ricardo Pe?a
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3319141244 ISBN-13(EAN): 9783319141244
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Specification.- Synthesis.- Verification.- Analysis.- Optimization.- Specialization.- Security.- Certification.- Applications and tools.- Program/model manipulation.- Transformation techniques for any programming language paradigm.

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

Автор: Albert Elvira
Название: Logic-based Program Synthesis and Transformation
ISBN: 3642381960 ISBN-13(EAN): 9783642381966
Издательство: Springer
Рейтинг:
Цена: 42860.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.

Автор: Michael Hanus
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3642005144 ISBN-13(EAN): 9783642005145
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. This book includes papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, and security.

Автор: Norbert E. Fuchs
Название: Logic Program Synthesis and Transformation
ISBN: 3540650741 ISBN-13(EAN): 9783540650744
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation held in 1997. The 15 papers presented address such topics as program synthesis, program transformation, program analysis, tabling, metaprogramming and inductive logic programming.

Автор: Alexander Barkalov; Larysa Titarenko; Jacek Biegan
Название: Logic Synthesis for Finite State Machines Based on Linear Chains of States
ISBN: 3319598368 ISBN-13(EAN): 9783319598369
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book discusses Moore finite state machines (FSMs) implemented with field programmable gate arrays (FPGAs) including look-up table (LUT) elements and embedded memory blocks (EMBs).

Автор: Krzysztof Krawiec
Название: Behavioral Program Synthesis with Genetic Programming
ISBN: 3319275631 ISBN-13(EAN): 9783319275635
Издательство: Springer
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This `evaluation bottleneck` leaves search algorithm underinformed about the actual and potential qualities of candidate programs. This book proposes behavioral program synthesis, a conceptual framework that opens GP to detailed information on program behavior in order to make program synthesis more efficient.

Автор: Hongyi Li; Ligang Wu; Hak-Keung Lam; Yabin Gao
Название: Analysis and Synthesis for Interval Type-2 Fuzzy-Model-Based Systems
ISBN: 9811005923 ISBN-13(EAN): 9789811005923
Издательство: Springer
Рейтинг:
Цена: 121890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book develops a set of reference methods capable of modeling uncertainties existing in membership functions, and analyzing and synthesizing the interval type-2 fuzzy systems with desired performances.

Автор: Naeem Khalid Janjua
Название: A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications
ISBN: 3319381709 ISBN-13(EAN): 9783319381701
Издательство: Springer
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes a semantic web-based approach for addressing the problem of decision making when information is coming from multiple information sources and is incomplete and/or contradictory.