Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Decision Procedures

An Algorithmic Point of View

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Decision Procedures Daniel Kroening
Libristo kod: 02981250
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, siječanj 2017
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 116 b
48.00 €
Vanjske zalihe Šaljemo za 10-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Talsperrenstatik Othmar J. Rescher / Knjiga Meki uvez
common.buy 53.16 €
עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01 Chaim Vital Ha'ari / Knjiga Meki uvez
common.buy 16.50 €
Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe / Knjiga Meki uvez
common.buy 0.70 €
Top
12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości Opracowanie zbiorowe / Knjiga Tvrdi uvez
common.buy 9.51 €
Gift from the Trees Mammal Hands Audio Audio vinil
common.buy 32.00 €
Meie keelesild. Viron kielen oppikirja Viive Taro / Knjiga Meki uvez
common.buy 59.75 €
Prolongations François-Guillaume Lorrain / Knjiga Meki uvez
common.buy 19.03 €
Mémoire et cuisine des Pieds-noirs - la nostalgérie Ehrohlt Knjiga Meki uvez
common.buy 25.41 €
Das kleine WIR im Kindergarten Daniela Kunkel / Knjiga Tvrdi uvez
common.buy 12.75 €
Ordnung im Mund macht gesund Irmgard Simma-Kletschka / Knjiga Meki uvez
common.buy 25.11 €
Ukulele Melody-Chord-Concept Patrick Steinbach / Knjiga Meki uvez
common.buy 18.83 €
Basiswissen Mathematik auf Arabisch und Deutsch - اساسيات في الرياضيات باللغتين العربية والالمانية Moritz Weber / Knjiga Meki uvez
common.buy 24.30 €
Puedo soñar contigo BLUE JEANS / Knjiga Tvrdi uvez
common.buy 11.03 €
Sulla strada di Bob Dylan. Memorie dal Greenwich Village Suze Rotolo / Knjiga Meki uvez
common.buy 24.10 €
Biblia Para Ninos Epoca Editorial / Knjiga Meki uvez
common.buy 6.27 €
Diferencia de la filosofía de la naturaleza en Demócrito y en Epicuro y otros escritos Karl Marx / Knjiga Meki uvez
common.buy 18.22 €
Hafenmanöver Schritt für Schritt Lars Bolle / Knjiga Meki uvez
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.§

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Decision Procedures
Autor Daniel Kroening, Ofer Strichman
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2017
Broj stranica 356
EAN 9783662504963
ISBN 3662504960
Libristo kod 02981250
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 722
Dimenzije 165 x 244 x 26

Kategorija

Mathematics & Science > Mathematics > Optimization
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Operating systems
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Translation in Modern Japan Indra Levy / Knjiga Meki uvez
common.buy 82.64 €
Aromatherapy for Health Professionals Revised Reprint Len Price / Knjiga Meki uvez
common.buy 59.04 €
Top
Indestructibles: Hello, Farm! Amy Pixton / Knjiga Meki uvez
common.buy 5.46 €
Top
Anthony Bourdain's Hungry Ghosts Anthony Bourdain / Knjiga Tvrdi uvez
common.buy 15.79 €
What is to be done? Vladimir Ilyich Lenin / Knjiga Meki uvez
common.buy 12.85 €
Research Design and Statistical Analysis Caren M. Rotello / Knjiga Tvrdi uvez
common.buy 209.34 €
Top
Hero of Ages Brandon Sanderson / Knjiga Meki uvez
common.buy 9.00 €
Hey, Kitty Kitty! Brenda Ponnay / Knjiga Meki uvez
common.buy 13.06 €
Top
William Shakespeare: Famous Loving Words Insight Editions / Knjiga Tvrdi uvez
common.buy 9.71 €
Americans and Germans in Bastogne Gary Sterne / Knjiga Tvrdi uvez
common.buy 26.73 €
Gedichte Gustav Schwab / Knjiga Meki uvez
common.buy 30.78 €
Kuniyoshi Matthi Forrer / Knjiga Tvrdi uvez
common.buy 110.29 €
Homecoming Colin Grant / Knjiga Meki uvez
common.buy 13.97 €
Gurdjieff and the Fourth Way Grant / Knjiga Tvrdi uvez
common.buy 21.97 €
Top
Lost & Found: Based on a True Story / Knjiga Tvrdi uvez
common.buy 15.08 €
Netter's Physiology Coloring Book Susan Mulroney / Knjiga Meki uvez
common.buy 20.55 €
Top
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Knjiga Meki uvez
common.buy 23.18 €
Top
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Knjiga Meki uvez
common.buy 36.05 €
Skate Park Plans Alan Brown / Knjiga Meki uvez
common.buy 7.69 €
Hamilton by Lin-Manuel Miranda SHEILA LISCHWE / Knjiga Meki uvez
common.buy 15.79 €
Poetic Spanking Anthony Toomer / Knjiga Tvrdi uvez
common.buy 32.20 €
Aberdeen European Nights ALLY BEGG / Knjiga Tvrdi uvez
common.buy 20.45 €
Basic and Clinical Pharmacology 16th Edition Vanderah / Knjiga Meki uvez
common.buy 80.51 €
Top
The Complete Guide to Flags of the World, 4th Edition Clive Carpenter / Knjiga Meki uvez
common.buy 13.97 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?