Theory and Applications of Satisfiability Testing – SAT 2008, Hans Kleine B?ning; Xishun Zhao

Автор: Ofer Strichman; Stefan Szeider
Название: Theory and Applications of Satisfiability Testing - SAT 2010
ISBN: 3642141854 ISBN-13(EAN): 9783642141850
Издательство: Springer
Рейтинг:
Цена: 13774 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.

Автор: Oliver Kullmann
Название: Theory and Applications of Satisfiability Testing - SAT 2009
ISBN: 3642027768 ISBN-13(EAN): 9783642027765
Издательство: Springer
Рейтинг:
Цена: 15305 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 12th International Conference SAT 2009 Swansea UK June 30 July 3 2009 Proceedings. .

Автор: FRANCO
Название: THE SATISFIABILITY PROBLEM & BOOLEAN FUNCTIONS TDM
ISBN: 0444504109 ISBN-13(EAN): 9780444504104
Издательство: Elsevier Science
Рейтинг:
Цена: 37440 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This practical guide explains how to analyse a script of libretto, show how to develop a character building on material in the score, and gives the singing performer the tools to act believably. More than just a how to acting book, however, Acting for Singers addresses the problems of concenration, trust, and projection, among others, and includes concrete examples from opera and musical theatre.