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
![Theory and Applications of Satisfiability Testing - SAT 2016: 19th International](https://d3525k1ryd2155.cloudfront.net/f/696/409/9783319409696.IN.0.m.jpg)
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](https://d3525k1ryd2155.cloudfront.net/h/989/845/1570845989.0.m.jpg)
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
- Preço do item
-
€ 51,77€ 9,54 frete para USA
Mostrar detalhes
Preço do item
€ 51,77
€ 9,54
frete para USA
![Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference,...](https://d3525k1ryd2155.cloudfront.net/f/696/409/9783319409696.IN.0.m.jpg)
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
- 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,...](https://d3525k1ryd2155.cloudfront.net/f/696/409/9783319409696.IN.0.m.jpg)
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
- 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,...](https://d3525k1ryd2155.cloudfront.net/f/696/409/9783319409696.IN.0.m.jpg)
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
- 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