Formateinband: Broschierte Ausgabe XI, 384 S. (23,5 cm) 1st Edition; Buch etwas verzogen; sonst in gutem Zustand. Sprache: Englisch Gewicht in Gramm: 650 [Stichw�rter: ]. Bestandsnummer des Verk�ufers 38001

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Theory and Applications of Satisfiability ...

Verlag: Berlin, Heidelberg : Springer (Lecture Notes in Computer Science / LNCS 4501)

Erscheinungsdatum: 2007

Einband: Softcover

Zustand: Gut

Auflage: 1. Auflage

�ber diesen Titel

Inhaltsangabe:

Book by None

Rese�a del editor:

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May 2007.

The 22 revised full papers presented together with 12 revised short papers and two invited talks cover all current research issues in propositional and quantified Boolean formula satisfiability testing.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Antiquariat Smock im Freiburger Stadtteil Herdern - Ladengesch�ft und Versand

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Antiquariat Smock
Germany

Gesch�ftsbedingungen:

Das Angebot ist freibleibend. Bestellungen werden in der Reihenfolge ihres Einganges bearbeitet und unverz�glich �ber die Deutsche Post oder DHL versendet.

Der Versand erfolgt auf Rechnung, in bestimmten F�llen kann Vorkasse erbeten werden. Wahlweise ist auch die Zahlung �ber Paypal m�glich.

Die Zust�nde der B�cher sind im Detail und nach bestem Gewissen beschrieben und im Preis ber�cksichtigt. Wenn nicht anders angegeben, handelt es sich um die Originaleinb�nde der B�cher, private Bindungen wer...

Mehr Information

Versandinformationen:

Die Ware wird umgehend nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbest�tigung. Die Versandkostenpauschalen basieren auf Durchschnittswerten f�r unter 1 kg schwere B�cher. �ber abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls vom Verk�ufer informiert.

Impressum & Info zum Verk�ufer

Zahlungsarten
akzeptiert von diesem Verk�ufer

Vorauskasse Bar PayPal Rechnung Bank�berweisung

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Theory and Applications of Satisfiability Testing -...

Theory and Applications of Satisfiability Testing - SAT 2007. 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

Marques-Silva, Jo�o and Karem A (Ed.) Sakallah -

Gebraucht - Softcover

Unternehmensdaten des Verk�ufers