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 Meki uvez
Knjiga Decision Procedures Daniel Kroening
Libristo kod: 20119732
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpanj 2018
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 85 b
35.14 €
Vanjske zalihe Šaljemo za 10-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Top
Ruční palné zbraně - 89 legendárních i zapomenutých konstrukcí Autor Fiktivní / Knjiga Tvrdi uvez
common.buy 32.50 €
Top
JOJOLION 1 - JOJO'S BIZARRE ADVENTURES PART8 (MANGA VO JAPONAIS) ARAKI / Knjiga Meki uvez
common.buy 13.16 €
Lola MacKenzie - Der Ring des Herzogs. Life is a Story - story.one Franziska Deuter / Knjiga Tvrdi uvez
common.buy 16.30 €
Opowiem o tobie gwiazdom Edyta Prusinowska / Knjiga Meki uvez
common.buy 9.81 €
Wieso? Weshalb? Warum? junior, Band 54: Was machen wir an Ostern? Susanne Szesny / Knjiga Meki uvez
common.buy 10.83 €
Top
Coloriages mystères Pixar Jérémy Mariez / Knjiga Meki uvez
common.buy 20.65 €
Top
Ganz schön clever! Einzelblock (Spiel-Zubehör) / Proizvodi od papira Proizvodi od papira
common.buy 5.97 €
Bella Germania Daniel Speck / Knjiga Meki uvez
common.buy 12.65 €
Top
In altre parole Jhumpa Lahiri / Knjiga Meki uvez
common.buy 11.43 €
Top
DaF Kompakt neu Birgit Braun / Knjiga Meki uvez
common.buy 34.63 €
Top
Amokspiel Sebastian Fitzek / Knjiga Meki uvez
common.buy 11.84 €
Top
Harry Potter und der Stein der Weisen (Harry Potter 1) Joanne Kathleen Rowling / Knjiga Meki uvez
common.buy 9.11 €

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 - Meki uvez
Datum izdanja 2018
Broj stranica 356
EAN 9783662570654
Libristo kod 20119732
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 580
Dimenzije 233 x 156 x 24

Kategorija

Mathematics & Science > Mathematics > Optimization
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science
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

No Time to Play Henry Farley / Knjiga Meki uvez
common.buy 16.20 €
Field Sketchbook A6 Inc Peter Pauper Press / Knjiga Tvrdi uvez
common.buy 7.69 €
Matty Matheson Quentin Bacon / Knjiga Tvrdi uvez
common.buy 30.58 €
Top
Komi Can't Communicate, Vol. 8 Tomohito Oda / Knjiga Meki uvez
common.buy 8.40 €
Top
Lonely Planet Epic Bike Rides of Europe Lonely Planet / Knjiga Tvrdi uvez
common.buy 25.41 €
A Narrative of the Principal Events of the Campaigns of 1809, 1810 and 1811 in Spain and Portugal William Stothert / Knjiga Tvrdi uvez
common.buy 33.62 €
RF Electronics for Electronic Warfare Richard A. Poisel / Knjiga Tvrdi uvez
common.buy 140.67 €
Top
Opening the Akashic Records Maureen J. St Germain / Knjiga Meki uvez
common.buy 12.85 €
Are You Listening? Tillie Walden / Knjiga Tvrdi uvez
common.buy 27.54 €
Family Consecration to Jesus Through Mary: 33-Days of Preparation with Saint Louis Marie de Montfort Donna-Maria Cooper O'Boyle / Knjiga Meki uvez
common.buy 14.98 €
It Was Always You Lorhainne Eckhart / Knjiga Meki uvez
common.buy 9.41 €
DESTINED FOR GREATNESS TESTA MAGGIE / Knjiga Meki uvez
common.buy 6.17 €
Click and Boing: Almost go to the zoo Liam Lynch / Knjiga Meki uvez
common.buy 16.70 €
Explore Brazil: 12 Key Facts Todd Kortemeier / Knjiga Meki uvez
common.buy 11.54 €
God, Science, and Religious Diversity Robert T Lehe / Knjiga Meki uvez
common.buy 20.96 €
Bio-based Materials for Food Packaging Shakeel Ahmed / Knjiga Tvrdi uvez
common.buy 185.34 €
First Book of Jewish Jokes Elliott Oring / Knjiga Tvrdi uvez
common.buy 75.14 €
Buckingham Palace Ashley Hicks / Knjiga Tvrdi uvez
common.buy 47.39 €
Top
Short Stories in French for Beginners Olly Richards / Knjiga Meki uvez
common.buy 10.62 €
Jungle Book Kipling / Knjiga Tvrdi uvez
common.buy 10.12 €
Rise and Divine Lana Harper / Knjiga Meki uvez
common.buy 10.83 €
Top
Peerless (Novel) Vol. 1 Meng Xi Shi / Knjiga Meki uvez
common.buy 14.17 €
Murach's MySQL (4th Edition) Joel Murach / Knjiga Meki uvez
common.buy 44.86 €
Top
Not for the Faint of Heart Lex Croucher / Knjiga Meki uvez
common.buy 8.19 €

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?