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..
-
Děláme si to doma sami
Sarah Thomasová
-
Udělej si svoji knihu
neuveden
-
Pečeme a zdobíme dorty - Jak na to
Deaconová Carol
-
Háčkování - Vzory od A do Z
Hazellová Sarah
-
Šijeme pro miminko - 28 snadných oble...
Leloup Isabelle
-
Háčkování - hračky, ozdoby, drobnosti
Lenka Bednářová
-
Běžící Buddha - Běháním a meditací k ...
Mipham Sakyong
-
Levandule - Recepty, návody a tipy pr...
Mirka Koníčková
-
Putování přírodou Stromy, květiny, ptáci
Laura Howell
-
Domácí výrobky z léčivých rostlin
Gato Martin
-
Háčkování - Jak na to - Více než 300 ...
Jan Eatonová
-
Pleteme z pedigu
Karla Hátleová
-
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.
-
Atlas of Upper Extremity Trauma
Eglseder, W. Andrew
-
Rheumatology in Questions
Moutsopoulos, Haralampos M.; Zampeli, Evangelia; Vlachoyiannopoulos, Panayiotis G.
