Suggested Topics within your search.
1
Cover Image
Topology optimization with structural elements for the design of steel structures
By: Cuevas Carvajal, Nicolas, Montoya Vallejo, Miguel Fernando, Norato Escobar, Julián Andrés, Cuevas Carvajal, Nicolas
Published: 2024
Fuente: Escuela Colombiana de Ingeniería
Subjects: '; “...Estructuras de acero...”
Tipo de material: Trabajo de grado - Maestría
Save to List
Saved in:
2
Cover Image
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
By: Cadavid Rengifo, Hector Fabio, Rocha, Camilo, Muñoz, Cesar, Cadavid Rengifo, Hector Fabio, Rocha, Camilo, Muñoz, Cesar, Informática
Published in: Lecture Notes in Computer Science (2012)
Fuente: Escuela Colombiana de Ingeniería
Subjects: '; “...Estructura Kripke...”
Tipo de material: Artículo de revista
Save to List
Saved in:
3
Cover Image
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
By: Rocha, Camilo, Cadavid, Héctor, Siminiceanu, Radu, Rocha, Camilo, Cadavid, Héctor, Siminiceanu, Radu, Informática
Published in: Integrated Formal Methods (2012)
Fuente: Escuela Colombiana de Ingeniería
Subjects: '; “...Estructura Kripke...”
Tipo de material: Artículo de revista
Save to List
Saved in:
4
Cover Image
Natural hazards, vulnerability and structural resilience: tsunamis and industrial tanks
By: Mebarkia, Ahmed, Jerez, Sandra, Prodhomme, Gaetan, Reimeringer, Mathieu, Mebarkia, Ahmed, Jerez, Sandra, Prodhomme, Gaetan, Reimeringer, Mathieu, Estructuras y Materiales
Published: 2016
Fuente: Escuela Colombiana de Ingeniería
Subjects: '; “...Ingeniería de estructuras...”
Tipo de material: Artículo de revista
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search