Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Theory and Applications of Satisfiability Testing -- SAT 2012

15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Theory and Applications of Satisfiability Testing -- SAT 2012 Alessandro Cimatti
Código Libristo: 01661597
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2012
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Ap... Descrição completa
? points 132 b
54.51 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Novgorod in der russischen Literatur (bis zu den Dekabristen). Christian Lübke / Livro Capa mole
common.buy 53.40 €
Quo vadis. Kolorowa klasyka Henryk Sienkiewicz / Livro Capa mole
common.buy 6.88 €
Studien zur Entwicklung der ökonomischen Theorie. Bd.4 Harald Scherf / Livro Capa mole
common.buy 48.13 €
Em breve
Prototyp Ralf König / Livro Capa mole
common.buy 9.72 €
Nej vánoční písně a koledy UNIVERSAL CZECH / Áudio CD de áudio
common.buy 9.72 €
BEDRIJVEN IN DE EU EN IN TURKIJE ALS KANDIDAAT-LIDSTAAT / Livro Capa mole
common.buy 39.72 €
Validitat des Assessment Centers im Kontext der Persoenlichkeitspsychologie Thekla Marie Rippe / Livro Capa mole
common.buy 17.12 €
Woodstock der Blasmusik-Folge 9 Various / Áudio CD de áudio
common.buy 18.74 €
Mekhilta de-Rabbi Jishma'el Günter Stemberger / Livro Livro de capa dura
common.buy 45.29 €
Nutrición y peso óptimo para conseguir el máximo rendimiento Alberto Mu?oz Soler / Livro Capa mole
common.buy 24.21 €
Souhrn látky z češtiny Petr Šulc / Livro Capa mole
common.buy 5.56 €

This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Theory and Applications of Satisfiability Testing -- SAT 2012
Autor Alessandro Cimatti, Roberto Sebastiani
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2012
Número de páginas 500
EAN 9783642316111
ISBN 3642316115
Código Libristo 01661597
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 789
Dimensões 155 x 235 x 28

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Informática & tecnologia da informação > Ciência informática > Interação homem-computador > Conceção e utilizabilidade do interface com o utilizador
Matemática & ciência > Matemática > Matemática aplicada
Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Assyria from the Rise of the Empire to the Fall of Nineveh ZENAIDE ALE RAGOZIN / Livro Capa mole
common.buy 30.29 €
Power Play Danielle Steel / Livro Capa mole
common.buy 26.75 €
Paul and Jesus James D. Tabor / Livro Capa mole
common.buy 15.80 €
Principal
Framed Perspective Vol. 1 Marcos Mateu-mestre / Livro Capa mole
common.buy 42.66 €
The Mosaic Experiment: Bringing Old Testament Practices Out of Retirement Wendie Brockhaus / Livro Capa mole
common.buy 15.19 €
Lead, Follow or Get the Hell Out of the Way C. C. Ryder / Livro Capa mole
common.buy 22.39 €
FOSSILS, EVOLUTION AND my FAITH D. E. P. Jeyasingh / Livro Capa mole
common.buy 45.09 €
Ethnographic Worldviews Karen N. Barbour / Livro Capa mole
common.buy 108.73 €
Principal
The Hate U Give Angie Thomas / Livro Capa mole
common.buy 9.31 €
Em breve
Bebington Pat O'Brien / Livro Capa mole
common.buy 11.54 €
Principal
Inside the Box Drew Boyd / Livro Capa mole
common.buy 15.09 €
How to Make Shrunken Heads Marla Buchanan / Livro Capa mole
common.buy 10.12 €
EPA Could Improve Contingency Planning for Oil and Hazardous Substance Response U S Environnemental Protection Agency / Livro Capa mole
common.buy 17.52 €
A Kiss For The Cameras Olivia Jaymes / Livro Capa mole
common.buy 18.43 €
CFR 26, Part 1, 1.0 to 1.60, Internal Revenue, April 01, 2017 (Volume 1 of 22) OFFICE OF THE FEDERA / Livro Capa mole
common.buy 43.97 €
Ketogenic Diet and Intermittent Fasting Emily Simmons / Livro Livro de capa dura
common.buy 20.26 €
My Story Anson Mills / Livro Capa mole
common.buy 30.29 €
Arabians Training Horse Training Book for Arab Horse & Arabian Foals, Horse Training, Horse Grooming Horse Care, Horse Groundwork Arabian Horse Book Colt Hoofmane / Livro Capa mole
common.buy 19.55 €
Burning Woman Lucy H. Pearce / E-book Adobe ePub DRM
common.buy 8.10 €
Principal
TERRA INFINITA, The Detail of the Worlds and the Theory of the Other Domes Claudio Nocelli / Livro Capa mole
common.buy 21.17 €
Math Mammoth Grade 3 Answer Keys, Canadian Version Maria Miller1 / Livro Capa mole
common.buy 19.14 €
Raw Files: 1999 Benjamin Richardson / Livro Capa mole
common.buy 18.13 €
Netherlands Yearbook of International Law Volume 41, 2010 I.F. Dekker / Livro Capa mole
common.buy 108.73 €
Development of Mixed Refrigerant Cascade Freezer Ratre Kamlesh / Livro Capa mole
common.buy 43.47 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo