Suggested Topics within your search.
Suggested Topics within your search.
1
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
2
By:
Álvarez Piñeiro, Olga Patricia, Cadavid-Rengifo, Héctor, Álvarez Piñeiro, Olga Patricia, Cadavid-Rengifo, Héctor, Informática
Published: 2013
Published: 2013
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de periódico
3
Fuente: Escuela Colombiana de Ingeniería
“...,” an impressive array of techniques for elegant proof constructions. In this paper, we formalize intuitionistic...”
Tipo de material: Artículo de revista
4
By:
Cadavid Rengifo, Héctor Fabio, Chaparro Preciado, Javier Alberto, Cadavid Rengifo, Héctor Fabio, Chaparro Preciado, Javier Alberto, Informática
Published: 2016
Published: 2016
Fuente: Escuela Colombiana de Ingeniería
“... -aimed at critical mission systems- in the construction of robust robotic solutions for agricultural...”
Tipo de material: Capítulo - Parte de Libro
5
By:
Cadavid Rengifo, Héctor Fabio, Chaparro Preciado, Javier Alberto, Cadavid Rengifo, Héctor Fabio, Chaparro Preciado, Javier Alberto, Informática
Published in: 2016 IEEE Colombian Conference on Robotics and Automation (CCRA) (2016)
Published in: 2016 IEEE Colombian Conference on Robotics and Automation (CCRA) (2016)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
6
By:
Álvarez Piñeiro, Claudia Patricia, Álvarez Piñeiro, Claudia Patricia, Informática
Published: 2013
Published: 2013
Fuente: Escuela Colombiana de Ingeniería
“... and the development of the learning experience, the need for tools supporting collaborative construction...”
Tipo de material: Artículo de revista
7
By:
Rocha, Camilo, Meseguer, José, Rocha, Camilo, Meseguer, José, Informática
Published in: Algebra and Coalgebra in Computer Science (2011)
Published in: Algebra and Coalgebra in Computer Science (2011)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
8
By:
Rocha, Camilo, Rocha, Camilo, Informática
Published in: Logic, Rewriting, and Concurrency. (2015)
Published in: Logic, Rewriting, and Concurrency. (2015)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
9
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Documento de Conferencia
10
By:
Fougères, Alain-Jérôme, Ospina-Becerra, Victoria Eugenia, Fougères, Alain-Jérôme, Ospina-Becerra, Victoria Eugenia, Informática
Published: 2009
Published: 2009
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
11
By:
Benavides Navarro, Luis Daniel, Pimienta, Camilo, Sanabria, Mateo, Díaz, Daniel, Garzón, Wilmer, Mello, Wilson, Arboleda, Hugo, Benavides Navarro, Luis Daniel, Pimienta, Camilo, Sanabria, Mateo, Díaz, Daniel, Garzón, Wilmer, Mello, Wilson, Arboleda, Hugo, Informática
Published in: Communications in Computer and Information Science (2018)
Published in: Communications in Computer and Information Science (2018)
Fuente: Escuela Colombiana de Ingeniería
“... manipulation. The language introduces automata for operational time manipulation, causality constructs...”
Tipo de material: Artículo de revista
12
By:
Boujdad, Fatima-Zahra, Gaignard, Alban, Südholt, Mario, Garzón-Alfonso, Wilmer, Benavides Navarro, Luis Daniel, Redon, Richard, Boujdad, Fatima-Zahra, Gaignard, Alban, Südholt, Mario, Garzón-Alfonso, Wilmer, Benavides Navarro, Luis Daniel, Redon, Richard, Informática
Published: 2019
Published: 2019
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Documento de Conferencia
13
By:
Boujdad, Fatima-Zahra, Gaignard, Alban, Südholt, Mario, Garzón-Alfonso, Wilmer, Benavides Navarro, Luis Daniel, Redon, Richard, Boujdad, Fatima-Zahra, Gaignard, Alban, Südholt, Mario, Garzón-Alfonso, Wilmer, Benavides Navarro, Luis Daniel, Redon, Richard, Informática
Published: 2019
Published: 2019
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Documento de Conferencia