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 Miękka
Książka Decision Procedures Daniel Kroening
Kod Libristo: 20119732
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipiec 2018
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 81 b
144.42 zł
Dostępna u dostawcy Wysyłamy za 10-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

TOP
Ruční palné zbraně - 89 legendárních i zapomenutých konstrukcí Autor Fiktivní / Książka Twarda
common.buy 149.24 zł
TOP
JOJOLION 1 - JOJO'S BIZARRE ADVENTURES PART8 (MANGA VO JAPONAIS) ARAKI / Książka Miękka
common.buy 108.95 zł
TOP
Coloriages mystères Pixar Jérémy Mariez / Książka Miękka
common.buy 92.86 zł
Ganz schön clever! Einzelblock (Spiel-Zubehör) / Artykuły papiernicze Artykuły papiernicze
common.buy 27.77 zł
TOP
Bella Germania Daniel Speck / Książka Miękka
common.buy 54.93 zł
TOP
In altre parole Jhumpa Lahiri / Książka Miękka
common.buy 82.10 zł
DaF Kompakt neu Birgit Braun / Książka Miękka
common.buy 149.54 zł
TOP
Harry Potter und der Stein der Weisen (Harry Potter 1) Joanne Kathleen Rowling / Książka Miękka
common.buy 39.56 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 - Miękka
Data wydania 2018
Liczba stron 356
EAN 9783662570654
Kod Libristo 20119732
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 580
Wymiary 233 x 156 x 24

Kategoria

Matematyka i nauki ścisłe > Matematyka > Optymalizacja
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka)
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ć

Are You Listening? Tillie Walden / Książka Twarda
common.buy 119.00 zł
Family Consecration to Jesus Through Mary: 33-Days of Preparation with Saint Louis Marie de Montfort Donna-Maria Cooper O'Boyle / Książka Miękka
common.buy 64.98 zł
No Time to Play Henry Farley / Książka Miękka
common.buy 70.10 zł
Field Sketchbook A6 Inc Peter Pauper Press / Książka Twarda
common.buy 33.30 zł
Matty Matheson Quentin Bacon / Książka Twarda
common.buy 132.02 zł
TOP
Komi Can't Communicate, Vol. 8 Tomohito Oda / Książka Miękka
common.buy 37.71 zł
TOP
Lonely Planet Epic Bike Rides of Europe Lonely Planet / Książka Twarda
common.buy 117.15 zł
A Narrative of the Principal Events of the Campaigns of 1809, 1810 and 1811 in Spain and Portugal William Stothert / Książka Twarda
common.buy 145.24 zł
RF Electronics for Electronic Warfare Richard A. Poisel / Książka Twarda
common.buy 608.36 zł
SOLA BUSCA TAROT / Prasa Mapa
common.buy 210.74 zł
Opening the Akashic Records Maureen J. St Germain / Książka Miękka
common.buy 55.65 zł
It Was Always You Lorhainne Eckhart / Książka Miękka
common.buy 40.79 zł
Great Expectations Charles Dickens / Książka Twarda
common.buy 68.36 zł
Click and Boing: Almost go to the zoo Liam Lynch / Książka Miękka
common.buy 72.05 zł
Explore Brazil: 12 Key Facts Todd Kortemeier / Książka Miękka
common.buy 50.11 zł
God, Science, and Religious Diversity Robert T Lehe / Książka Miękka
common.buy 90.50 zł
Bio-based Materials for Food Packaging Shakeel Ahmed / Książka Twarda
common.buy 801.58 zł
First Book of Jewish Jokes Elliott Oring / Książka Twarda
common.buy 325.14 zł
Buckingham Palace Ashley Hicks / Książka Twarda
common.buy 204.90 zł
TOP
Short Stories in French for Beginners Olly Richards / Książka Miękka
common.buy 43.45 zł
Snow Balls: A Pretending-to-Be-Macho MM Romance Tara Lain / Książka Miękka
common.buy 45.81 zł
Rise and Divine Lana Harper / Książka Miękka
common.buy 46.73 zł
Data Analytics and Artificial Intelligence for Earth Resource Management Deepak Kumar / Książka Miękka
common.buy 697.95 zł
Narcoball David Arrowsmith / Książka Twarda
common.buy 93.78 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?