Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

phone

Kontakt

phone

Pomoć

Moj račun

▸ Prazno :-(

0

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Knjiga Automated Model Building Nicolas Peltier

Automated Model Building

Nicolas Peltier

Jezik

Engleski

Knjiga Tvrdi uvez

Knjiga Automated Model Building Nicolas Peltier

Libristo kod: 08348611

Nakladnici Springer-Verlag New York Inc., rujan 2004

Provides information on automated model building, a discipline of automated deduction that is of gro... Cijeli opis

Libristo kod: 08348611

?

points

406 b

167.74 €

Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

Do 30 dana za povrat

Kupci su kupili i

NAMIBIA Kai-Uwe Küchler

/

Tvrdi uvez

44.58 €

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

/

Meki uvez

31.64 €

Einfach selbst reparieren - Handy, Kamera, Fernseher, Computer und Co. Reader's Digest

/

Adobe ePub DRM

4.14 €

Dunkle Wut Michael Katz Krefeld

/

MP3

7.88 €

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.

Glumica & Poliglotkinja

EWA KASP za

Pusti video

Ewa Kasp

Ewa Kasp

Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Automated Model Building

Autor Nicolas Peltier

Jezik

Engleski

Uvez Knjiga - Tvrdi uvez

Datum izdanja 2004

Broj stranica 341

EAN 9781402026522

ISBN 9781402026522

Libristo kod 08348611

Nakladnici Springer-Verlag New York Inc.

Težina 713

Dimenzije 155 x 235 x 23

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic

Computing & Information Technology > Computer science > Artificial intelligence

Poklonite ovu knjigu još danas

To je jednostavno

1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Hillary Rodham Clinton and the 2016 Election Michele Lockhart

/

Tvrdi uvez

133.97 €

Model Home Rivers Solomon

/

Meki uvez

9.70 €

Politics and Practices of the Ethnographies of Biomedicine and STEM Cinzia Greco

/

Tvrdi uvez

146.81 €

Owl and the Nightingale Simon Armitage

/

Meki uvez

11.82 €

Theory of Computation Vikas Binage

/

Meki uvez

15.76 €

Marks of a Psychoanalysis Luis Izcovich

/

Tvrdi uvez

167.44 €

Docu-Fictions of War Tatiana Prorokova

/

Tvrdi uvez

53.38 €

PROGRESSIVE DUETS FOR TWO CLARINETS COMP BERNHARD HE CRUSELL

/

Meki uvez

32.85 €

Global Powers Ralph Schroeder

/

Tvrdi uvez

106.57 €

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

/

Meki uvez

68.75 €

Embracing an Adult Faith Participant's Workbook Marcus J. Borg

/

Meki uvez

18.29 €

Ascension Lightwork Sarah Ince

/

Tvrdi uvez

25.77 €

Atmosfear-El Inframundo Ariel Gastaldi

/

Meki uvez

9.49 €

Generous Spaciousness - Responding to Gay Christians in the Church Wendy VanderWal-Gritter

/

Meki uvez

25.57 €

Christmas Carol Charles Dickens

/

Meki uvez

8.38 €

Other Daughter Lisa Gardner

/

Meki uvez

13.74 €

Književni savjetnik Libroamiko

Dobar dan, ja sam Libroamiko, mogu li vam pomoći?