Theory and Applications of Satisfiability Testing - SAT 2009, Oliver Kullmann

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

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

Автор: Creignou
Название: Theory and Applications of Satisfiability Testing – SAT 2016
ISBN: 3319409697 ISBN-13(EAN): 9783319409696
Издательство: Springer
Рейтинг:
Цена: 11327 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions.

Автор: Hans Kleine B?ning; Xishun Zhao
Название: Theory and Applications of Satisfiability Testing – SAT 2008
ISBN: 3540797181 ISBN-13(EAN): 9783540797180
Издательство: Springer
Рейтинг:
Цена: 10713 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from a ?rst workshop on SAT in 1996 to an annual international conference which is a platform for researchers studying various aspects of the propositional satis?ability problem and its applications.