Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
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 phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Set Theory for Computing Domenico Cantone
Libristo kod: 01421647
Nakladnici Springer-Verlag New York Inc., rujan 2011
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasonin... Cijeli opis
? points 406 b
167.95 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

Do 30 dana za povrat

Kupci su kupili i

Trollflöjtens mystik Eddie Persson / Knjiga Meki uvez
common.buy 29.67 €
Doktor Barthel Karte Wander- und Radwanderkarte Sächsischer Weinwanderweg Verlag Dr. Barthel / Tiskanica Mapa
common.buy 9.31 €
Umiliati e offesi Fëdor Dostoevskij / Knjiga Meki uvez
common.buy 11.34 €
Kniha o vědě Pickover Clifford A. / Knjiga Tvrdi uvez
common.buy 24.71 €
Top
Dictionnaire Raisonne de l'Architecture Francaise du XIe au XVIe siecle Tome IX Eugene Viollet-Le-Duc / Knjiga Meki uvez
common.buy 18.02 €
Professorin und Mutter - wie geht das? Birgit Piechulla / Knjiga Tvrdi uvez
common.buy 19.64 €
Untersuchungen zur mittelenglischen Sprach- und Literaturgeschichte Theodor Wissmann / Knjiga Meki uvez
common.buy 17.92 €

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Set Theory for Computing
Autor Domenico Cantone, Eugenio Omodeo, Alberto Policriti
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2011
Broj stranica 409
EAN 9781441929051
ISBN 1441929053
Libristo kod 01421647
Nakladnici Springer-Verlag New York Inc.
Težina 652
Dimenzije 155 x 235 x 24

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Set theory
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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

History of Chemistry John Hudson / Knjiga Meki uvez
common.buy 119.22 €
Quality Management in ART Clinics Fabíola Bento / Knjiga Tvrdi uvez
common.buy 167.95 €
Multi-Agent Programming Rafael H. Bordini / Knjiga Tvrdi uvez
common.buy 167.95 €
Probabilistic Logic Networks Ben Goertzel / Knjiga Tvrdi uvez
common.buy 167.95 €
Reviews of Environmental Contamination and Toxicology George W. Ware / Knjiga Meki uvez
common.buy 108.49 €
Scalable Techniques for Formal Verification SANDIP RAY / Knjiga Meki uvez
common.buy 108.59 €
Combinatorial Optimization in Communication Networks Maggie Xiaoyan Cheng / Knjiga Meki uvez
common.buy 167.95 €
The Sewing Circles of Herat Christina Lamb / Knjiga Meki uvez
common.buy 15.59 €
Chicken Soup for the Soul: My Very Good, Very Bad Cat Amy Newmark / Knjiga Meki uvez
common.buy 15.79 €
Galen: On Problematical Movements Vivian Nutton / Knjiga Meki uvez
common.buy 56.52 €
Acoustic Emission and Related Non-destructive Evaluation Techniques in the Fracture Mechanics of Concrete Masayasu Ohtsu / Knjiga Tvrdi uvez
common.buy 199.86 €
Pioneering and Independent Spirit Debra Gold Hansen / Knjiga Meki uvez
common.buy 23.29 €
Vikram and Vampire; Or, Tales of Hindu Devilry. Adapted by Captain Sir Richard F. Burton [From the Baita L-Pachi Si ] ... Edited by His Wife, Isabel B Anonymous / Knjiga Meki uvez
common.buy 23.80 €
50 BEST JOBS FOR YOUR PERSONALITY LAURENCE SHATKIN / Knjiga Meki uvez
common.buy 37.88 €
Proof, Computation and Agency Johan Van Benthem / Knjiga Meki uvez
common.buy 154.58 €
Computational Logic in Multi-Agent Systems Nils Bulling / Knjiga Meki uvez
common.buy 49.63 €
The Harvest of Sorrow: Soviet Collectivization and the Terror-Famine Robert Conquest / Knjiga Meki uvez
common.buy 32.00 €
Music, Criticism, and the Challenge of History Kevin C. Karnes / Knjiga Tvrdi uvez
common.buy 90.15 €
The Mystery of Edwin Drood DICKENS / Knjiga Meki uvez
common.buy 12.05 €
Top
Picnic at Hanging Rock Joan Lindsay / Knjiga Meki uvez
common.buy 13.56 €
Orchestrating the Nation Douglas Shadle / Knjiga Meki uvez
common.buy 31.19 €
The Trial Lawyer John Ellsworth / Knjiga Meki uvez
common.buy 16.70 €
Top
Evvie Drake Starts Over Linda Holmes / Knjiga Meki uvez
common.buy 12.15 €
Model for Gene Therapy Ward Merkeley / Knjiga Meki uvez
common.buy 16.30 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?