A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Decision Procedures

An Algorithmic Point of View

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Decision Procedures Daniel Kroening
Libristo kód: 02981250
Kiadó 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 122 b
17 774 Ft
Beszállítói készleten Küldés 10-18 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Talsperrenstatik Othmar J. Rescher / Könyv Puha kötésű
common.buy 20 361 Ft
Hamarosan
Fyzika na dvore Radek Chajda / Könyv Puha kötésű
common.buy 2 554 Ft
Kiss of the Spider Woman / Hanganyagok Audio CD
common.buy 8 362 Ft
Gift from the Trees Mammal Hands Hanganyagok Audio bakelit
common.buy 11 865 Ft
Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe / Könyv Puha kötésű
common.buy 249 Ft
Toplistás
12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości Opracowanie zbiorowe / Könyv Kemény kötésű
common.buy 3 576 Ft
עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01 Chaim Vital Ha'ari / Könyv Puha kötésű
common.buy 6 291 Ft
Basiswissen Mathematik auf Arabisch und Deutsch - اساسيات في الرياضيات باللغتين العربية والالمانية Moritz Weber / Könyv Puha kötésű
common.buy 9 007 Ft
Hafenmanöver Schritt für Schritt Lars Bolle / Könyv Puha kötésű
common.buy 8 362 Ft
Be a little analog Julius Hendricks / Könyv Kemény kötésű
common.buy 3 327 Ft
Els altres catalans : edició no censurada Francisco Candel / Könyv Puha kötésű
common.buy 9 357 Ft
Diferencia de la filosofía de la naturaleza en Demócrito y en Epicuro y otros escritos Karl Marx / Könyv Puha kötésű
common.buy 6 729 Ft
Biblia Para Ninos Epoca Editorial / Könyv Puha kötésű
common.buy 2 366 Ft
Sulla strada di Bob Dylan. Memorie dal Greenwich Village Suze Rotolo / Könyv Puha kötésű
common.buy 8 947 Ft
Puedo soñar contigo BLUE JEANS / Könyv Kemény kötésű
common.buy 3 912 Ft
Hamarosan
Ukulele Melody-Chord-Concept Patrick Steinbach / Könyv Puha kötésű
common.buy 7 267 Ft
Ordnung im Mund macht gesund Irmgard Simma-Kletschka / Könyv Puha kötésű
common.buy 9 692 Ft
Das kleine WIR im Kindergarten Daniela Kunkel / Könyv Kemény kötésű
common.buy 4 961 Ft
Mémoire et cuisine des Pieds-noirs - la nostalgérie Ehrohlt Könyv Puha kötésű
common.buy 9 384 Ft
Prolongations François-Guillaume Lorrain / Könyv Puha kötésű
common.buy 6 963 Ft
Meie keelesild. Viron kielen oppikirja Viive Taro / Könyv Puha kötésű
common.buy 22 330 Ft

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

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Decision Procedures
Szerző Daniel Kroening, Ofer Strichman
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 2017
Oldalszám 356
EAN 9783662504963
ISBN 3662504960
Libristo kód 02981250
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 722
Méretek 165 x 244 x 26

Kategória

Matematika és természettudomány > Matematika > Optimizáció
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Translation in Modern Japan Indra Levy / Könyv Puha kötésű
common.buy 31 190 Ft
Aromatherapy for Health Professionals Revised Reprint Len Price / Könyv Puha kötésű
common.buy 22 317 Ft
Toplistás
Hero of Ages Brandon Sanderson / Könyv Puha kötésű
common.buy 3 548 Ft
Gedichte Gustav Schwab / Könyv Puha kötésű
common.buy 11 676 Ft
Egypt, Cyprus And Asiatic Turkey (1878) James Lewis Farley / Könyv Kemény kötésű
common.buy 17 075 Ft
Americans and Germans in Bastogne Gary Sterne / Könyv Kemény kötésű
common.buy 10 406 Ft
William Shakespeare: Famous Loving Words Insight Editions / Könyv Kemény kötésű
common.buy 3 677 Ft
Hey, Kitty Kitty! Brenda Ponnay / Könyv Puha kötésű
common.buy 4 860 Ft
Research Design and Statistical Analysis Caren M. Rotello / Könyv Kemény kötésű
common.buy 79 058 Ft
What is to be done? Vladimir Ilyich Lenin / Könyv Puha kötésű
common.buy 4 993 Ft
Anthony Bourdain's Hungry Ghosts Anthony Bourdain / Könyv Kemény kötésű
common.buy 6 130 Ft
Toplistás
Indestructibles: Hello, Farm! Amy Pixton / Könyv Puha kötésű
common.buy 2 131 Ft
DNA: AQA GCSE 9-1 English Literature Text Guide Collins GCSE / Könyv Puha kötésű
common.buy 2 817 Ft
World of Warcraft: Book One Walter Simonson / Könyv Kemény kötésű
common.buy 4 639 Ft
Toplistás
Hilma af Klint Hilma af Klint / Könyv Kemény kötésű
common.buy 18 971 Ft
Kuniyoshi Matthi Forrer / Könyv Kemény kötésű
common.buy 41 085 Ft
Toplistás
Catcher in the Rye Jerome David Salinger / Könyv Puha kötésű
common.buy 3 401 Ft
Homecoming Colin Grant / Könyv Puha kötésű
common.buy 5 237 Ft
Gurdjieff and the Fourth Way Grant / Könyv Kemény kötésű
common.buy 8 597 Ft
Lost & Found: Based on a True Story / Könyv Kemény kötésű
common.buy 5 836 Ft
Netter's Physiology Coloring Book Susan Mulroney / Könyv Puha kötésű
common.buy 7 663 Ft
Toplistás
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Könyv Puha kötésű
common.buy 9 209 Ft
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Könyv Puha kötésű
common.buy 13 531 Ft
Skate Park Plans Alan Brown / Könyv Puha kötésű
common.buy 3 019 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?