Importe total (1 artículo artículos):
Destino del pedido:
theory applications satisfiability testing (238 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (238)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
Más atributos
- Primera edición (1)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (97)
- No impresión bajo demanda (190)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings . Computer Science and General Issues)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 7,41
Convertir monedaEUR 7,05 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 28,86
Usado desde EUR 14,46
Encuentre también Tapa blanda
-
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected . Computer Science and General Issues)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 13,87
Convertir monedaEUR 7,05 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 57,60
Usado desde EUR 20,92
Encuentre también Tapa blanda
-
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings . Computer Science and General Issues, 4501)
Publicado por Springer (edition 2007), 2007
ISBN 10: 3540727876 ISBN 13: 9783540727873
Idioma: Inglés
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 42,68
Convertir monedaGratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. 2007. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 46,36
Usado desde EUR 42,68
Encuentre también Tapa blanda Original o primera edición
-
Theory And Applications Of Satisfiability Testing : 8th International Conference, Sat 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings (lecture Notes In Computer Science)
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 46,36
Convertir monedaGratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondició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.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 46,36
Usado desde EUR 49,12
Encuentre también Tapa dura Tapa blanda
-
Theory and Applications of Satisfiability Testing -- Sat 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 44,09
Convertir monedaEUR 2,33 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 58,01
Usado desde EUR 46,42
Encuentre también Tapa blanda
-
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture . Computer Science and General Issues)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 44,57
Convertir monedaEUR 7,05 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 58,01
Usado desde EUR 51,62
Encuentre también Tapa blanda
-
Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Theoretical Computer Science and General Issues)
Librería: Swan Trading Company, GEORGETOWN, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 53,52
Convertir monedaGratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Very Good. This softcover has clean, crisp covers. Spine is tight and without reading crease. Pages appear bright and unmarked. We ship FAST!
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 72,11
Usado desde EUR 53,52
Encuentre también Tapa blanda
-
Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected ... (Lecture Notes in Computer Science, 2919)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 54,49
Convertir monedaEUR 3,52 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 58,01
Usado desde EUR 60,56
Encuentre también Tapa blanda
-
Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ... Computer Science and General Issues)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 54,49
Convertir monedaEUR 3,52 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 58,01
Usado desde EUR 174,10
Encuentre también Tapa blanda
-
Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, ... Computer Science and General Issues)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 54,49
Convertir monedaEUR 3,52 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 58,01
Usado desde EUR 59,97
Encuentre también Tapa blanda
-
Theory and Applications of Satisfiability Testing - SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, ... Computer Science and General Issues)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 54,49
Convertir monedaEUR 3,52 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 58,01
Usado desde EUR 59,87
Encuentre también Tapa blanda
-
Theory and Applications of Satisfiability Testing - SAT 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings (Theoretical Computer Science and General Issues)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 54,49
Convertir monedaEUR 3,52 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 58,01
Usado desde EUR 60,39
Encuentre también Tapa blanda
-
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings (Theoretical Computer Science and General Issues)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 54,49
Convertir monedaEUR 3,52 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 58,01
Usado desde EUR 84,36
Encuentre también Tapa blanda
-
Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings (Theoretical Computer Science and General Issues)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 54,49
Convertir monedaEUR 3,52 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 58,01
Usado desde EUR 84,79
Encuentre también Tapa blanda
-
Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Theoretical Computer Science and General Issues)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 54,76
Convertir monedaEUR 3,52 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 58,28
Usado desde EUR 175,29
Encuentre también Tapa blanda
-
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings (Lecture Notes in Computer Science, 5584)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 54,76
Convertir monedaEUR 3,52 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 58,28
Usado desde EUR 84,79
Encuentre también Tapa blanda
-
Theory and Applications of Satisfiability Testing - SAT 2010 (Paperback)
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642141854 ISBN 13: 9783642141850
Idioma: Inglés
Librería: Grand Eagle Retail, Fairfield, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 66,94
Convertir monedaGratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This volume contains the papers presented at SAT 2010, the 13th International Conference on Theory and Applications of Satis?ability Testing. SAT 2010 was held as part of the 2010 Federated Logic Conference (FLoC) and was hosted by the School of Informatics at the University of Edinburgh, Scotland. In addition to SAT, FLoC included the conferences CAV, CSF, ICLP, IJCAR, ITP, LICS, RTA, as well as over 50 workshops. A?liated with SAT were the workshops LaSh (Logic and Search, co-a?liated with ICLP), LoCoCo (Logics for C- ponent Con?guration), POS (Pragmatics Of SAT), PPC (Propositional Proof Complexity: Theory and Practice), and SMT (Satis?ability Modulo Theories, co-a?liated with CAV). SAT featured three competitions: the MAX-SAT Ev- uation 2010, the Pseudo-Boolean Competition 2010, and the SAT-Race 2010. Many hard combinatorial problems such as problems arising in veri?cation and planning can be naturally expressed within the framework of propositional satis?ability. Due to its wide applicability and enormous progress in the perf- mance of solving methods, satis?ability has become one of today's most imp- tant core technologies.The SAT 2010 call for papers invited the submission of original practical and theoretical research on satis?ability. Topics included but were not limited to proof systems and proof complexity, search algorithms and heuristics, analysis of algorithms, combinatorial theory of satis?ability, random instances vs structured instances, problem encodings, industrial applications, applicationsto combinatorics,solvers,simpli?ers andtools,casestudies and- piricalresults,exactandparameterizedalgorithms. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 66,94
Usado desde EUR 104,63
Encuentre también Tapa blanda
-
Theory and Applications of Satisfiability Testing - SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Theoretical Computer Science and General Issues)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 115,57
Convertir monedaEUR 3,52 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 119,09
Encuentre también Tapa blanda
