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 12.99 zł Punkt DPD 13.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
193.10 zł
Dostępna u dostawcy Wysyłamy za 10-18 dni

30 dni na zwrot towaru

Klienci kupili także

Talsperrenstatik Othmar J. Rescher / Książka Miękka
common.buy 224.91 zł
עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01 Chaim Vital Ha'ari / Książka Miękka
common.buy 70.05 zł
Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe / Książka Miękka
common.buy 2.30 zł
TOP
12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości Opracowanie zbiorowe / Książka Twarda
common.buy 33.41 zł
Gift from the Trees Mammal Hands Audio Winyl Audio
common.buy 135.59 zł
Meie keelesild. Viron kielen oppikirja Viive Taro / Książka Miękka
common.buy 267.87 zł
Prolongations François-Guillaume Lorrain / Książka Miękka
common.buy 83.60 zł
Mémoire et cuisine des Pieds-noirs - la nostalgérie Ehrohlt Książka Miękka
common.buy 112.50 zł
Das kleine WIR im Kindergarten Daniela Kunkel / Książka Twarda
common.buy 54.09 zł
Ordnung im Mund macht gesund Irmgard Simma-Kletschka / Książka Miękka
common.buy 106.38 zł
Ukulele Melody-Chord-Concept Patrick Steinbach / Książka Miękka
common.buy 79.88 zł
Basiswissen Mathematik auf Arabisch und Deutsch - اساسيات في الرياضيات باللغتين العربية والالمانية Moritz Weber / Książka Miękka
common.buy 108.09 zł
Puedo soñar contigo BLUE JEANS / Książka Twarda
common.buy 46.96 zł
Sulla strada di Bob Dylan. Memorie dal Greenwich Village Suze Rotolo / Książka Miękka
common.buy 101.96 zł
Biblia Para Ninos Epoca Editorial / Książka Miękka
common.buy 26.49 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 80.79 zł
Hafenmanöver Schritt für Schritt Lars Bolle / Książka Miękka
common.buy 91.42 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 349.67 zł
Aromatherapy for Health Professionals Revised Reprint Len Price / Książka Miękka
common.buy 261.35 zł
TOP
Indestructibles: Hello, Farm! Amy Pixton / Książka Miękka
common.buy 23.28 zł
Anthony Bourdain's Hungry Ghosts Anthony Bourdain / Książka Twarda
common.buy 66.94 zł
What is to be done? Vladimir Ilyich Lenin / Książka Miękka
common.buy 54.49 zł
Research Design and Statistical Analysis Caren M. Rotello / Książka Twarda
common.buy 886.34 zł
TOP
Hero of Ages Brandon Sanderson / Książka Miękka
common.buy 38.23 zł
Hey, Kitty Kitty! Brenda Ponnay / Książka Miękka
common.buy 52.18 zł
TOP
William Shakespeare: Famous Loving Words Insight Editions / Książka Twarda
common.buy 41.34 zł
Americans and Germans in Bastogne Gary Sterne / Książka Twarda
common.buy 120.53 zł
Gedichte Gustav Schwab / Książka Miękka
common.buy 130.17 zł
Kuniyoshi Matthi Forrer / Książka Twarda
common.buy 494.40 zł
Homecoming Colin Grant / Książka Miękka
common.buy 59.01 zł
Gurdjieff and the Fourth Way Grant / Książka Twarda
common.buy 99.35 zł
TOP
Lost & Found: Based on a True Story / Książka Twarda
common.buy 63.72 zł
Netter's Physiology Coloring Book Susan Mulroney / Książka Miękka
common.buy 91.93 zł
TOP
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Książka Miękka
common.buy 100.76 zł
TOP
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Książka Miękka
common.buy 142.81 zł
Skate Park Plans Alan Brown / Książka Miękka
common.buy 34.82 zł
Hamilton by Lin-Manuel Miranda SHEILA LISCHWE / Książka Miękka
common.buy 66.94 zł
Poetic Spanking Anthony Toomer / Książka Twarda
common.buy 136.49 zł
Aberdeen European Nights ALLY BEGG / Książka Twarda
common.buy 86.51 zł
Basic and Clinical Pharmacology 16th Edition Vanderah / Książka Miękka
common.buy 340.94 zł
TOP
The Complete Guide to Flags of the World, 4th Edition Clive Carpenter / Książka Miękka
common.buy 59.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?