Handbook of Satisfiability
3801 Kč
Sleva až 70% u třetiny knih
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
Nakladatel: | IOS Press |
ISBN: | 9781586039295 |
Rok vydání: | 2009 |
Jazyk : | Angličtina |
Vazba: | Hardback |
Počet stran: | 980 |
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
-
TCP/IP v kostce
Rita Pužmanová
-
Učebnice jazyka C 2.díl
Pavel Herout
-
Informatika pro základní školy 1
Vladimír Němec; Libuše Kovářová
-
Zoner Photo Studio X
Josef Pecinovský
-
Excel VBA
Martina Králíčková
-
Typografický manuál
Vladimír Beran
-
Moderní programování – sbírka úloh k ...
Radek Stavěl
-
Nápadník do informatiky
Martin Pokorný
-
Podniková informatika
Libor Gála; Zuzana Šedivá; Jan Pour
-
Informatika pro základní školy 2
Vladimír Němec; Libuše Kovářová
-
Aerodynamic Design of Transport Airc...
Robert
-
Cardboard in Architecture