Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Sprache EnglischEnglisch
Buch Broschur
Buch Set Theory for Computing Domenico Cantone
Libristo-Code: 01421647
Verlag Springer-Verlag New York Inc., September 2011
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasonin... Vollständige Beschreibung
? points 444 b
181.49 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Trollflöjtens mystik Eddie Persson / Buch Broschur
common.buy 30.99 €
Doktor Barthel Karte Wander- und Radwanderkarte Sächsischer Weinwanderweg Verlag Dr. Barthel / Drucksachen Karte
common.buy 10.90 €
Umiliati e offesi Fëdor Dostoevskij / Buch Broschur
common.buy 12.29 €
Kniha o vědě Pickover Clifford A. / Buch Hardcover
common.buy 27.29 €
Top
Dictionnaire Raisonne de l'Architecture Francaise du XIe au XVIe siecle Tome IX Eugene Viollet-Le-Duc / Buch Broschur
common.buy 17.79 €
Professorin und Mutter - wie geht das? Birgit Piechulla / Buch Hardcover
common.buy 21.59 €
Untersuchungen zur mittelenglischen Sprach- und Literaturgeschichte Theodor Wissmann / Buch Broschur
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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Set Theory for Computing
Autor Domenico Cantone, Eugenio Omodeo, Alberto Policriti
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2011
Anzahl der Seiten 409
EAN 9781441929051
ISBN 1441929053
Libristo-Code 01421647
Verlag Springer-Verlag New York Inc.
Gewicht 652
Abmessungen 155 x 235 x 24

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mengenlehre
EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

History of Chemistry John Hudson / Buch Broschur
common.buy 128.79 €
Quality Management in ART Clinics Fabíola Bento / Buch Hardcover
common.buy 181.49 €
Multi-Agent Programming Rafael H. Bordini / Buch Hardcover
common.buy 181.49 €
Probabilistic Logic Networks Ben Goertzel / Buch Hardcover
common.buy 181.49 €
Reviews of Environmental Contamination and Toxicology George W. Ware / Buch Broschur
common.buy 117.29 €
Scalable Techniques for Formal Verification SANDIP RAY / Buch Broschur
common.buy 117.89 €
Combinatorial Optimization in Communication Networks Maggie Xiaoyan Cheng / Buch Broschur
common.buy 181.49 €
The Sewing Circles of Herat Christina Lamb / Buch Broschur
common.buy 16.29 €
Chicken Soup for the Soul: My Very Good, Very Bad Cat Amy Newmark / Buch Broschur
common.buy 16.49 €
Galen: On Problematical Movements Vivian Nutton / Buch Broschur
common.buy 61.39 €
Acoustic Emission and Related Non-destructive Evaluation Techniques in the Fracture Mechanics of Concrete Masayasu Ohtsu / Buch Hardcover
common.buy 220.49 €
Pioneering and Independent Spirit Debra Gold Hansen / Buch Broschur
common.buy 25.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 / Buch Broschur
common.buy 24.89 €
50 BEST JOBS FOR YOUR PERSONALITY LAURENCE SHATKIN / Buch Broschur
common.buy 40.89 €
Proof, Computation and Agency Johan Van Benthem / Buch Broschur
common.buy 160.89 €
Computational Logic in Multi-Agent Systems Nils Bulling / Buch Broschur
common.buy 51.69 €
The Harvest of Sorrow: Soviet Collectivization and the Terror-Famine Robert Conquest / Buch Broschur
common.buy 32.89 €
Music, Criticism, and the Challenge of History Kevin C. Karnes / Buch Hardcover
common.buy 98.39 €
The Mystery of Edwin Drood DICKENS / Buch Broschur
common.buy 12.49 €
Top
Picnic at Hanging Rock Joan Lindsay / Buch Broschur
common.buy 14.29 €
Orchestrating the Nation Douglas Shadle / Buch Broschur
common.buy 33.99 €
The Trial Lawyer John Ellsworth / Buch Broschur
common.buy 17.29 €
Top
Evvie Drake Starts Over Linda Holmes / Buch Broschur
common.buy 12.49 €
Model for Gene Therapy Ward Merkeley / Buch Broschur
common.buy 16.89 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?