Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Logic-Based Program Synthesis and Transformation, Andy King


Варианты приобретения
Цена: 9083.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Andy King
Название:  Logic-Based Program Synthesis and Transformation
ISBN: 9783540787686
Издательство: Springer
Классификация:
ISBN-10: 3540787682
Обложка/Формат: Paperback
Страницы: 229
Вес: 0.36 кг.
Дата издания: 2008
Серия: Lecture notes in computer science / theoretical computer science and general issues
Язык: English
Иллюстрации: Illustrations
Размер: 231 x 152 x 15
Читательская аудитория: Professional & vocational
Подзаголовок: 17th international symposium, lopstr 2007, kongens lyngby, denmark, august 23-24, 2007, revised selected papers
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.


Advanced Organic Chemistry Part B: Reaction and Synthesis

Название: Advanced Organic Chemistry Part B: Reaction and Synthesis
ISBN: 0387683542 ISBN-13(EAN): 9780387683546
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The two-part, fifth edition of Advanced Organic Chemistry has been substantially revised and reorganized for greater clarity. together, with Part A: Structure and Mechanisms, the two volumes provide a comprehensive foundation for the study in organic chemistry.

Memory-Based Logic Synthesis

Автор: Sasao
Название: Memory-Based Logic Synthesis
ISBN: 1441981039 ISBN-13(EAN): 9781441981035
Издательство: Springer
Рейтинг:
Цена: 19542.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes the synthesis of logic functions using memories. It is useful to design field programmable gate arrays (FPGAs) that contain both small-scale memories, called look-up tables (LUTs), and medium-scale memories, called embedded memories. This is a valuable reference for both FPGA system designers and CAD tool developers, concerned with logic synthesis for FPGAs.

What Hath God Wrought: The Transformation of America, 1815-1848 (Hb)

Автор: Howe
Название: What Hath God Wrought: The Transformation of America, 1815-1848 (Hb)
ISBN: 0195078942 ISBN-13(EAN): 9780195078947
Издательство: Oxford Academ
Рейтинг:
Цена: 4434.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Historian Daniel Walker Howe illuminates the period from the battle of New Orleans to the end of the Mexican-American War, when the United States expanded to the Pacific and won control over the richest part of the North American continent, weaving together political and military events with social, economic, and cultural history and religion.

Logic of chemical synthesis

Автор: Corey, E.j. Cheng, Xue-min Xue-min Cheng (both Of
Название: Logic of chemical synthesis
ISBN: 0471115940 ISBN-13(EAN): 9780471115946
Издательство: Wiley
Рейтинг:
Цена: 18366.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is a detailed description of the general principles and strategies used to solve problems concerning the chemical synthesis of complex organic molecules.

Logic-Based Program Synthesis and Transformation

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

Описание: 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.

Logic-Based Program Synthesis and Transformation

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

Talent, Transformation, and the Triple Bottom Line: Creating Employee-Based Strategies for Sustainable Growth

Автор: Savitz Andrew W.
Название: Talent, Transformation, and the Triple Bottom Line: Creating Employee-Based Strategies for Sustainable Growth
ISBN: 1118140974 ISBN-13(EAN): 9781118140970
Издательство: Wiley
Рейтинг:
Цена: 4592.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: HR Professional`s guide to creating a strategically sustainable organization Employees are central to creating sustainable organizations, yet they are left on the sidelines in most sustainability initiatives along with the HR professionals who should be helping to engage and energize them.

Logic Synthesis for FSM-Based Control Units

Автор: Alexander Barkalov; Larysa Titarenko
Название: Logic Synthesis for FSM-Based Control Units
ISBN: 3642260640 ISBN-13(EAN): 9783642260643
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents the hardware implementation of control algorithms represented by graph-schemes of algorithm. It includes new methods of logic synthesis and optimization for logic circuits of Mealy and Moore FSMs oriented on both ASIC and FPLD.

Logic Synthesis for FSM-Based Control Units

Автор: Alexander Barkalov; Larysa Titarenko
Название: Logic Synthesis for FSM-Based Control Units
ISBN: 3642043089 ISBN-13(EAN): 9783642043086
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents the hardware implementation of control algorithms represented by graph-schemes of algorithm. It includes new methods of logic synthesis and optimization for logic circuits of Mealy and Moore FSMs oriented on both ASIC and FPLD.

Self-Compassion in Psychotherapy: Mindfulness-Based Practices for Healing and Transformation

Автор: Desmond Tim
Название: Self-Compassion in Psychotherapy: Mindfulness-Based Practices for Healing and Transformation
ISBN: 0393711005 ISBN-13(EAN): 9780393711004
Издательство: Wiley
Рейтинг:
Цена: 3483.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Applying the art and science of self-compassion to day-to-day therapy work.

Transformation Optics-based Antennas

Автор: Burokur, Shah Nawaz
Название: Transformation Optics-based Antennas
ISBN: 1785481975 ISBN-13(EAN): 9781785481970
Издательство: Elsevier Science
Рейтинг:
Цена: 10441.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Transformation Optics-based Antennas is organized into two chapters that follow an introduction that presents the basic principles of the transformation optics concept. Two types of transformation are presented, coordinate transformation and space transformation. Implementations using metamaterials are also discussed.

Chapter One focuses on coordinate transformation in the design of devices capable of modifying the electromagnetic appearance of a radiating source. Transformation of a directive radiation pattern into an isotropic one (and vice-versa) through space stretching and compression, respectively, and the possibility of creating multiple beams are also studied.

Chapter Two deals with devices designed using space transformation concepts. Quasi-conformal transformation optics (QCTO) are applied for the design of lenses, either to compensate for the phase shift created by the conformation of an array of sources or to steer a beam to an off-normal direction.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия