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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.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 394 b
854.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Professorin und Mutter - wie geht das? Birgit Piechulla / Carte Copertă tare
common.buy 109.17 lei
Doktor Barthel Karte Wander- und Radwanderkarte Sächsischer Weinwanderweg Verlag Dr. Barthel / Materiale tipărite Hartă
common.buy 52.13 lei
Trollflöjtens mystik Eddie Persson / Carte Carte broșată
common.buy 164.85 lei
Untersuchungen zur mittelenglischen Sprach- und Literaturgeschichte Theodor Wissmann / Carte Carte broșată
common.buy 99.89 lei
Kniha o vědě Pickover Clifford A. / Carte Copertă tare
common.buy 137.43 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

Reviews of Environmental Contamination and Toxicology George W. Ware / Carte Carte broșată
common.buy 570.50 lei
Multi-Agent Programming Rafael H. Bordini / Carte Copertă tare
common.buy 854.96 lei
Probabilistic Logic Networks Ben Goertzel / Carte Copertă tare
common.buy 854.96 lei
Combinatorial Optimization in Communication Networks Maggie Xiaoyan Cheng / Carte Carte broșată
common.buy 854.96 lei
Quality Management in ART Clinics Fabíola Bento / Carte Copertă tare
common.buy 837.34 lei
Music, Criticism, and the Challenge of History Kevin C. Karnes / Carte Copertă tare
common.buy 497.92 lei
Computational Logic in Multi-Agent Systems Nils Bulling / Carte Carte broșată
common.buy 274.66 lei
Proof, Computation and Agency Johan Van Benthem / Carte Carte broșată
common.buy 854.96 lei
50 BEST JOBS FOR YOUR PERSONALITY LAURENCE SHATKIN / Carte Carte broșată
common.buy 198.95 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 132.21 lei
Pioneering and Independent Spirit Debra Gold Hansen / Carte Carte broșată
common.buy 144.62 lei
Galen: On Problematical Movements Vivian Nutton / Carte Carte broșată
common.buy 296.66 lei
The Sewing Circles of Herat Christina Lamb / Carte Carte broșată
common.buy 86.44 lei
The Harvest of Sorrow: Soviet Collectivization and the Terror-Famine Robert Conquest / Carte Carte broșată
common.buy 169.13 lei
Nature for Sale Giovanna Ricoveri / Carte Copertă tare
common.buy 623.88 lei
The Trial Lawyer John Ellsworth / Carte Carte broșată
common.buy 91.86 lei
Evvie Drake Starts Over Linda Holmes / Carte Carte broșată
common.buy 66.41 lei
Model for Gene Therapy Ward Merkeley / Carte Carte broșată
common.buy 89.88 lei
Human Perception of Visual Information Bogdan Ionescu / Carte Copertă tare
common.buy 968.52 lei
The End Times Spiritual Warfare Mother & Refuge / Carte Carte broșată
common.buy 99.68 lei
Smart Nation Abdullah Alfaiz / Carte Carte broșată
common.buy 1 244.55 lei
Curând
The Making Of Global Capitalism Leo Panitch / Carte Carte broșată
common.buy 78.41 lei
Computational Intelligence in Multimedia Processing: Recent Advances Aboul-Ella Hassanien / Carte Copertă tare
common.buy 1 361.13 lei
John Maitland of Thirlestane and the Foundation of the Stewart Despotism in Scotland M. Du P. Lee / Carte Copertă tare
common.buy 671.44 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