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..
-
Učebnice jazyka C 1.díl 6.v.
Pavel Herout
-
Učebnice jazyka Java 5.v.
Pavel Herout
-
Učebnice jazyka C 2.díl
Pavel Herout
-
The C++ Programming Language
Stroustrup, Bjarne
-
The Clean Coder
Martin, Robert C.
-
XSLT 2.0 a SVG prakticky
Pavel Herout
-
Think Like a Programmer
Spraul, V. Anton
-
Microsoft SQL Server 2012 Podstawy ję...
Ben-Gan Itzik
-
C# 6.0 - Księga przepisów
Hilyard Jay, Teilhet Stephen
-
Zaprzyjaźnij się z algorytmami
Tomasiewicz Jacek
-
SWITCH Minecraft: Nintendo Switch Edi...
-
Python-Tricks
Bader, Dan
-
Inside PixInsight
Keller, Warren A.
-
Fundamentals of Java Programming
Ogihara, Mitsunori
-
Algorithms for Data Science
Steele, Brian; Chandler, John; Reddy, Swarna
-
Medical Robotics
Schweikard, Achim; Ernst, Floris