Ir para o conteúdo

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International
Foto de Stock: A capa pode ser diferente.

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings Brochura - 2016

por Nadia Creignou (Editor); Daniel Le Berre (Editor)

Detalhes

  • Título Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
  • Autor Nadia Creignou (Editor); Daniel Le Berre (Editor)
  • Encadernação Brochura
  • Páginas 564
  • Volumes 1
  • Idioma ENG
  • Editorial Springer
  • Data de publicação 2016-06-12
  • Ilustrado Sim
  • Features Illustrated
  • ISBN 9783319409696 / 3319409697
  • Peso 1.8 libras (0.82 kg)
  • Dimensão 9.21 x 6.14 x 1.19 in. (23.39 x 15.60 x 3.02 cm)
  • Dewey Decimal Code 004.015

Mais exemplares à venda

Theory and Applications of Satisfiability Testing – SAT 2016

Theory and Applications of Satisfiability Testing – SAT 2016

por Edited by Nadia Creignou

  • Novo
  • Brochura
Condição
Novo
Encadernação
Paperback
ISBN 10 / ISBN 13
9783319409696 / 3319409697
Quantidade Disponível
1
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
€ 51,77
€ 9,54 frete para USA

Mostrar detalhes

Descrição:
Paperback / softback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented
Preço do item
€ 51,77
€ 9,54 frete para USA
Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference,...
Foto de Stock: A capa pode ser diferente.

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

por Nadia Creignou

  • Novo
  • Brochura
Condição
Novo
Encadernação
Paperback
ISBN 10 / ISBN 13
9783319409696 / 3319409697
Quantidade Disponível
1
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
€ 56,82
€ 11,88 frete para USA

Mostrar detalhes

Descrição:
Paperback / softback. New. This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions.
Preço do item
€ 56,82
€ 11,88 frete para USA
Theory and Applications of Satisfiability Testing - Sat 2016: 19th International Conference,...
Foto de Stock: A capa pode ser diferente.

Theory and Applications of Satisfiability Testing - Sat 2016: 19th International Conference, Bordeaux, France, July 5-9, 2016, Proceedings

por Creignou, Nadia (Editor)/ Le Berre, Daniel (Editor)

  • Novo
  • Brochura
Condição
Novo
Encadernação
Paperback
ISBN 10 / ISBN 13
9783319409696 / 3319409697
Quantidade Disponível
2
Livreiro
Exeter, Devon, United Kingdom
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 4 de 5 estrelas de Biblio clientes.
Preço do item
€ 74,19
€ 11,94 frete para USA

Mostrar detalhes

Descrição:
Springer-Verlag New York Inc, 2016. Paperback. New. 588 pages. 9.25x6.10x1.33 inches.
Preço do item
€ 74,19
€ 11,94 frete para USA
Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference,...
Foto de Stock: A capa pode ser diferente.

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-9, 2016, Proceedings (Lecture Notes in Computer Science)

  • Novo
Condição
Novo
ISBN 10 / ISBN 13
9783319409696 / 3319409697
Quantidade Disponível
4
Livreiro
Woodside, New York, United States
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 77,14
€ 3,76 frete para USA

Mostrar detalhes

Descrição:
Springer , pp. 539 . Papeback. New.
Preço do item
€ 77,14
€ 3,76 frete para USA