Suggested Topics within your search.
Suggested Topics within your search.
41
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
42
By:
Durán, Francisco, Rocha, Camilo, Álvarez, José María, Durán, Francisco, Rocha, Camilo, Álvarez, José María, Informática
Published in: Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Published in: Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
43
By:
Rocha, Camilo, Muñoz, César, Dowek, Gilles, Rocha, Camilo, Muñoz, César, Dowek, Gilles, Informática
Published: 2011
Published: 2011
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
44
By:
Rocha, Camilo, Meseguer, José, Rocha, Camilo, Meseguer, José, Informática
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (2010)
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (2010)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
45
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Documento de Conferencia
46
By:
Useche Pelaez, David, Diaz Lopez, Daniel, Nespoli, Pantaleone, Gomez Marmol, Felix, Useche Pelaez, David, Diaz Lopez, Daniel, Nespoli, Pantaleone, Gomez Marmol, Felix, Informática
Published: 2018
Published: 2018
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Documento de Conferencia
47
By:
Rocha, Camilo, Muñoz, Cesar, Cadavid, Hector, Rocha, Camilo, Muñoz, Cesar, Cadavid, Hector, Informática
Published: 2009
Published: 2009
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
48
By:
Gutiérrez, Raúl, Meseguer, José, Rocha, Camilo, Gutiérrez, Raúl, Meseguer, José, Rocha, Camilo, Informática
Published in: Rewriting Logic and Its Applications (2012)
Published in: Rewriting Logic and Its Applications (2012)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
49
By:
Durán, Francisco, Rocha, Camilo, Álvarez, José María, Durán, Francisco, Rocha, Camilo, Álvarez, José María, 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
50
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
51
By:
Useche Pelaez, David, Diaz Lopez, Daniel, Nespoli, Pantaleone, Gomez Marmol, Felix, Useche Pelaez, David, Diaz Lopez, Daniel, Nespoli, Pantaleone, Gomez Marmol, Felix, Informática
Published: 2018-10
Published: 2018-10
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Documento de Conferencia
52
By:
Gómez Sarmiento, Tatiana Marcela, Morera González, María Alejandra, Muñoz Moreno, Aura María, Santiago Cely, Claudia Patricia, Gómez Sarmiento, Tatiana Marcela, Morera González, María Alejandra, Muñoz Moreno, Aura María, Santiago Cely, Claudia Patricia, Informática
Published: 2015
Published: 2015
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
53
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Capítulo - Parte de Libro
54
By:
Rocha, Camilo, Cadavid, Héctor, Siminiceanu, Radu, Rocha, Camilo, Cadavid, Héctor, Siminiceanu, Radu, Informática
Published in: Integrated Formal Methods (2012)
Published in: Integrated Formal Methods (2012)
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
55
By:
Cadavid Rengifo, Héctor Fabio, Cely Higuera, Jorge Humberto, García Segura, Juan Pablo, Cadavid Rengifo, Héctor Fabio, Cely Higuera, Jorge Humberto, García Segura, Juan Pablo, Informática
Published: 2011
Published: 2011
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
56
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
57
By:
Pérez Kaligari, Eliseo, Guerrero Rueda, William Javier, Pérez Kaligari, Eliseo, Guerrero Rueda, William Javier, Informática
Published: 2015
Published: 2015
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
58
By:
Cardona Orozco, Andres Felipe, Ospina, Victoria Eugenia, Cardona Orozco, Andres Felipe, Ospina, Victoria Eugenia, Informática
Published: 2017
Published: 2017
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
59
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
60
By:
Díaz Rozo, Mónica Alejandra, Díaz Rozo, María Irma, Díaz Rozo, Mónica Alejandra, Díaz Rozo, María Irma, Informática
Published: 2010-10
Published: 2010-10
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de periódico