9783540727873 - theory and applications of satisfiability testing - sat 2007: 10th international conference lisbon, portugal, may 28-31, 2007 proceedings: 4501 (lecture notes in computer science, 4501) (18 resultados)
- Tapa blanda
Librería: GuthrieBooks, Spring Branch, Estados Unidos de AmericaGuthrieBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 33,08
Envío por EUR 6,06Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
- Tapa blanda
Librería: Romtrade Corp., STERLING HEIGHTS, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 49,94
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Tapa blanda
Librería: Basi6 International, Irving, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 49,94
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Tapa blanda
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 55,99
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa blanda
Librería: BargainBookStores, Grand Rapids, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,36
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, Lisbon, Portugal, May 28-31, 2007 Proceedings. Book.
- Tapa blanda
Librería: Books Puddle, New York, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 55,91
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Used. pp. 404.
- Tapa blanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 51,83
Envío por EUR 7,52Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Used. pp. 404 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
- Tapa blanda
Librería: Biblios, frankfurt am main, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 51,68
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Used. pp. 404.
- Tapa blanda
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 63,01
Envío por EUR 2,29Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,51
Envío por EUR 13,86Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,01
Envío por EUR 17,92Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,96
Envío por EUR 17,35Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 66,62
Envío por EUR 17,35Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Berlin, Heidelberg : Springer (Lecture Notes in Computer Science / LNCS 4501) 2007
- Tapa blanda
- Primera edición
Librería: Antiquariat Smock, Freiburg, AlemaniaAntiquariat Smock
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 50,00
Envío por EUR 33,90Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Gut. 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: ].
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 62,71
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Kartoniert / Broschiert. Condición: New. 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 .
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,35
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Theory and Applications of Satisfiability Testing - SAT 2007 | 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings | Joao Marques-Silva (u. a.) | Taschenbuch | xii | Englisch | 2007 | Springer | EAN 9783540727873 | Verantwortliche Person für die EU: Springer Verlag… GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,97
Envío por EUR 62,84Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis ability Testing. The International Conferences on Theory and Applications of Satis ability Testing (SAT) originated in 1996 as…a series of workshops 'on Satis ability.' By the third meeting in 2000, the workshop had attracted a mix of theorists and experimentalists whose common interest was the enhancement of our basic understanding of the theoretical underpinnings of the Satis ability problem as well as the development of scalable algorithms for its solution in a wide range of application domains. In 2002 a competition of SAT solvers was inaugurated to spur further algorithmic and implementation developments, and to create an eclectic collection of benchmarks. The competition-expanded in subsequent years to include pseudo Boolean, QBF, and MAX-SAT solvers-has become an integralpartofthesemeetings,addinganelementofexcitementandanticipation. Theinterplaybetweentheoryandapplication,aswellastheincreasedinterestin Satis abilityfromawider communityofresearchers,ledtothe naturalevolution of these initial workshops into the current conference format. The annual SAT conference is now universally recognized as 'the venue' for publishing the latest advances in SAT research.
Idioma: Inglés
Editorial: Springer, Berlin, Springer Berlin Heidelberg, Springer 2007
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis ability Testing. The International Conferences on Theory and Applications of Satis ability Testing (SAT) origin…ated in 1996 as a series of workshops 'on Satis ability.' By the third meeting in 2000, the workshop had attracted a mix of theorists and experimentalists whose common interest was the enhancement of our basic understanding of the theoretical underpinnings of the Satis ability problem as well as the development of scalable algorithms for its solution in a wide range of application domains. In 2002 a competition of SAT solvers was inaugurated to spur further algorithmic and implementation developments, and to create an eclectic collection of benchmarks. The competition-expanded in subsequent years to include pseudo Boolean, QBF, and MAX-SAT solvers-has become an integralpartofthesemeetings,addinganelementofexcitementandanticipation. Theinterplaybetweentheoryandapplication,aswellastheincreasedinterestin Satis abilityfromawider communityofresearchers,ledtothe naturalevolution of these initial workshops into the current conference format. The annual SAT conference is now universally recognized as 'the venue' for publishing the latest advances in SAT research. 388 pp. Englisch.
