Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Langue AnglaisAnglais
Livre Livre de poche
Livre Set Theory for Computing Domenico Cantone
Code Libristo: 01421647
Éditeurs Springer-Verlag New York Inc., septembre 2011
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasonin... Description détaillée
? points 394 b
160.89 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Trollflöjtens mystik Eddie Persson / Livre Livre de poche
common.buy 30.99 €
Umiliati e offesi Fëdor Dostoevskij / Livre Livre de poche
common.buy 12.49 €
Doktor Barthel Karte Wander- und Radwanderkarte Sächsischer Weinwanderweg Verlag Dr. Barthel / Articles imprimés Cartes géographiques
common.buy 10.90 €
Kniha o vědě Pickover Clifford A. / Livre Livre relié
common.buy 27.29 €
Top
Dictionnaire Raisonne de l'Architecture Francaise du XIe au XVIe siecle Tome IX Eugene Viollet-Le-Duc / Livre Livre de poche
common.buy 18.79 €
Professorin und Mutter - wie geht das? Birgit Piechulla / Livre Livre relié
common.buy 21.69 €
Untersuchungen zur mittelenglischen Sprach- und Literaturgeschichte Theodor Wissmann / Livre Livre de poche
common.buy 19.90 €

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.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Set Theory for Computing
Auteur Domenico Cantone, Eugenio Omodeo, Alberto Policriti
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2011
Nombre de pages 409
EAN 9781441929051
ISBN 1441929053
Code Libristo 01421647
Éditeurs Springer-Verlag New York Inc.
Poids 652
Dimensions 155 x 235 x 24

Catégories

Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Théorie des ensembles
Informatique et technologies de l’information > Informatique > Informatique théorique > Mathématiques pour les informaticiens
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Scalable Techniques for Formal Verification SANDIP RAY / Livre Livre de poche
common.buy 117.89 €
Reviews of Environmental Contamination and Toxicology George W. Ware / Livre Livre de poche
common.buy 107.29 €
Multi-Agent Programming Rafael H. Bordini / Livre Livre relié
common.buy 160.89 €
Probabilistic Logic Networks Ben Goertzel / Livre Livre relié
common.buy 160.89 €
Combinatorial Optimization in Communication Networks Maggie Xiaoyan Cheng / Livre Livre de poche
common.buy 160.89 €
Quality Management in ART Clinics Fabíola Bento / Livre Livre relié
common.buy 157.49 €
The Mystery of Edwin Drood DICKENS / Livre Livre de poche
common.buy 12.49 €
Proof, Computation and Agency Johan Van Benthem / Livre Livre de poche
common.buy 160.89 €
50 BEST JOBS FOR YOUR PERSONALITY LAURENCE SHATKIN / Livre Livre de poche
common.buy 40.89 €
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 / Livre Livre de poche
common.buy 24.89 €
Pioneering and Independent Spirit Debra Gold Hansen / Livre Livre de poche
common.buy 27.19 €
Acoustic Emission and Related Non-destructive Evaluation Techniques in the Fracture Mechanics of Concrete Masayasu Ohtsu / Livre Livre relié
common.buy 222.29 €
Galen: On Problematical Movements Vivian Nutton / Livre Livre de poche
common.buy 61.39 €
Chicken Soup for the Soul: My Very Good, Very Bad Cat Amy Newmark / Livre Livre de poche
common.buy 16.49 €
The Sewing Circles of Herat Christina Lamb / Livre Livre de poche
common.buy 16.29 €
The Harvest of Sorrow: Soviet Collectivization and the Terror-Famine Robert Conquest / Livre Livre de poche
common.buy 32.89 €
Computational Logic in Multi-Agent Systems Nils Bulling / Livre Livre de poche
common.buy 51.69 €
Top
Picnic at Hanging Rock Joan Lindsay / Livre Livre de poche
common.buy 14.39 €
Orchestrating the Nation Douglas Shadle / Livre Livre de poche
common.buy 33.99 €
The Trial Lawyer John Ellsworth / Livre Livre de poche
common.buy 17.29 €
Top
Evvie Drake Starts Over Linda Holmes / Livre Livre de poche
common.buy 12.49 €
Model for Gene Therapy Ward Merkeley / Livre Livre de poche
common.buy 16.89 €
Human Perception of Visual Information Bogdan Ionescu / Livre Livre relié
common.buy 182.19 €
The End Times Spiritual Warfare Mother & Refuge / Livre Livre de poche
common.buy 18.79 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?