Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Limba englezăengleză
Carte Carte broșată
Carte Set Theory for Computing Domenico Cantone
Codul Libristo: 01421647
Editura Springer-Verlag New York Inc., septembrie 2011
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasonin... Descrierea completă
? points 425 b
920.85 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Trollflöjtens mystik Eddie Persson / Carte Carte broșată
common.buy 164.50 lei
Doktor Barthel Karte Wander- und Radwanderkarte Sächsischer Weinwanderweg Verlag Dr. Barthel / Materiale tipărite Hartă
common.buy 52.02 lei
Umiliati e offesi Fëdor Dostoevskij / Carte Carte broșată
common.buy 62.42 lei
Kniha o vědě Pickover Clifford A. / Carte Copertă tare
common.buy 137.13 lei
Top
Dictionnaire Raisonne de l'Architecture Francaise du XIe au XVIe siecle Tome IX Eugene Viollet-Le-Duc / Carte Carte broșată
common.buy 100.09 lei
Professorin und Mutter - wie geht das? Birgit Piechulla / Carte Copertă tare
common.buy 108.93 lei
Untersuchungen zur mittelenglischen Sprach- und Literaturgeschichte Theodor Wissmann / Carte Carte broșată
common.buy 99.67 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Set Theory for Computing
Autor Domenico Cantone, Eugenio Omodeo, Alberto Policriti
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 409
EAN 9781441929051
ISBN 1441929053
Codul Libristo 01421647
Editura Springer-Verlag New York Inc.
Greutatea 652
Dimensiuni 155 x 235 x 24

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

History of Chemistry John Hudson / Carte Carte broșată
common.buy 653.75 lei
Quality Management in ART Clinics Fabíola Bento / Carte Copertă tare
common.buy 920.85 lei
Multi-Agent Programming Rafael H. Bordini / Carte Copertă tare
common.buy 920.85 lei
Probabilistic Logic Networks Ben Goertzel / Carte Copertă tare
common.buy 920.85 lei
Reviews of Environmental Contamination and Toxicology George W. Ware / Carte Carte broșată
common.buy 594.96 lei
Scalable Techniques for Formal Verification SANDIP RAY / Carte Carte broșată
common.buy 568.32 lei
Combinatorial Optimization in Communication Networks Maggie Xiaoyan Cheng / Carte Carte broșată
common.buy 920.85 lei
The Sewing Circles of Herat Christina Lamb / Carte Carte broșată
common.buy 86.25 lei
Chicken Soup for the Soul: My Very Good, Very Bad Cat Amy Newmark / Carte Carte broșată
common.buy 87.29 lei
Galen: On Problematical Movements Vivian Nutton / Carte Carte broșată
common.buy 296.02 lei
Acoustic Emission and Related Non-destructive Evaluation Techniques in the Fracture Mechanics of Concrete Masayasu Ohtsu / Carte Copertă tare
common.buy 1 111.37 lei
Pioneering and Independent Spirit Debra Gold Hansen / Carte Carte broșată
common.buy 122.25 lei
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 / Carte Carte broșată
common.buy 131.93 lei
50 BEST JOBS FOR YOUR PERSONALITY LAURENCE SHATKIN / Carte Carte broșată
common.buy 198.52 lei
Proof, Computation and Agency Johan Van Benthem / Carte Carte broșată
common.buy 853.11 lei
Computational Logic in Multi-Agent Systems Nils Bulling / Carte Carte broșată
common.buy 274.06 lei
The Harvest of Sorrow: Soviet Collectivization and the Terror-Famine Robert Conquest / Carte Carte broșată
common.buy 174.59 lei
Music, Criticism, and the Challenge of History Kevin C. Karnes / Carte Copertă tare
common.buy 496.84 lei
The Mystery of Edwin Drood DICKENS / Carte Carte broșată
common.buy 66.48 lei
Top
Picnic at Hanging Rock Joan Lindsay / Carte Carte broșată
common.buy 75.64 lei
Orchestrating the Nation Douglas Shadle / Carte Carte broșată
common.buy 163.56 lei
The Trial Lawyer John Ellsworth / Carte Carte broșată
common.buy 91.66 lei
Top
Evvie Drake Starts Over Linda Holmes / Carte Carte broșată
common.buy 63.67 lei
Model for Gene Therapy Ward Merkeley / Carte Carte broșată
common.buy 89.68 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?