Menu
Виж статуса на поръчката
Свържете се с нас
Книга Automated Model Building Nicolas Peltier

Automated Model Building

Автор: Nicolas Peltier
Език: Английски език
Корици: С твърди корици
Издател: Springer-Verlag New York Inc.
Наличност: Външен склад в ограничено количество
Изпращаме след 11-15 дни
177.88 € 347.90 лв
Provides information on automated model building, a discipline of automated deduction that is of gro...

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

Автор
Nicolas Peltier
Език
Английски език
Корици
Книга - С твърди корици
Издадена
2004
страници
341
EAN
9781402026522
ISBN
9781402026522
Enbook ID
08348611
Издател
Springer-Verlag New York Inc.
Теглоt
713
Размери
155 x 235 x 23

Пълно описание

Provides information on automated model building, a discipline of automated deduction that is of growing importance. This book also provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction. It presents finite and infinite model building techniques.

Може също да ви хареса

Hillary Rodham Clinton and the 2016 Election

Michele Lockhart
135.69 € 265.38 лв

Model Home

Rivers Solomon
10.07 € 19.69 лв

Politics and Practices of the Ethnographies of Biomedicine and STEM

Cinzia Greco
142.25 € 278.22 лв

Owl and the Nightingale

Simon Armitage
12.27 € 24.00 лв

Theory of Computation

Vikas Binage
15.33 € 29.98 лв

Marks of a Psychoanalysis

Luis Izcovich
162.34 € 317.52 лв

Docu-Fictions of War

Tatiana Prorokova
51.76 € 101.23 лв

PROGRESSIVE DUETS FOR TWO CLARINETS COMP

BERNHARD HE CRUSELL
34.67 € 67.81 лв

Global Powers

Ralph Schroeder
103.27 € 201.97 лв

American Headway: One: Teacher's Resource Book with Testing Program

collegium
66.64 € 130.33 лв

Embracing an Adult Faith Participant's Workbook

Marcus J. Borg
17.73 € 34.68 лв

Ascension Lightwork

Sarah Ince
26.35 € 51.54 лв

Atmosfear-El Inframundo

Ariel Gastaldi
9.26 € 18.12 лв

Generous Spaciousness - Responding to Gay Christians in the Church

Wendy VanderWal-Gritter
24.80 € 48.50 лв

Christmas Carol

Charles Dickens
8.16 € 15.96 лв

Other Daughter

Lisa Gardner
13.27 € 25.96 лв

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

NAMIBIA

Kai-Uwe Küchler
45.74 € 89.47 лв

Histoire Generale de Portugal, Par M. de La Clede, ...

Rollin
30.61 € 59.87 лв

Einfach selbst reparieren - Handy, Kamera, Fernseher, Computer und Co.

Reader's Digest
4.45 € 8.71 лв

Dunkle Wut

Michael Katz Krefeld
8.46 € 16.55 лв