|
| ||||
|
| ||||
|
|
Design and Implementation of Exact MAX-SAT Solvers Publication year: 2008 Language: English The Propositional Satisfiability Problem (SAT) is the problem of determining whether a truth assignment satisfies a CNF formula. Nowadays, many hard combinatorial problems such as practical verificati... Free eBook Available in the catalog: 07/31/2014 |
Ecología acuática de Madrid Edition: Miguel Álvarez Cobelas; Salvador Sánchez Carrillo Publication year: 2020 Language: Spanish Review in English not available.... Available in the catalog: 02/17/2021 |
La violencia en México : una aproximación antropológica a través de la prensa Publication year: 2021 Language: Spanish Review in English not available.... Available in the catalog: 11/02/2021 |
Ciencia a la sombra del Vesubio: ensayo sobre el conocimiento de la naturaleza Publication year: 2003 Language: Spanish Not available... Available in the catalog: 11/11/2011 |
Consenso, contribución y excelencia: epílogo a las Jornadas sobre grupos de investigación post-burocráticos Edition: César González-Pérez Publication year: 2011 Language: Spanish This volume contains an epilogue to the event “Consensus, Contribution and Excellence: Workshop on Post-bureaucratic Research Group”, which was held in Santiago de Compostela in November 2010. This ep... Free eBook Available in the catalog: 10/12/2011 |
El duelo revelado. La vida social de las fotografías familiares de las víctimas del franquismo Publication year: 2018 Language: Spanish Review in English not available.... Available in the catalog: 12/11/2018 |