Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Proof Engines for the Analysis of Hybrid Discrete-continuous Systems

Език Английски езикАнглийски език
Книга С меки корици
Книга Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Christian Herde
Код Либристо: 01782369
Издателство Springer Fachmedien Wiesbaden, февруари 2011
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver... Цялото описание
? points 132 b
54.42 €
106.43  лв
Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Organisches Germanium Kazuhiko Asai / Книга С меки корици
common.buy 18.88 € 36.92 лв
Das Innerste Beruhren Maike Stüven / Книга С твърди корици
common.buy 17.17 € 33.58 лв
Hochdeutsche Gedichte Friedrich Stoltze / Книга С меки корици
common.buy 44.33 € 86.70 лв
Betriebswirtschaftslehre für das Sozialwesen Arnold Pracht / Книга С меки корици
common.buy 20.07 € 39.25 лв
Architettura di rete con indirizzamento ricorsivo Hee Kim Young Hee Kim / Книга С меки корици
common.buy 25.60 € 50.07 лв
Catálogo da flora vascular galega NIÑO RICOI / Книга С меки корици
common.buy 19.50 € 38.13 лв
Prehistorický svět v životní velikosti Dougal Dixon / Книга С твърди корици
common.buy 18.88 € 36.92 лв

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Автор Christian Herde
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2011
Брой страници 163
Баркод 9783834814944
ISBN 3834814946
Код Либристо 01782369
Издателство Springer Fachmedien Wiesbaden
Тегло 228
Размери 148 x 210 x 9

Категории

Computing & Information Technology > Computer science
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Plays by H. J. Byron Jim Davis / Книга С твърди корици
common.buy 11.22 € 21.95 лв
The Book Nook Curse Laetitia Clark / Книга С меки корици
common.buy 16.55 € 32.37 лв
GAMERS BAR REEDER CASSANDRA / Книга С твърди корици
common.buy 19.45 € 38.03 лв
Anti-Semitism and the Holocaust Beth A. Griech-Polelle / Книга С меки корици
common.buy 35.53 € 69.50 лв
Nanostructured Materials for Energy Related Applications Rajendran Saravanan / Книга С твърди корици
common.buy 108.58 € 212.36 лв
Awesome Truths: Confessions of a Believer A Atkinson / Книга С меки корици
common.buy 11.22 € 21.95 лв
Are You Addicted To Food? Diane Del Vescio / Книга С меки корици
common.buy 17.53 € 34.29 лв
Ellen Shipman and the American Garden Judith B. Tankard / Книга С твърди корици
common.buy 41.48 € 81.14 лв
Basic Equality and Discrimination Smith / Книга С меки корици
common.buy 77.28 € 151.15 лв
Power of Womanhood, or Mothers and Sons A Book For Parents, And Those In Loco Parentis Ellice Hopkins / Книга С твърди корици
common.buy 21.77 € 42.59 лв
Digital Repetitive Control under Varying Frequency Conditions Germán Andrés Ramos Fuentes / Книга С меки корици
common.buy 54.42 € 106.43 лв
English Plus: Starter: Audio CD Ben Wetz / Аудио Аудио компактдиск
common.buy 50.02 € 97.83 лв
Competitive Strategies for the 21st Century Thomas Mahnken / Книга С меки корици
common.buy 31.19 € 61.00 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo