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 Copertă tare
Carte Decision Procedures Daniel Kroening
Codul Libristo: 02981250
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ianuarie 2017
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 116 b
251.87 lei
În depozitul extern Expediem în 10-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Talsperrenstatik Othmar J. Rescher / Carte Carte broșată
common.buy 293.78 lei
עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01 Chaim Vital Ha'ari / Carte Carte broșată
common.buy 91.01 lei
Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe / Carte Carte broșată
common.buy 3.85 lei
Top
12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości Opracowanie zbiorowe / Carte Copertă tare
common.buy 53.16 lei
Gift from the Trees Mammal Hands Audio Audio plăci vinil
common.buy 176.49 lei
Meie keelesild. Viron kielen oppikirja Viive Taro / Carte Carte broșată
common.buy 331.94 lei
Prolongations François-Guillaume Lorrain / Carte Carte broșată
common.buy 103.51 lei
Mémoire et cuisine des Pieds-noirs - la nostalgérie Ehrohlt Carte Carte broșată
common.buy 139.38 lei
Das kleine WIR im Kindergarten Daniela Kunkel / Carte Copertă tare
common.buy 71.20 lei
Ordnung im Mund macht gesund Irmgard Simma-Kletschka / Carte Carte broșată
common.buy 139.59 lei
Ukulele Melody-Chord-Concept Patrick Steinbach / Carte Carte broșată
common.buy 104.66 lei
Basiswissen Mathematik auf Arabisch und Deutsch - اساسيات في الرياضيات باللغتين العربية والالمانية Moritz Weber / Carte Carte broșată
common.buy 133.96 lei
Puedo soñar contigo BLUE JEANS / Carte Copertă tare
common.buy 61.40 lei
Sulla strada di Bob Dylan. Memorie dal Greenwich Village Suze Rotolo / Carte Carte broșată
common.buy 132.81 lei
Biblia Para Ninos Epoca Editorial / Carte Carte broșată
common.buy 34.29 lei
Diferencia de la filosofía de la naturaleza en Demócrito y en Epicuro y otros escritos Karl Marx / Carte Carte broșată
common.buy 100.07 lei
Hafenmanöver Schritt für Schritt Lars Bolle / Carte Carte broșată
common.buy 120.09 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 - Copertă tare
Data publicării 2017
Număr pagini 356
EAN 9783662504963
ISBN 3662504960
Codul Libristo 02981250
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 722
Dimensiuni 165 x 244 x 26

Categorii

Mathematics & Science > Mathematics > Optimization
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Operating systems
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

Translation in Modern Japan Indra Levy / Carte Carte broșată
common.buy 452.46 lei
Aromatherapy for Health Professionals Revised Reprint Len Price / Carte Carte broșată
common.buy 323.91 lei
Top
Indestructibles: Hello, Farm! Amy Pixton / Carte Carte broșată
common.buy 30.64 lei
Top
Anthony Bourdain's Hungry Ghosts Anthony Bourdain / Carte Copertă tare
common.buy 87.88 lei
What is to be done? Vladimir Ilyich Lenin / Carte Carte broșată
common.buy 71.82 lei
Research Design and Statistical Analysis Caren M. Rotello / Carte Copertă tare
common.buy 1 147.01 lei
Top
Hero of Ages Brandon Sanderson / Carte Carte broșată
common.buy 50.55 lei
Hey, Kitty Kitty! Brenda Ponnay / Carte Carte broșată
common.buy 68.59 lei
Top
William Shakespeare: Famous Loving Words Insight Editions / Carte Copertă tare
common.buy 54.72 lei
Americans and Germans in Bastogne Gary Sterne / Carte Copertă tare
common.buy 149.39 lei
Gedichte Gustav Schwab / Carte Carte broșată
common.buy 169.09 lei
Kuniyoshi Matthi Forrer / Carte Copertă tare
common.buy 612.70 lei
Homecoming Colin Grant / Carte Carte broșată
common.buy 77.97 lei
Gurdjieff and the Fourth Way Grant / Carte Copertă tare
common.buy 123.12 lei
Top
Lost & Found: Based on a True Story / Carte Copertă tare
common.buy 84.02 lei
Netter's Physiology Coloring Book Susan Mulroney / Carte Carte broșată
common.buy 120.09 lei
Top
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Carte Carte broșată
common.buy 129.16 lei
Top
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Carte Carte broșată
common.buy 189.32 lei
Skate Park Plans Alan Brown / Carte Carte broșată
common.buy 43.15 lei
Hamilton by Lin-Manuel Miranda SHEILA LISCHWE / Carte Carte broșată
common.buy 87.88 lei
Poetic Spanking Anthony Toomer / Carte Copertă tare
common.buy 176.91 lei
Aberdeen European Nights ALLY BEGG / Carte Copertă tare
common.buy 113.94 lei
Basic and Clinical Pharmacology 16th Edition Vanderah / Carte Carte broșată
common.buy 441.20 lei
Top
The Complete Guide to Flags of the World, 4th Edition Clive Carpenter / Carte Carte broșată
common.buy 77.97 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?