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 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Decision Procedures

An Algorithmic Point of View

Língua InglêsInglês
Livro Livro de capa dura
Livro Decision Procedures Daniel Kroening
Código Libristo: 02981250
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janeiro 2017
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 104 b
43.24 €
Armazenamento externo Envio em 10-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Talsperrenstatik Othmar J. Rescher / Livro Capa mole
common.buy 47.39 €
עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01 Chaim Vital Ha'ari / Livro Capa mole
common.buy 14.07 €
Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe / Livro Capa mole
common.buy 0.50 €
Principal
12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości Opracowanie zbiorowe / Livro Livro de capa dura
common.buy 7.89 €
Gift from the Trees Mammal Hands Áudio Vinil de áudio
common.buy 28.75 €
Meie keelesild. Viron kielen oppikirja Viive Taro / Livro Capa mole
common.buy 59.75 €
Prolongations François-Guillaume Lorrain / Livro Capa mole
common.buy 16.70 €
Mémoire et cuisine des Pieds-noirs - la nostalgérie Ehrohlt Livro Capa mole
common.buy 21.97 €
Das kleine WIR im Kindergarten Daniela Kunkel / Livro Livro de capa dura
common.buy 11.23 €
Ordnung im Mund macht gesund Irmgard Simma-Kletschka / Livro Capa mole
common.buy 22.17 €
Ukulele Melody-Chord-Concept Patrick Steinbach / Livro Capa mole
common.buy 16.60 €
Basiswissen Mathematik auf Arabisch und Deutsch - اساسيات في الرياضيات باللغتين العربية والالمانية Moritz Weber / Livro Capa mole
common.buy 21.77 €
Puedo soñar contigo BLUE JEANS / Livro Livro de capa dura
common.buy 9.81 €
Sulla strada di Bob Dylan. Memorie dal Greenwich Village Suze Rotolo / Livro Capa mole
common.buy 20.35 €
Biblia Para Ninos Epoca Editorial / Livro Capa mole
common.buy 5.66 €
Diferencia de la filosofía de la naturaleza en Demócrito y en Epicuro y otros escritos Karl Marx / Livro Capa mole
common.buy 15.59 €
Hafenmanöver Schritt für Schritt Lars Bolle / Livro Capa mole
common.buy 18.93 €

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.§

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 Decision Procedures
Autor Daniel Kroening, Ofer Strichman
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 2017
Número de páginas 356
EAN 9783662504963
ISBN 3662504960
Código Libristo 02981250
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 722
Dimensões 165 x 244 x 26

Categorias

Matemática & ciência > Matemática > Otimização
Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Sistemas operativos
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

Translation in Modern Japan Indra Levy / Livro Capa mole
common.buy 71.60 €
Aromatherapy for Health Professionals Revised Reprint Len Price / Livro Capa mole
common.buy 53.67 €
Principal
Indestructibles: Hello, Farm! Amy Pixton / Livro Capa mole
common.buy 4.45 €
Principal
Anthony Bourdain's Hungry Ghosts Anthony Bourdain / Livro Livro de capa dura
common.buy 12.85 €
What is to be done? Vladimir Ilyich Lenin / Livro Capa mole
common.buy 10.42 €
Research Design and Statistical Analysis Caren M. Rotello / Livro Livro de capa dura
common.buy 181.49 €
Principal
Hero of Ages Brandon Sanderson / Livro Capa mole
common.buy 7.69 €
Hey, Kitty Kitty! Brenda Ponnay / Livro Capa mole
common.buy 11.84 €
Principal
William Shakespeare: Famous Loving Words Insight Editions / Livro Livro de capa dura
common.buy 8.50 €
Americans and Germans in Bastogne Gary Sterne / Livro Livro de capa dura
common.buy 23.28 €
Gedichte Gustav Schwab / Livro Capa mole
common.buy 26.22 €
Kuniyoshi Matthi Forrer / Livro Livro de capa dura
common.buy 97.32 €
Homecoming Colin Grant / Livro Capa mole
common.buy 12.04 €
Gurdjieff and the Fourth Way Grant / Livro Livro de capa dura
common.buy 19.03 €
Principal
Lost & Found: Based on a True Story / Livro Livro de capa dura
common.buy 12.24 €
Netter's Physiology Coloring Book Susan Mulroney / Livro Capa mole
common.buy 19.44 €
Principal
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Livro Capa mole
common.buy 18.83 €
Principal
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Livro Capa mole
common.buy 31.39 €
Skate Park Plans Alan Brown / Livro Capa mole
common.buy 6.67 €
Hamilton by Lin-Manuel Miranda SHEILA LISCHWE / Livro Capa mole
common.buy 12.85 €
Poetic Spanking Anthony Toomer / Livro Livro de capa dura
common.buy 27.74 €
Aberdeen European Nights ALLY BEGG / Livro Livro de capa dura
common.buy 17.92 €
Basic and Clinical Pharmacology 16th Edition Vanderah / Livro Capa mole
common.buy 69.88 €
Principal
The Complete Guide to Flags of the World, 4th Edition Clive Carpenter / Livro Capa mole
common.buy 12.04 €

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