Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Set Theory for Computing

Name: Set Theory for Computing
Brand: Springer-Verlag New York Inc.
SKU: 01421647
Price: 154.55 EUR
Availability: InStock
Author: Domenico Cantone
ISBN: 9781441929051

From Decision Procedures to Declarative Programming with Sets

Domenico Cantone

Eugenio Omodeo

Alberto Policriti

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01421647

373 b

154.55 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Professorin und Mutter - wie geht das? Birgit Piechulla

Hardcover

20.85 €

Untersuchungen zur mittelenglischen Sprach- und Literaturgeschichte Theodor Wissmann

Broschur

17.92 €

Trollflöjtens mystik Eddie Persson

Broschur

29.67 €

Kniha o vědě Pickover Clifford A.

Hardcover

26.22 €

Umiliati e offesi Fëdor Dostoevskij

Broschur

11.94 €

Doktor Barthel Karte Wander- und Radwanderkarte Sächsischer Weinwanderweg Verlag Dr. Barthel

Karte

9.31 €

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

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

Reviews of Environmental Contamination and Toxicology George W. Ware

Broschur

103.10 €

Multi-Agent Programming Rafael H. Bordini

Hardcover

154.55 €

Probabilistic Logic Networks Ben Goertzel

Hardcover

154.55 €

Combinatorial Optimization in Communication Networks Maggie Xiaoyan Cheng

Broschur

154.55 €

Quality Management in ART Clinics Fabíola Bento

Hardcover

151.21 €

Music, Criticism, and the Challenge of History Kevin C. Karnes

Hardcover

94.79 €

Computational Logic in Multi-Agent Systems Nils Bulling

Broschur

49.62 €

Proof, Computation and Agency Johan Van Benthem

Broschur

154.55 €

50 BEST JOBS FOR YOUR PERSONALITY LAURENCE SHATKIN

Broschur

41.41 €

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

Broschur

25.21 €