Buscar
Avanzada
Historial
Registros por pagina:
20
50
100
Buscar Por:
Título
Autor/Editor
Colección
Todas las colecciones
Antropología
Arquitectura y diseño
Astronomía y astrofísica
Bibliotecología y Ciencia de la Información
Ciencia Política
Ciencias agrarias
Ciencias de la tierra y del espacio
Ciencias de la vida
Ciencias de las Artes y de las Letras
Ciencias económicas
Ciencias jurídicas y Derecho
Ciencias médicas
Ciencias tecnológicas
Computación
Demografía
Ética
Filosofía
Física
Geografía
Historia
Ingeniería
Lingüística
Lógica
Matemáticas
Pedagogía
Psicología
Química
Sociología
Registros por pagina:
20
50
100
Busquedas:
Colección
: Lógica
Autor/Editor
: Lawry, Jonathan
Autor/Editor
: Hack, Sebastian
Autor/Editor
: Stack, James Peter
Keyword
: Privacy
Autor/Editor
: Coffey, Amanda
Keyword
: Algorithms
Autor/Editor
: Leemis, Lawrence M.
Autor/Editor
: Sinz, Carsten
Autor/Editor
: Creignou, Nadia
registros 1 al 2 de 2
Complexity of Constraints: An Overview of Current Research Themes
Autor/Editor:
Creignou, Nadia
Kolaitis, Phokion G.
Vollmer, Heribert
Año de edición:
2008
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-540-92800-3
+ info
Theory and Applications of Satisfiability Testing – SAT 2016
Autor/Editor:
Creignou, Nadia
Le Berre, Daniel
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-40970-2
+ info
registros 1 al 2 de 2