OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: TBK-1 Document Type: Tesis Repository: 30 Year: 2012 Year: 2003

Sort by Score Title Year -

1-3 from 3 results (0.019 seconds)

Title: Verificación formal en ACL2 del algoritmo de Buchberger / Formal verification of Buchberger's algorithm in ACL2
Author: Medina Bulo, Inmaculada
Language: Español
Repository: 30
Subject: computer science / mathematics / ciencia de la computación / matemáticas / artificial intelligence / inteligencia artificial

AccederAcceder
Title: Desarrollo de sustratos de carburo de silicio mediante carburización e implantación iónica de silicio monocristalino
Author: Morales Sánchez, Francisco Miguel
Language: Español
Repository: 30
Subject: engineering, materials Science / physics, condensed matter / engineering, electronics and electrical / ciencias de los materiales / materia condesada / electrónica

AccederAcceder
Title: El proceso de internacionalización del sistema bancario español: incidencia de las nuevas tecnologías de la información / The internationalization process of the Spanish banking: Impact of the new information technologies
Author: Muriel de los Reyes, María José
Language: Español
Repository: 30
Subject: business administration, banking / information science / bancos / ciencias de la información

AccederAcceder

« Previous 1 Next »