|
| ||||
|
| ||||
|
|
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 |
Directorio español de software para la gestión bibliotecaria, documental y de contenidos Coordination: Luis Rodríguez Yunta; Carlos Tejada Artigas Publication year: 2003 Language: Spanish Not available... Free eBook Available in the catalog: 11/07/2011 |
La Corona catalanoaragonesa, l'Islam i el món mediterrani: Estudis d'història medieval en homenatge a la doctora Maria Teresa Ferrer i Mallol Edition: Josefina Mutgé i Vives; Roser Salicrú i Lluch; Carles Vela Aulesa Publication year: 2013 Language: catalan This book brings together work by over seventy outstanding, internationally-renowned medievalists as a tribute to the Catalan historian Maria Teresa Ferrer i Mallol, following her retirement as Profes... Available in the catalog: 06/10/2013 |
Armas y política en la Argentina: Tucumán, siglo XIX Publication year: 2014 Language: Spanish Not available... Available in the catalog: 12/05/2014 |
El martillo y el espejo: directrices de la política cultural cubana (1959-1976) Publication year: 2009 Language: Spanish El martillo y el espejo: directrices de la política cultural cubana (1959-1976) indaga en las relaciones entre poder político, intelectualidad y creación literaria en la Revolución Cubana en una etapa... Available in the catalog: 06/15/2011 |
El robo de Proserpina y sentencia de Júpiter, Nápoles 1678 Filippo Coppola; Manuel García Bustamante Publication year: 2017 Language: Spanish Not available... Free eBook Available in the catalog: 03/23/2018 |