OPAC

Your search

Query: FORMAL LANGUAGES Repository: 72 Language: Español Year: 2013

Sort by Score Title Year -

1-6 from 6 results (0.013 seconds)

Title: Beneficios del uso de Maude para desarrollar sistemas adaptativos
Author: Inglés Romero, Juan Francisco / Vicente Chicote, Cristina
Language: Español
Repository: 72
Subject: Maude / Lenguaje de especificación formal / Lógica ecuacional / Sistemas auto-adaptativos

Acceder
Title: Plan de despliegue y proliferación
Author: Paredes Maldonado, Miguel
Language: Español
Repository: 72
Subject: Tiempo / Campo / Eventos / Aleaciones / Trasformación / Time / Field / Event / Alloy / Transformation

Acceder
Title: Certificación energética y propuestas de mejora del edificio de "Investigación, Desarrollo e Innovación" de la Universidad Politécnica de Cartagena (UPCT)
Author: Rubio Aliaga, Álvaro
Language: Español
Repository: 72
Subject: Certificación energética / Energías renovables / UPCT

Acceder
Title: Muerte y deconstrución de Vitruvio
Author: García Sánchez, Rafael
Language: Español
Repository: 72
Subject: Deconstrucción / Postmodernidad / Ideologías / Fragmentos / Filosofía / Vitruvio / Deconstruction / Postmodernism / Ideologies / Fragment / Philosophy / Vitruvius

Acceder
Title: La construcción en cantería en la Galicia barroca. Las monteas del coro alto de la capilla de San Telmo de Tui / Ashlar construction in Galicia in the Baroque period. The tracings in the tribune of the chapel of Saint Telmo in Tui
Author: Calvo López, José / Alonso Rodríguez, Miguel Ángel / Taín Guzmán, Miguel / Natividad Vivó, Pau
Language: Español
Repository: 72
Subject: Monumento histórico / Historic monuments / Arquitectura tradicional / Traditional architecture / Construcciones Arquitectónicas

Acceder
Title: Test de independencia en series temporales
Author: Vera Nieto, Salvador
Language: Español
Repository: 72
Subject: Series temporales / Tests

Acceder

« Previous 1 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search