Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Decision Procedures

An Algorithmic Point of View

Limba englezăengleză
Carte Carte broșată
Carte Decision Procedures Daniel Kroening
Codul Libristo: 20119732
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iulie 2018
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 85 b
184.31 lei
În depozitul extern Expediem în 10-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Top
Ruční palné zbraně - 89 legendárních i zapomenutých konstrukcí Autor Fiktivní / Carte Copertă tare
common.buy 181.08 lei
Top
JOJOLION 1 - JOJO'S BIZARRE ADVENTURES PART8 (MANGA VO JAPONAIS) ARAKI / Carte Carte broșată
common.buy 71.82 lei
Lola MacKenzie - Der Ring des Herzogs. Life is a Story - story.one Franziska Deuter / Carte Copertă tare
common.buy 90.28 lei
Opowiem o tobie gwiazdom Edyta Prusinowska / Carte Carte broșată
common.buy 54.52 lei
Wieso? Weshalb? Warum? junior, Band 54: Was machen wir an Ostern? Susanne Szesny / Carte Carte broșată
common.buy 60.56 lei
Top
Coloriages mystères Pixar Jérémy Mariez / Carte Carte broșată
common.buy 113.32 lei
Top
Ganz schön clever! Einzelblock (Spiel-Zubehör) / Articole de papetărie Articole de papetărie
common.buy 33.25 lei
Bella Germania Daniel Speck / Carte Carte broșată
common.buy 70.57 lei
Top
In altre parole Jhumpa Lahiri / Carte Carte broșată
common.buy 62.96 lei
Top
DaF Kompakt neu Birgit Braun / Carte Carte broșată
common.buy 190.57 lei
Top
Amokspiel Sebastian Fitzek / Carte Carte broșată
common.buy 65.78 lei
Top
Harry Potter und der Stein der Weisen (Harry Potter 1) Joanne Kathleen Rowling / Carte Carte broșată
common.buy 50.76 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Decision Procedures
Autor Daniel Kroening, Ofer Strichman
Limba engleză
Legare Carte - Carte broșată
Data publicării 2018
Număr pagini 356
EAN 9783662570654
Codul Libristo 20119732
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 580
Dimensiuni 233 x 156 x 24

Categorii

Mathematics & Science > Mathematics > Optimization
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

No Time to Play Henry Farley / Carte Carte broșată
common.buy 89.44 lei
Field Sketchbook A6 Inc Peter Pauper Press / Carte Copertă tare
common.buy 42.94 lei
Matty Matheson Quentin Bacon / Carte Copertă tare
common.buy 170.24 lei
Top
Komi Can't Communicate, Vol. 8 Tomohito Oda / Carte Carte broșată
common.buy 47.11 lei
Top
Lonely Planet Epic Bike Rides of Europe Lonely Planet / Carte Copertă tare
common.buy 142.40 lei
A Narrative of the Principal Events of the Campaigns of 1809, 1810 and 1811 in Spain and Portugal William Stothert / Carte Copertă tare
common.buy 184.73 lei
RF Electronics for Electronic Warfare Richard A. Poisel / Carte Copertă tare
common.buy 777.00 lei
Top
Opening the Akashic Records Maureen J. St Germain / Carte Carte broșată
common.buy 71.82 lei
Are You Listening? Tillie Walden / Carte Copertă tare
common.buy 154.18 lei
Family Consecration to Jesus Through Mary: 33-Days of Preparation with Saint Louis Marie de Montfort Donna-Maria Cooper O'Boyle / Carte Carte broșată
common.buy 83.81 lei
It Was Always You Lorhainne Eckhart / Carte Carte broșată
common.buy 52.12 lei
DESTINED FOR GREATNESS TESTA MAGGIE / Carte Carte broșată
common.buy 34.71 lei
Click and Boing: Almost go to the zoo Liam Lynch / Carte Carte broșată
common.buy 91.84 lei
Explore Brazil: 12 Key Facts Todd Kortemeier / Carte Carte broșată
common.buy 64.00 lei
God, Science, and Religious Diversity Robert T Lehe / Carte Carte broșată
common.buy 116.76 lei
Bio-based Materials for Food Packaging Shakeel Ahmed / Carte Copertă tare
common.buy 1 025.34 lei
First Book of Jewish Jokes Elliott Oring / Carte Copertă tare
common.buy 410.55 lei
Buckingham Palace Ashley Hicks / Carte Copertă tare
common.buy 265.32 lei
Top
Short Stories in French for Beginners Olly Richards / Carte Carte broșată
common.buy 59.73 lei
Jungle Book Kipling / Carte Copertă tare
common.buy 56.91 lei
Rise and Divine Lana Harper / Carte Carte broșată
common.buy 60.56 lei
Top
Peerless (Novel) Vol. 1 Meng Xi Shi / Carte Carte broșată
common.buy 79.43 lei
Murach's MySQL (4th Edition) Joel Murach / Carte Carte broșată
common.buy 250.10 lei
Top
Not for the Faint of Heart Lex Croucher / Carte Carte broșată
common.buy 46.28 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?