Descrição:
Springer, 2006-09-14. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments.
![Theory and Applications of Satisfiability Testing - SAT 2006: 9th International](https://d3525k1ryd2155.cloudfront.net/f/066/372/9783540372066.IN.0.m.jpg)
Foto de Stock: A capa pode ser diferente.
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings Brochura - 2006 - 2006th Edição
por Armin Biere (Editor); Carla P. Gomes (Editor)
Detalhes
- Título Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings
- Autor Armin Biere (Editor); Carla P. Gomes (Editor)
- Encadernação Brochura
- Número da edição 2006th
- Edição 2006
- Páginas 440
- Volumes 1
- Idioma ENG
- Editorial Springer
- Data de publicação 2006-07-26
- Ilustrado Sim
- Features Bibliography, Illustrated, Index, Table of Contents
- ISBN 9783540372066 / 3540372067
- Peso 1.46 libras (0.66 kg)
- Dimensão 9.31 x 6.07 x 0.98 in. (23.65 x 15.42 x 2.49 cm)
- Dewey Decimal Code 511.3
Mais exemplares à venda
![Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference,...](https://d3525k1ryd2155.cloudfront.net/f/066/372/9783540372066.IN.0.m.jpg)
Foto de Stock: A capa pode ser diferente.
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)
por Biere, Armin [Editor]; Gomes, Carla P. [Editor];
- Usado
- Muito Bom
- Brochura
- Condição
- Usado - Muito Bom
- Encadernação
- Paperback
- ISBN 10 / ISBN 13
- 9783540372066 / 3540372067
- Quantidade Disponível
- 1
- Livreiro
-
Spring Branch, Texas, United States
- Preço do item
-
€ 45,37€ 5,64 frete para USA
Mostrar detalhes
Preço do item
€ 45,37
€ 5,64
frete para USA
![Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference,...](https://d3525k1ryd2155.cloudfront.net/h/678/735/1588735678.0.m.jpg)
Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
por Armin Biere
- Novo
- Condição
- Novo
- ISBN 10 / ISBN 13
- 9783540372066 / 3540372067
- Quantidade Disponível
- 120
- Livreiro
-
Uxbridge, Greater London, United Kingdom
- Preço do item
-
€ 58,47€ 9,54 frete para USA
Mostrar detalhes
Descrição:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings.
Preço do item
€ 58,47
€ 9,54
frete para USA
![Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference,...](https://d3525k1ryd2155.cloudfront.net/f/066/372/9783540372066.IN.0.m.jpg)
Foto de Stock: A capa pode ser diferente.
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
por Armin Biere
- Novo
- Brochura
- Condição
- Novo
- Encadernação
- Paperback
- ISBN 10 / ISBN 13
- 9783540372066 / 3540372067
- Quantidade Disponível
- 10
- Livreiro
-
Southport, Merseyside, United Kingdom
- Preço do item
-
€ 71,53€ 11,88 frete para USA
Mostrar detalhes
Descrição:
Paperback / softback. New. This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks.
Preço do item
€ 71,53
€ 11,88
frete para USA