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: ]. N� de ref. del art�culo 38001

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Theory and Applications of Satisfiability ...

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

A�o de publicaci�n: 2007

Encuadernaci�n: Encuadernaci�n de tapa blanda

Condici�n: Gut

Edici�n: 1� Edici�n

Acerca de

Sinopsis:

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.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

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

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Antiquariat Smock
Germany

Condiciones de venta:

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...

M�s informaci�n

Condiciones de env�o:

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.

Informaci�n detallada sobre el vendedor

M�todos de pago
aceptados por la librer�a

Cheque Dinero en Efectivo PayPal Factura Transferencia Bancaria

A�adir una petici�n

Art�culos relacionados a 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 -

Usado - Encuadernaci�n de tapa blanda

Informaci�n empresarial del vendedor