Logic Program Synthesis and Transformation, Norbert E. Fuchs

Автор: Kung-Kiu Lau
Название: Logic Based Program Synthesis and Transformation
ISBN: 3540421270 ISBN-13(EAN): 9783540421276
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The ten papers presented in this volume have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

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

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

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

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

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

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

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

Автор: R.I. Damper
Название: Data-Driven Techniques in Speech Synthesis
ISBN: 1441947337 ISBN-13(EAN): 9781441947338
Издательство: Springer
Рейтинг:
Цена: 213360.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This first review of a new field covers all areas of speech synthesis from text, ranging from text analysis to letter-to-sound conversion. At the leading edge of current research, the concise and accessible book is written by well respected experts in the field.

Автор: Renato DeMori; Ching Y. Suen
Название: New Systems and Architectures for Automatic Speech Recognition and Synthesis
ISBN: 3642824498 ISBN-13(EAN): 9783642824494
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Study Institute on New Systems and Architecture for Automatic Speech Recognition and Synthesis, held at Bonas, Gers, France, 2-14 July 1984

Автор: David M. Steier; A. Penny Anderson
Название: Algorithm Synthesis: A Comparative Study
ISBN: 0387969608 ISBN-13(EAN): 9780387969602
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In early 1986, one of us (D.M.S.) was constructing an artificial intelligence system to design algorithms, and the other (A.P.A.) was getting started in program transformations research.

Автор: 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
Рейтинг:
Цена: 39590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a way of thinking about complicated, multifaceted problems with a repeatable degree of success.