Theory and Applications of Satisfiability Testing - SAT 2008

Theory and Applications of Satisfiability Testing - SAT 2008

Theory and Applications of Satisfiability Testing - SAT 2008
2008ISBN 9783540797180
Viršelis: KietasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisFiziniai ir technologijos mokslaiStatyba, inžinerija
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra