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..
-
Jak věci fungují
neuveden
-
Hustej internet
Lucie Seifertová; Lenka Eckertová
-
Die Kunst des Schmiedens
Bergland, Håvard
-
Bioenergetika člověka
Gennadij Malachov
-
Women in Science
Ignotofsky, Rachel
-
Traktor Total
-
Mein junior-Lexikon: Fahrzeuge
Nieländer, Peter
-
Mein großes Buch der Fahrzeuge
Baumann, Anne-Sophie
-
Alles über Laster, Bagger und Traktoren
Erne, Andrea
-
Technik bei uns zu Hause
Holzwarth-Raether, Ulrike
-
Auf der Baustelle geht's rund
-
Vynálezy
David Jan Žák
-
The Road Ahead
-
Aerodynamic Design of Transport Airc...
Robert
-
The Case of the Frozen Addicts
Langston, J. W; Palfreman, J.
-
Cardboard in Architecture