Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
SPS 3.99 € Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto DPD 2.99 € Zberné miesto GLS 2.49 € SPS Parcel Shop 2.99 € Packeta 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Automated Model Building

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Automated Model Building Nicolas Peltier
Libristo kód: 08348611
Nakladateľstvo Springer-Verlag New York Inc., september 2004
Provides information on automated model building, a discipline of automated deduction that is of gro... Celý popis
? points 416 b
171.42 €
Skladom u dodávateľa Odosielame za 14-21 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Dar čarodějky mám, sestry nebeoké - Výbor z díla (1908–1916) Velemir Chlebnikov / Kniha Pevná
common.buy 15.50 €
Einfach selbst reparieren - Handy, Kamera, Fernseher, Computer und Co. Reader's Digest / E-kniha Adobe ePub DRM
common.buy 4.42 €
Trajetória de deslizamento e largura apical Nupur Gupta / Kniha Brožovaná
common.buy 44.31 €
Top
A Guide to Writing for Advanced Ciara Fitzgerald / Kniha Brožovaná
common.buy 22.35 €
VW Käfer 1200/1300/1500/1302/S/1303/S alle Modelle ab August '69 Dieter Korp / Kniha Kniha
common.buy 29.30 €
Dunkle Wut Michael Katz Krefeld / Audiokniha MP3
common.buy 8.65 €
essenza della manifestazione Michel Henry / Kniha Brožovaná
common.buy 64.38 €
Zügellos Dick Francis / Kniha Brožovaná
common.buy 12.58 €
Deva y yo García Oliva Kniha Pevná
common.buy 8.35 €
Relever les défis de la gestion des ressources humaines collegium / Kniha Kniha
common.buy 83.79 €
ETUDES DE LETTRES, N 272, 12/2005. COMPARER LES COMPARATISMES: PERSPE CTIVES SUR L'HISTOIRE ET LES S BURGER MAYA Kniha Brožovaná
common.buy 19.13 €
Top Lacno
Dziady Część 2 Mickiewicz Adam / Kniha Brožovaná
common.buy 0.80 €
Ueber Leben Und Geistesentwicklung Des Plotin Arthur Richter / Kniha Brožovaná
common.buy 27.08 €
Histoire Generale de Portugal, Par M. de La Clede, ... Rollin / Kniha Brožovaná
common.buy 30.81 €
Traite De Perspective: Ou Sont Contenus Les Fondemens De La Peinture (1701) Bernard Lamy / Kniha Brožovaná
common.buy 28.90 €
Pripravujeme
NAMIBIA Kai-Uwe Küchler / Kniha Pevná
common.buy 44.33 €
Bos taurus : una antropología visual de los mundos del toro Ramón Zabalza Ramos / Kniha Brožovaná
common.buy 50.45 €
Ruth Elizabeth Gaskell / Kniha Brožovaná
common.buy 17.92 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Automated Model Building
Autor Nicolas Peltier
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2004
Počet strán 341
EAN 9781402026522
ISBN 9781402026522
Libristo kód 08348611
Nakladateľstvo Springer-Verlag New York Inc.
Váha 713
Rozmery 155 x 235 x 23

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Filozofia a náboženstvo > Filozofia > Filozofické témy > Filozofia: logika
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Pioneer History of Eaton County, Michigan, 1833-1866 Daniel Strange / Kniha Brožovaná
common.buy 20.64 €
In the Days of Alfred the Great Eva March Tappan / Kniha Brožovaná
common.buy 18.12 €
With a Kiss and a Prayer Ellie Dean / Kniha Brožovaná
common.buy 8.65 €
Women of Modern France Thieme / Kniha Brožovaná
common.buy 31.11 €
Docu-Fictions of War Tatiana Prorokova / Kniha Pevná
common.buy 52.26 €
Top
JOHN WILLIAMS EASY PIANO ANTHOLOGY John Williams / Kniha Brožovaná
common.buy 18.72 €
Marks of a Psychoanalysis Luis Izcovich / Kniha Pevná
common.buy 194.38 €
The God of All Comfort: Bible Promises to Comfort Women (Loved by God) Journal with Purpose / Kniha Brožovaná
common.buy 9.96 €
Everybody Knows What Happened Except Hillary Rodham Clinton John Bridges / Kniha Brožovaná
common.buy 9.16 €
My Lady Nicotine: A Study in Smoke James Matthew Barrie / Kniha Brožovaná
common.buy 15.30 €
Top
Gospel of the Eels Patrik Svensson / Kniha Brožovaná
common.buy 11.77 €
Other Daughter Lisa Gardner / Kniha Brožovaná
common.buy 10.97 €
Theory of Computation Vikas Binage / Kniha Brožovaná
common.buy 15.30 €
Top
Showa 1926-1939 Zack Davisson / Kniha Brožovaná
common.buy 22.15 €
Educational Technology and Narrative Brad Hokanson / E-kniha Adobe ePub DRM
common.buy 137.78 €
The Real World of Texas Politics Richard Shaw / Kniha Brožovaná
common.buy 9.86 €
Owl and the Nightingale Simon Armitage / Kniha Brožovaná
common.buy 11.98 €
Politics and Practices of the Ethnographies of Biomedicine and STEM Cinzia Greco / Kniha Pevná
common.buy 148.15 €
Undesirability and Her Sisters Tiffany E. Barber / Kniha Brožovaná
common.buy 33.33 €
Model Home Rivers Solomon / Kniha Brožovaná
common.buy 10.06 €
The Rebel and the Final Blood War LINDE K A / Kniha Brožovaná
common.buy 15.10 €
PROGRESSIVE DUETS FOR TWO CLARINETS COMP BERNHARD HE CRUSELL / Kniha Brožovaná
common.buy 33.53 €
Atmosfear-El Inframundo Ariel Gastaldi / Kniha Brožovaná
common.buy 8.95 €
Screening Eastern Europe Anne Gaschütz / Kniha Brožovaná
common.buy 49.54 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?