Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Decision Procedures

An Algorithmic Point of View

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Decision Procedures Daniel Kroening
Libristo-code: 02981250
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, januari 2017
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 122 b
50.42 €
In extern magazijn Wordt binnen 10-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Talsperrenstatik Othmar J. Rescher / Boek Gebonden (paperback)
common.buy 53.15 €
עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01 Chaim Vital Ha'ari / Boek Gebonden (paperback)
common.buy 16.50 €
TOP
12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości Opracowanie zbiorowe / Boek Gebonden (harde band)
common.buy 10.12 €
Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe / Boek Gebonden (paperback)
common.buy 0.70 €
Gift from the Trees Mammal Hands Audio Audio vinyl
common.buy 31.99 €
Kiss of the Spider Woman / Audio Audio cd
common.buy 22.06 €
Meie keelesild. Viron kielen oppikirja Viive Taro / Boek Gebonden (paperback)
common.buy 63.28 €
Prolongations François-Guillaume Lorrain / Boek Gebonden (paperback)
common.buy 19.74 €
Mémoire et cuisine des Pieds-noirs - la nostalgérie Ehrohlt Boek Gebonden (paperback)
common.buy 26.52 €
Das kleine WIR im Kindergarten Daniela Kunkel / Boek Gebonden (harde band)
common.buy 12.75 €
Ordnung im Mund macht gesund Irmgard Simma-Kletschka / Boek Gebonden (paperback)
common.buy 25.10 €
Ukulele Melody-Chord-Concept Patrick Steinbach / Boek Gebonden (paperback)
common.buy 18.82 €
Basiswissen Mathematik auf Arabisch und Deutsch - اساسيات في الرياضيات باللغتين العربية والالمانية Moritz Weber / Boek Gebonden (paperback)
common.buy 25.51 €
Puedo soñar contigo BLUE JEANS / Boek Gebonden (harde band)
common.buy 11.03 €
Sulla strada di Bob Dylan. Memorie dal Greenwich Village Suze Rotolo / Boek Gebonden (paperback)
common.buy 25.31 €
Biblia Para Ninos Epoca Editorial / Boek Gebonden (paperback)
common.buy 6.27 €
Diferencia de la filosofía de la naturaleza en Demócrito y en Epicuro y otros escritos Karl Marx / Boek Gebonden (paperback)
common.buy 19.03 €
Els altres catalans : edició no censurada Francisco Candel / Boek Gebonden (paperback)
common.buy 26.52 €
Hafenmanöver Schritt für Schritt Lars Bolle / Boek Gebonden (paperback)
common.buy 21.56 €

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.§

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Decision Procedures
Auteur Daniel Kroening, Ofer Strichman
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2017
Aantal pagina's 356
EAN 9783662504963
ISBN 3662504960
Libristo-code 02981250
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 722
Afmetingen 165 x 244 x 26

Categorieën

Wiskunde en wetenschap > Wiskunde > Optimalisatie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Translation in Modern Japan Indra Levy / Boek Gebonden (paperback)
common.buy 82.62 €
Aromatherapy for Health Professionals Revised Reprint Len Price / Boek Gebonden (paperback)
common.buy 61.66 €
TOP
World of Warcraft: Book One Walter Simonson / Boek Gebonden (harde band)
common.buy 13.96 €
DNA: AQA GCSE 9-1 English Literature Text Guide Collins GCSE / Boek Gebonden (paperback)
common.buy 7.48 €
TOP
Indestructibles: Hello, Farm! Amy Pixton / Boek Gebonden (paperback)
common.buy 5.46 €
Anthony Bourdain's Hungry Ghosts Anthony Bourdain / Boek Gebonden (harde band)
common.buy 15.79 €
What is to be done? Vladimir Ilyich Lenin / Boek Gebonden (paperback)
common.buy 12.85 €
Research Design and Statistical Analysis Caren M. Rotello / Boek Gebonden (harde band)
common.buy 209.30 €
TOP
Hero of Ages Brandon Sanderson / Boek Gebonden (paperback)
common.buy 9.00 €
Hey, Kitty Kitty! Brenda Ponnay / Boek Gebonden (paperback)
common.buy 13.76 €
TOP
William Shakespeare: Famous Loving Words Insight Editions / Boek Gebonden (harde band)
common.buy 9.71 €
Americans and Germans in Bastogne Gary Sterne / Boek Gebonden (harde band)
common.buy 28.44 €
Gedichte Gustav Schwab / Boek Gebonden (paperback)
common.buy 30.77 €
Kuniyoshi Matthi Forrer / Boek Gebonden (harde band)
common.buy 116.74 €
Catcher in the Rye Jerome David Salinger / Boek Gebonden (paperback)
common.buy 8.60 €
Homecoming Colin Grant / Boek Gebonden (paperback)
common.buy 13.96 €
Gurdjieff and the Fourth Way Grant / Boek Gebonden (harde band)
common.buy 23.48 €
TOP
Lost & Found: Based on a True Story / Boek Gebonden (harde band)
common.buy 15.08 €
Netter's Physiology Coloring Book Susan Mulroney / Boek Gebonden (paperback)
common.buy 21.76 €
TOP
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Boek Gebonden (paperback)
common.buy 23.79 €
TOP
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Boek Gebonden (paperback)
common.buy 38.37 €
Skate Park Plans Alan Brown / Boek Gebonden (paperback)
common.buy 8.19 €
Hamilton by Lin-Manuel Miranda SHEILA LISCHWE / Boek Gebonden (paperback)
common.buy 15.79 €
Basic and Clinical Pharmacology 16th Edition Vanderah / Boek Gebonden (paperback)
common.buy 80.49 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?