Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Decision Procedures

An Algorithmic Point of View

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Decision Procedures Daniel Kroening
Libristo kód: 20119732
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, júl 2018
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 85 b
35.14 €
Skladom u dodávateľa Odosielame za 10-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Decision Procedures
Autor Daniel Kroening, Ofer Strichman
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2018
Počet strán 356
EAN 9783662570654
Libristo kód 20119732
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 580
Rozmery 233 x 156 x 24

Kategórie

Matematika a veda > Matematika > Optimalizácia
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

No Time to Play Henry Farley / Kniha Brožovaná
common.buy 15.39 €
Field Sketchbook A6 Inc Peter Pauper Press / Kniha Pevná
common.buy 7.28 €
Matty Matheson Quentin Bacon / Kniha Pevná
common.buy 32.10 €
Top
Komi Can't Communicate, Vol. 8 Tomohito Oda / Kniha Brožovaná
common.buy 7.89 €
Top
Lonely Planet Epic Bike Rides of Europe Lonely Planet / Kniha Pevná
common.buy 26.32 €
A Narrative of the Principal Events of the Campaigns of 1809, 1810 and 1811 in Spain and Portugal William Stothert / Kniha Pevná
common.buy 31.89 €
RF Electronics for Electronic Warfare Richard A. Poisel / Kniha Pevná
common.buy 140.67 €
Top
Opening the Akashic Records Maureen J. St Germain / Kniha Brožovaná
common.buy 11.84 €
Are You Listening? Tillie Walden / Kniha Pevná
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 / Kniha Brožovaná
common.buy 14.07 €
It Was Always You Lorhainne Eckhart / Kniha Brožovaná
common.buy 9.00 €
DESTINED FOR GREATNESS TESTA MAGGIE / Kniha Brožovaná
common.buy 6.17 €
Click and Boing: Almost go to the zoo Liam Lynch / Kniha Brožovaná
common.buy 15.79 €
Explore Brazil: 12 Key Facts Todd Kortemeier / Kniha Brožovaná
common.buy 11.54 €
God, Science, and Religious Diversity Robert T Lehe / Kniha Brožovaná
common.buy 19.64 €
Bio-based Materials for Food Packaging Shakeel Ahmed / Kniha Pevná
common.buy 185.34 €
First Book of Jewish Jokes Elliott Oring / Kniha Pevná
common.buy 72.10 €
Buckingham Palace Ashley Hicks / Kniha Pevná
common.buy 47.39 €
Top
Short Stories in French for Beginners Olly Richards / Kniha Brožovaná
common.buy 12.55 €
Jungle Book Kipling / Kniha Pevná
common.buy 10.12 €
Rise and Divine Lana Harper / Kniha Brožovaná
common.buy 10.42 €
Top
Peerless (Novel) Vol. 1 Meng Xi Shi / Kniha Brožovaná
common.buy 14.37 €
Murach's MySQL (4th Edition) Joel Murach / Kniha Brožovaná
common.buy 42.02 €
Top
Not for the Faint of Heart Lex Croucher / Kniha Brožovaná
common.buy 10.22 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet