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 3.49 € Kuriér GLS 4.49 € Zberné miesto GLS 2.99 € SPS 4.49 € SPS Parcel Shop 3.49 € Packeta kurýr 4.49 € Slovenská pošta 4.49 € Zberné miesto DPD 3.49 € Packeta 3.49 €
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 110 b
45.00 €
Skladom u dodávateľa Odosielame za 14-21 dní

Až 30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Aromatherapy for Health Professionals Revised Reprint Len Price / Kniha Brožovaná
common.buy 55.55 €
Translation in Modern Japan Indra Levy / Kniha Brožovaná
common.buy 85.49 €
Top
Panzer Tracts No.16-1: Bergepanther Thomas Jentz / Kniha Brožovaná
common.buy 20.89 €
Top
Psychopathology of the Situation in Gestalt Therapy Margherita Spagnuolo Lobb / Kniha Brožovaná
common.buy 47.01 €
Top
The Solution Focused Brief Therapy Diamond: A New Approach to Sfbt That Will Empower Both Practitioner and Client to Achieve the Best Outcomes Adam S. Froerer / Kniha Brožovaná
common.buy 13.96 €
Critical Role: The Mighty Nein Origins -- Mollymauk Tealeaf Hunter Severn Bonyun / Kniha Pevná
common.buy 14.46 €
Top
Co-Regulation Handbook Linda K Murphy / Kniha Brožovaná
common.buy 8.03 €
Top
Why Raeliana Ended Up at the Duke's Mansion, Vol. 1 Whale / Kniha Brožovaná
common.buy 20.59 €
Remote Team Interactions Workbook Manuel Pais / Kniha Brožovaná
common.buy 11.54 €
Dzogchen Nonmeditation Keith Dowman / Kniha Brožovaná
common.buy 9.13 €
Top
Creating a Forest Garden Martin Crawford / Kniha Brožovaná
common.buy 20.18 €
Top
Stranger Things Tarot Deck and Guidebook Insight Editions / Tlačovina Karty
common.buy 20.69 €
Top
Superman for All Seasons Tim Sale / Kniha Brožovaná
common.buy 15.06 €
Top
Unmasking Autism PRICE DEVON / Kniha Pevná
common.buy 20.69 €
Top
Creativity John Cleese / Kniha Brožovaná
common.buy 8.93 €
Top
Dark Hours Michael Connelly / Kniha Brožovaná
common.buy 10.54 €
Criminal Law: The Basics Herring / Kniha Brožovaná
common.buy 30.23 €
Brothers in Arms Dire Straits / Audio Audio vinyl
common.buy 45.00 €
Stress Less HANNAH BOWSTEAD / Tlačovina Karty
common.buy 12.75 €
Top
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Kniha Brožovaná
common.buy 36.16 €
Beginner's Guide To Procreate: Characters 3dtotal Publishing / Kniha Brožovaná
common.buy 27.02 €
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Kniha Brožovaná
common.buy 22.09 €
Top
Netter's Physiology Coloring Book Susan Mulroney / Kniha Brožovaná
common.buy 21.49 €
Kuniyoshi Matthi Forrer / Kniha Pevná
common.buy 102.97 €

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

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ť?