Ir para o conteúdo

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International
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,...
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
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 45,37
€ 5,64 frete para USA

Mostrar detalhes

Descrição:
Springer, 2006-09-14. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Preço do item
€ 45,37
€ 5,64 frete para USA
Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference,...

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
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
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,...
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
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
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