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 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
141.41 zł
Dostępna u dostawcy Wysyłamy za 10-18 dni

30 dni na zwrot towaru

Klienci kupili także

TOP
Ruční palné zbraně - 89 legendárních i zapomenutých konstrukcí Autor Fiktivní / Książka Twarda
common.buy 146.13 zł
TOP
JOJOLION 1 - JOJO'S BIZARRE ADVENTURES PART8 (MANGA VO JAPONAIS) ARAKI / Książka Miękka
common.buy 58.00 zł
Lola MacKenzie - Der Ring des Herzogs. Life is a Story - story.one Franziska Deuter / Książka Twarda
common.buy 68.84 zł
Opowiem o tobie gwiazdom Edyta Prusinowska / Książka Miękka
common.buy 34.52 zł
Wieso? Weshalb? Warum? junior, Band 54: Was machen wir an Ostern? Susanne Szesny / Książka Miękka
common.buy 46.06 zł
TOP
Coloriages mystères Pixar Jérémy Mariez / Książka Miękka
common.buy 91.42 zł
TOP
Ganz schön clever! Einzelblock (Spiel-Zubehör) / Artykuły papiernicze Artykuły papiernicze
common.buy 22.77 zł
Bella Germania Daniel Speck / Książka Miękka
common.buy 53.79 zł
TOP
In altre parole Jhumpa Lahiri / Książka Miękka
common.buy 48.37 zł
TOP
DaF Kompakt neu Birgit Braun / Książka Miękka
common.buy 146.63 zł
TOP
Amokspiel Sebastian Fitzek / Książka Miękka
common.buy 50.07 zł
TOP
Harry Potter und der Stein der Weisen (Harry Potter 1) Joanne Kathleen Rowling / Książka Miękka
common.buy 38.73 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ć

No Time to Play Henry Farley / Książka Miękka
common.buy 68.64 zł
Field Sketchbook A6 Inc Peter Pauper Press / Książka Twarda
common.buy 32.61 zł
Matty Matheson Quentin Bacon / Książka Twarda
common.buy 129.26 zł
TOP
Komi Can't Communicate, Vol. 8 Tomohito Oda / Książka Miękka
common.buy 35.72 zł
TOP
Lonely Planet Epic Bike Rides of Europe Lonely Planet / Książka Twarda
common.buy 114.91 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 142.21 zł
RF Electronics for Electronic Warfare Richard A. Poisel / Książka Twarda
common.buy 595.67 zł
TOP
Opening the Akashic Records Maureen J. St Germain / Książka Miękka
common.buy 54.49 zł
Are You Listening? Tillie Walden / Książka Twarda
common.buy 116.52 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 63.62 zł
It Was Always You Lorhainne Eckhart / Książka Miękka
common.buy 39.94 zł
DESTINED FOR GREATNESS TESTA MAGGIE / Książka Miękka
common.buy 27.99 zł
Click and Boing: Almost go to the zoo Liam Lynch / Książka Miękka
common.buy 70.55 zł
Explore Brazil: 12 Key Facts Todd Kortemeier / Książka Miękka
common.buy 49.07 zł
God, Science, and Religious Diversity Robert T Lehe / Książka Miękka
common.buy 88.61 zł
Bio-based Materials for Food Packaging Shakeel Ahmed / Książka Twarda
common.buy 784.87 zł
First Book of Jewish Jokes Elliott Oring / Książka Twarda
common.buy 318.36 zł
Buckingham Palace Ashley Hicks / Książka Twarda
common.buy 200.63 zł
TOP
Short Stories in French for Beginners Olly Richards / Książka Miękka
common.buy 45.05 zł
Jungle Book Kipling / Książka Twarda
common.buy 42.75 zł
Rise and Divine Lana Harper / Książka Miękka
common.buy 45.86 zł
TOP
Peerless (Novel) Vol. 1 Meng Xi Shi / Książka Miękka
common.buy 61.31 zł
Murach's MySQL (4th Edition) Joel Murach / Książka Miękka
common.buy 189.89 zł
TOP
Not for the Faint of Heart Lex Croucher / Książka Miękka
common.buy 34.82 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