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:
Keyword
: Mechatronics
Autor/Editor
: Srivastava, Prashant K.
Autor/Editor
: Voyles, Richard
Autor/Editor
: Mahmoud, Samhar
Autor/Editor
: Jiang, Zhiguo
Autor/Editor
: Magillo, Paola
Autor/Editor
: Shaw, Rhonda M.
Autor/Editor
: Fan, Lasheng
Autor/Editor
: Mangioni, Giuseppe
Autor/Editor
: Seki, Hirohisa
registros 1 al 1 de 1
Logic-Based Program Synthesis and Transformation
Autor/Editor:
Proietti, Maurizio
Seki, Hirohisa
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-17822-6
+ info
registros 1 al 1 de 1