Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Set Theory for Computing Domenico Cantone
Libristo-code: 01421647
Uitgeverij Springer-Verlag New York Inc., september 2011
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasonin... Volledige beschrijving
? points 444 b
183.86 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Trollflöjtens mystik Eddie Persson / Boek Gebonden (paperback)
common.buy 29.67 €
Doktor Barthel Karte Wander- und Radwanderkarte Sächsischer Weinwanderweg Verlag Dr. Barthel / Drukwerk Kaart
common.buy 9.31 €
Umiliati e offesi Fëdor Dostoevskij / Boek Gebonden (paperback)
common.buy 11.94 €
Kniha o vědě Pickover Clifford A. / Boek Gebonden (harde band)
common.buy 26.23 €
TOP
Dictionnaire Raisonne de l'Architecture Francaise du XIe au XVIe siecle Tome IX Eugene Viollet-Le-Duc / Boek Gebonden (paperback)
common.buy 18.02 €
Professorin und Mutter - wie geht das? Birgit Piechulla / Boek Gebonden (harde band)
common.buy 21.87 €
Untersuchungen zur mittelenglischen Sprach- und Literaturgeschichte Theodor Wissmann / Boek Gebonden (paperback)
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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Set Theory for Computing
Auteur Domenico Cantone, Eugenio Omodeo, Alberto Policriti
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2011
Aantal pagina's 409
EAN 9781441929051
ISBN 1441929053
Libristo-code 01421647
Uitgeverij Springer-Verlag New York Inc.
Gewicht 652
Afmetingen 155 x 235 x 24

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Verzamelingenleer
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

History of Chemistry John Hudson / Boek Gebonden (paperback)
common.buy 130.47 €
Quality Management in ART Clinics Fabíola Bento / Boek Gebonden (harde band)
common.buy 183.86 €
Multi-Agent Programming Rafael H. Bordini / Boek Gebonden (harde band)
common.buy 183.86 €
Probabilistic Logic Networks Ben Goertzel / Boek Gebonden (harde band)
common.buy 183.86 €
Reviews of Environmental Contamination and Toxicology George W. Ware / Boek Gebonden (paperback)
common.buy 118.82 €
Scalable Techniques for Formal Verification SANDIP RAY / Boek Gebonden (paperback)
common.buy 113.96 €
Combinatorial Optimization in Communication Networks Maggie Xiaoyan Cheng / Boek Gebonden (paperback)
common.buy 183.86 €
The Sewing Circles of Herat Christina Lamb / Boek Gebonden (paperback)
common.buy 15.59 €
Chicken Soup for the Soul: My Very Good, Very Bad Cat Amy Newmark / Boek Gebonden (paperback)
common.buy 15.79 €
Galen: On Problematical Movements Vivian Nutton / Boek Gebonden (paperback)
common.buy 59.35 €
Acoustic Emission and Related Non-destructive Evaluation Techniques in the Fracture Mechanics of Concrete Masayasu Ohtsu / Boek Gebonden (harde band)
common.buy 211.61 €
Pioneering and Independent Spirit Debra Gold Hansen / Boek Gebonden (paperback)
common.buy 24.51 €
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 / Boek Gebonden (paperback)
common.buy 23.80 €
50 BEST JOBS FOR YOUR PERSONALITY LAURENCE SHATKIN / Boek Gebonden (paperback)
common.buy 39.60 €
Proof, Computation and Agency Johan Van Benthem / Boek Gebonden (paperback)
common.buy 154.58 €
Computational Logic in Multi-Agent Systems Nils Bulling / Boek Gebonden (paperback)
common.buy 49.63 €
The Harvest of Sorrow: Soviet Collectivization and the Terror-Famine Robert Conquest / Boek Gebonden (paperback)
common.buy 32.00 €
Music, Criticism, and the Challenge of History Kevin C. Karnes / Boek Gebonden (harde band)
common.buy 94.91 €
The Mystery of Edwin Drood DICKENS / Boek Gebonden (paperback)
common.buy 12.05 €
TOP
Picnic at Hanging Rock Joan Lindsay / Boek Gebonden (paperback)
common.buy 13.56 €
Orchestrating the Nation Douglas Shadle / Boek Gebonden (paperback)
common.buy 32.81 €
The Trial Lawyer John Ellsworth / Boek Gebonden (paperback)
common.buy 16.70 €
TOP
Evvie Drake Starts Over Linda Holmes / Boek Gebonden (paperback)
common.buy 12.15 €
Model for Gene Therapy Ward Merkeley / Boek Gebonden (paperback)
common.buy 16.30 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?