Kód: 02981250
Decision Procedures
Autor Daniel Kroening, Ofer Strichman
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 ... celý popis
- Jazyk:
Angličtina - Vazba: Pevná
- Počet stran: 356
Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017
- Více informací o knize
Mohlo by se vám také líbit
-
ketoCONTINUUM Consistently Keto For Life
491 Kč -
Convoluted Universe: Book Five
353 Kč -
Hilma af Klint
1061 Kč -
The Art of Manipulating Fabric
496 Kč -
William Shakespeare: Famous Loving Words
205 Kč -
Homo Ludens
258 Kč -
Indestructibles: Hello, Farm!
125 Kč -
World of Warcraft: Book One
318 Kč -
Hero of Ages
202 Kč -
Anatomy for Artists: Drawing Form & Pose (TBC)
813 Kč -
The Complete Guide to Flags of the World, 4th Edition
293 Kč -
8 Keys to Recovery from an Eating Disorder
500 Kč -
12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości
231 Kč -
Catcher in the Rye
194 Kč -
Netter's Physiology Coloring Book
498 Kč -
Design Thinking Methodology Book
224 Kč -
Lost & Found: Based on a True Story
341 Kč -
Basic and Clinical Pharmacology 16th Edition
1774 Kč -
Anthony Bourdain's Hungry Ghosts
334 Kč -
Aromatherapy for Health Professionals Revised Reprint
1361 Kč -
![Dorfromantik - Das Brettspiel: Wetterau [Mini-Erweiterung]](https://media.libris.to/jacket/46304554t.jpg "Dorfromantik - Das Brettspiel: Wetterau [Mini-Erweiterung]")
Dorfromantik - Das Brettspiel: Wetterau [Mini-Erweiterung]
131 Kč -
National Geographic The Old West
801 Kč -
Biblia Para Ninos
143 Kč -
עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01
380 Kč -
Big Purple Book of Beginner Books
293 Kč -
How Women Rise
475 Kč -
Kuniyoshi
2507 Kč -
Das kleine WIR im Kindergarten
290 Kč -
What is to be done?
272 Kč -
Hamilton by Lin-Manuel Miranda
358 Kč -
Meie keelesild. Viron kielen oppikirja
1529 Kč -
Gurdjieff and the Fourth Way
531 Kč -
Understanding Psychology for Nursing Students
578 Kč -
Rites of Conquest
473 Kč -
Nasze kolorowe pojazdy na sygnale
18 Kč -
Time-Saver Standards for Interior Design and Space Planning, Second Edition
5770 Kč -
The Mass for Children
93 Kč -
Constitutional Law and Politics of Secession
1548 Kč -
Americans and Germans in Bastogne
647 Kč -
Poetic Spanking
743 Kč -
Mémoire et cuisine des Pieds-noirs - la nostalgérie
642 Kč -
Translation in Modern Japan
1907 Kč -
Puedo soñar contigo
268 Kč -
Basiswissen Mathematik auf Arabisch und Deutsch - اساسيات ÙÙŠ الرياضيات باللغتين العربية والالمانية
617 Kč -
Aberdeen European Nights
464 Kč -
DNA: AQA GCSE 9-1 English Literature Text Guide
171 Kč -
Ukulele Melody-Chord-Concept
429 Kč -
Kiss of the Spider Woman
508 Kč -
A Treatise of Equity: With the Addition of Marginal References and Notes / By John Fonblanque. Volume 1 of 2
671 Kč -
Research Design and Statistical Analysis
4835 Kč -
Prolongations
477 Kč -
Enterprise Collaboration
1350 Kč -
Homecoming
315 Kč -
Sulla strada di Bob Dylan. Memorie dal Greenwich Village
612 Kč -
Hafenmanöver Schritt für Schritt
490 Kč -
Ordnung im Mund macht gesund
572 Kč -
Gift from the Trees
735 Kč -
Beach Boys Large Print Song Title Series
279 Kč -
Els altres catalans : edició no censurada
641 Kč -
Skate Park Plans
200 Kč -
Gedichte
707 Kč -
Diferencia de la filosofía de la naturaleza en Demócrito y en Epicuro y otros escritos
461 Kč -
The Best Ever Guide to Demotivation for Plumbers: How To Dismay, Dishearten and Disappoint Your Friends, Family and Staff
340 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Decision Procedures
Nákupem získáte 110 bodů
Anotace knihy
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.§
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Algorithms & data structures
1102 Kč
- Plný název: Decision Procedures
- Podnázev: An Algorithmic Point of View
- Autor: Daniel Kroening, Ofer Strichman
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 356
- EAN: 9783662504963
- ISBN: 3662504960
- ID: 02981250
- Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Hmotnost: 722 g
- Rozměry: 244 × 165 × 26 mm
- Datum vydání: 27. January 2017
Oblíbené z jiného soudku
-
Computer Science Distilled
547 Kč -
Computer Graphics From Scratch
777 Kč -
From Mathematics to Generic Programming
744 Kč -
Algorithms Unlocked
791 Kč -
Algeria
267 Kč -
Walk in the Woods
179 Kč -
Via Ferratas of the Italian Dolomites: Vol 2
508 Kč -
Isle of Skye
186 Kč -
Dive the Red Sea
425 Kč -
Chamonix Mountain Adventures
432 Kč -
Probabilistic Data Structures and Algorithms for Big Data Applications
773 Kč -
Graph Algorithms
1268 Kč -
Formal Concept Analysis
1500 Kč -
Algorithms
1653 Kč -
Alpine Ski Mountaineering Vol 1 - Western Alps
386 Kč -
Computer Science Distilled
711 Kč -
MMIX Supplement
651 Kč -
Walking in Italy's Stelvio National Park
425 Kč -
Manaslu
458 Kč -
Blue Guide Central Italy with Rome and Florence
571 Kč -
Algorithms in a Nutshell, 2e
1339 Kč -
Kackar
712 Kč -
Camino de Santiago walking g. 42W Pyrenees to Santiago
468 Kč -
Blue Guide Sicily
554 Kč -
Walks Isle of Skye
92 Kč -
40 Algorithms Every Programmer Should Know
1105 Kč -
Foundations of Multidimensional and Metric Data Structures
2091 Kč -
Cumbria Way XT40
497 Kč -
Introduction to Algorithms
1479 Kč -
Deep Learning with PyTorch
1249 Kč -
Trekking in the Alps
489 Kč -
West Highland Way
485 Kč -
Mountains of Andorra
458 Kč -
Network Science
1385 Kč -
Corsica 85 walks walking guide
468 Kč -
Walking in the Alps
608 Kč -
Algorithmic Puzzles
924 Kč -
Blue Guide Crete
441 Kč -
Walking on Samos
362 Kč -
Problem Solving with Algorithms and Data Structures Using Python
918 Kč -
Walking in the Caucasus, Georgia
405 Kč -
Blue Guide Greece
713 Kč -
Quantum Computing for Developers
1253 Kč -
Purely Functional Data Structures
1568 Kč -
Practical AI for Business Leaders, Product Managers, and Entrepreneurs
992 Kč -
Lisburn Street Map
323 Kč -
Aragon Cataluna - Michelin Regional Map 574
241 Kč -
Wild
568 Kč -
Data Structures & Algorithms in Python
1648 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 46927 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)