Theory and Applications of Satisfiability Testing - SAT 2016
9
%
1869 Kč 2 055 Kč
Sleva až 70% u třetiny knih
This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions.
| Nakladatel: | Springer International Publishing AG |
| ISBN: | 9783319409696 |
| Rok vydání: | CZE |
| Jazyk : | Čeština |
| Vazba: | CZE |
| Počet stran: | CZE |
Mohlo by se vám také líbit..
-
Excel VBA
Martina Králíčková
-
Microsoft Access 2016 - Das Handbuch
Hölscher, Lorenz
-
Excel 2016
Zinkann, Harald
-
333 tipů a triků pro Windows 7
Karel Klatovský
-
PowerPoint 2010 nejen pro školy
Klatovský Karel
-
Videopříručka Excel 2007 nejen pro za...
Linda Perina
-
Microsoft Project 2013 für Dummies
Stackpole, Cynthia Snyder
-
333 Tipů a triků pro MS Office 2010
Karel Klatovský
-
WORD 2007 nejen pro školy
Karel Klatovský
-
Excel 2007 nejen pro školy
Karel Klatovský
-
Lean Enterprise
Humble, Jez
-
Digitale Bildverarbeitung
Burger, Wilhelm
-
Algorithms for Data Science
Steele, Brian; Chandler, John; Reddy, Swarna
-
Simulation and Inference for Stochas...
Iacus, Stefano M.; Yoshida, Nakahiro
-
Quick Reference Handbook for Surgica...
Rekhtman, MD, PhD, Natasha; Baine, MD, PhD, Marina K; Bishop, MD, Justin A.
-
Strategy in Airline Loyalty
De Boer, Evert R.
