Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Decision Procedures

An Algorithmic Point of View

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Decision Procedures Daniel Kroening
Libristo kód: 02981250
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, január 2017
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 116 b
48.00 €
Skladom u dodávateľa Odosielame za 10-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Talsperrenstatik Othmar J. Rescher / Kniha Brožovaná
common.buy 53.16 €
עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01 Chaim Vital Ha'ari / Kniha Brožovaná
common.buy 15.69 €
Top
12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości Opracowanie zbiorowe / Kniha Pevná
common.buy 10.12 €
Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe / Kniha Brožovaná
common.buy 0.70 €
Gift from the Trees Mammal Hands Audio Audio vinyl
common.buy 32.00 €
Kiss of the Spider Woman / Audio Audio CD
common.buy 22.07 €
Meie keelesild. Viron kielen oppikirja Viive Taro / Kniha Brožovaná
common.buy 63.29 €
Prolongations François-Guillaume Lorrain / Kniha Brožovaná
common.buy 19.74 €
Mémoire et cuisine des Pieds-noirs - la nostalgérie Ehrohlt Kniha Brožovaná
common.buy 26.53 €
Das kleine WIR im Kindergarten Daniela Kunkel / Kniha Pevná
common.buy 12.75 €
Ordnung im Mund macht gesund Irmgard Simma-Kletschka / Kniha Brožovaná
common.buy 25.11 €
Ukulele Melody-Chord-Concept Patrick Steinbach / Kniha Brožovaná
common.buy 18.83 €
Basiswissen Mathematik auf Arabisch und Deutsch - اساسيات في الرياضيات باللغتين العربية والالمانية Moritz Weber / Kniha Brožovaná
common.buy 25.51 €
Puedo soñar contigo BLUE JEANS / Kniha Pevná
common.buy 11.03 €
Sulla strada di Bob Dylan. Memorie dal Greenwich Village Suze Rotolo / Kniha Brožovaná
common.buy 25.31 €
Biblia Para Ninos Epoca Editorial / Kniha Brožovaná
common.buy 6.27 €
Diferencia de la filosofía de la naturaleza en Demócrito y en Epicuro y otros escritos Karl Marx / Kniha Brožovaná
common.buy 19.03 €
Els altres catalans : edició no censurada Francisco Candel / Kniha Brožovaná
common.buy 26.53 €
Hafenmanöver Schritt für Schritt Lars Bolle / Kniha Brožovaná
common.buy 21.56 €

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.§

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Decision Procedures
Autor Daniel Kroening, Ofer Strichman
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2017
Počet strán 356
EAN 9783662504963
ISBN 3662504960
Libristo kód 02981250
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 722
Rozmery 165 x 244 x 26

Kategórie

Matematika a veda > Matematika > Optimalizácia
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Translation in Modern Japan Indra Levy / Kniha Brožovaná
common.buy 78.89 €
Aromatherapy for Health Professionals Revised Reprint Len Price / Kniha Brožovaná
common.buy 59.04 €
Top
World of Warcraft: Book One Walter Simonson / Kniha Pevná
common.buy 13.16 €
DNA: AQA GCSE 9-1 English Literature Text Guide Collins GCSE / Kniha Brožovaná
common.buy 7.48 €
Top
Indestructibles: Hello, Farm! Amy Pixton / Kniha Brožovaná
common.buy 5.16 €
Anthony Bourdain's Hungry Ghosts Anthony Bourdain / Kniha Pevná
common.buy 14.78 €
What is to be done? Vladimir Ilyich Lenin / Kniha Brožovaná
common.buy 12.04 €
Research Design and Statistical Analysis Caren M. Rotello / Kniha Pevná
common.buy 200.02 €
Top
Hero of Ages Brandon Sanderson / Kniha Brožovaná
common.buy 9.00 €
Hey, Kitty Kitty! Brenda Ponnay / Kniha Brožovaná
common.buy 13.06 €
Top
William Shakespeare: Famous Loving Words Insight Editions / Kniha Pevná
common.buy 9.71 €
Americans and Germans in Bastogne Gary Sterne / Kniha Pevná
common.buy 26.73 €
Gedichte Gustav Schwab / Kniha Brožovaná
common.buy 29.26 €
Kuniyoshi Matthi Forrer / Kniha Pevná
common.buy 116.77 €
Top
Catcher in the Rye Jerome David Salinger / Kniha Brožovaná
common.buy 9.00 €
Homecoming Colin Grant / Kniha Brožovaná
common.buy 13.97 €
Gurdjieff and the Fourth Way Grant / Kniha Pevná
common.buy 21.97 €
Top
Lost & Found: Based on a True Story / Kniha Pevná
common.buy 14.07 €
Netter's Physiology Coloring Book Susan Mulroney / Kniha Brožovaná
common.buy 21.77 €
Top
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Kniha Brožovaná
common.buy 22.37 €
Top
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Kniha Brožovaná
common.buy 35.95 €
Skate Park Plans Alan Brown / Kniha Brožovaná
common.buy 7.69 €
Hamilton by Lin-Manuel Miranda SHEILA LISCHWE / Kniha Brožovaná
common.buy 14.78 €
Basic and Clinical Pharmacology 16th Edition Vanderah / Kniha Brožovaná
common.buy 79.09 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?