Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Decision Procedures

An Algorithmic Point of View

Język AngielskiAngielski
Książka Twarda
Książka Decision Procedures Daniel Kroening
Kod Libristo: 02981250
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, styczeń 2017
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 110 b
197.21 zł
Dostępna u dostawcy Wysyłamy za 10-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Talsperrenstatik Othmar J. Rescher / Książka Miękka
common.buy 229.70 zł
עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01 Chaim Vital Ha'ari / Książka Miękka
common.buy 71.54 zł
Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe / Książka Miękka
common.buy 2.66 zł
MIGUEL, UNA CABRITA Y UN SUEÑO PEROZO RUIZ / Książka Miękka
common.buy 59.03 zł
Gift from the Trees Mammal Hands Audio Winyl Audio
common.buy 138.47 zł
Kiss of the Spider Woman / Audio CD Audio
common.buy 95.32 zł
Fyzika na dvore Radek Chajda / Książka Miękka
common.buy 31.25 zł
TOP
12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości Opracowanie zbiorowe / Książka Twarda
common.buy 39.04 zł
Basiswissen Mathematik auf Arabisch und Deutsch - اساسيات في الرياضيات باللغتين العربية والالمانية Moritz Weber / Książka Miękka
common.buy 110.18 zł
Hafenmanöver Schritt für Schritt Lars Bolle / Książka Miękka
common.buy 93.37 zł
Be a little analog Julius Hendricks / Książka Twarda
common.buy 37.20 zł
Els altres catalans : edició no censurada Francisco Candel / Książka Miękka
common.buy 103.93 zł
Diferencia de la filosofía de la naturaleza en Demócrito y en Epicuro y otros escritos Karl Marx / Książka Miękka
common.buy 74.41 zł
Biblia Para Ninos Epoca Editorial / Książka Miękka
common.buy 27.05 zł
Sulla strada di Bob Dylan. Memorie dal Greenwich Village Suze Rotolo / Książka Miękka
common.buy 103.93 zł
Mystiques, Tome 1: Le septieme sens Kim Richardson / Książka Miękka
common.buy 64.26 zł
Puedo soñar contigo BLUE JEANS / Książka Twarda
common.buy 48.17 zł
Zapowiedź
Ukulele Melody-Chord-Concept Patrick Steinbach / Książka Miękka
common.buy 81.58 zł
Ordnung im Mund macht gesund Irmgard Simma-Kletschka / Książka Miękka
common.buy 108.65 zł
Das kleine WIR im Kindergarten Daniela Kunkel / Książka Twarda
common.buy 55.24 zł
Mémoire et cuisine des Pieds-noirs - la nostalgérie Ehrohlt Książka Miękka
common.buy 114.18 zł
Prolongations François-Guillaume Lorrain / Książka Miękka
common.buy 78.20 zł
Der Schachwettkampf Tarrasch-Mieses Im Herbst 1916 Tarrasch / Książka Twarda
common.buy 516.00 zł
Meie keelesild. Viron kielen oppikirja Viive Taro / Książka Miękka
common.buy 273.57 zł

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

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Decision Procedures
Autor Daniel Kroening, Ofer Strichman
Język Angielski
Oprawa Książka - Twarda
Data wydania 2017
Liczba stron 356
EAN 9783662504963
ISBN 3662504960
Kod Libristo 02981250
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 722
Wymiary 165 x 244 x 26

Kategoria

Matematyka i nauki ścisłe > Matematyka > Optymalizacja
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Translation in Modern Japan Indra Levy / Książka Miękka
common.buy 357.12 zł
Aromatherapy for Health Professionals Revised Reprint Len Price / Książka Miękka
common.buy 256.25 zł
TOP
Hero of Ages Brandon Sanderson / Książka Miękka
common.buy 39.04 zł
Egypt, Cyprus And Asiatic Turkey (1878) James Lewis Farley / Książka Twarda
common.buy 194.34 zł
Americans and Germans in Bastogne Gary Sterne / Książka Twarda
common.buy 122.89 zł
AI Narratives Stephen Cave / Książka Twarda
common.buy 593.49 zł
TOP
William Shakespeare: Famous Loving Words Insight Editions / Książka Twarda
common.buy 42.22 zł
Hey, Kitty Kitty! Brenda Ponnay / Książka Miękka
common.buy 53.29 zł
Kuniyoshi Matthi Forrer / Książka Twarda
common.buy 502.98 zł
Gurdjieff and the Fourth Way Grant / Książka Twarda
common.buy 101.26 zł
What is to be done? Vladimir Ilyich Lenin / Książka Miękka
common.buy 55.65 zł
Research Design and Statistical Analysis Caren M. Rotello / Książka Twarda
common.buy 905.21 zł
Anthony Bourdain's Hungry Ghosts Anthony Bourdain / Książka Twarda
common.buy 68.36 zł
TOP
Indestructibles: Hello, Farm! Amy Pixton / Książka Miękka
common.buy 23.77 zł
DNA: AQA GCSE 9-1 English Literature Text Guide Collins GCSE / Książka Miękka
common.buy 32.59 zł
World of Warcraft: Book One Walter Simonson / Książka Twarda
common.buy 53.70 zł
TOP
Tanned Leather Hand-Made Bags: Ultimate Techniques YOKO GANAHA / Książka Miękka
common.buy 84.25 zł
Gedichte Gustav Schwab / Książka Miękka
common.buy 132.94 zł
TOP
Hilma af Klint Hilma af Klint / Książka Twarda
common.buy 211.46 zł
Homecoming Colin Grant / Książka Miękka
common.buy 60.26 zł
Lost & Found: Based on a True Story / Książka Twarda
common.buy 65.08 zł
Netter's Physiology Coloring Book Susan Mulroney / Książka Miękka
common.buy 93.88 zł
TOP
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Książka Miękka
common.buy 100.14 zł
TOP
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Książka Miękka
common.buy 144.01 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?