Buscar
Mostrando ítems 1-10 de 7273
Verificação formal na indústria
(Universidade Federal de Minas GeraisUFMG, 2016-02-29)
Formal Methods is a group of system design techniques that use mathematics formalism to assist specification, development and verification steps. The approach can reduce specifications ambiguities and inconsistences, provide ...
In/formal: encuentros urbanos para los próximos 100In/formal: urban encounters for the next 100
(Universidad Nacional de Ingeniería, 2018)
In/formal: encuentros urbanos para los próximos 100In/formal: urban encounters for the next 100
(Universidad Nacional de Ingeniería, 2018)
Ingapirca: arquitectura y análisis formal
(UTE, 2018)
Nosotros y la ética material de Kant.
(2011-10-13)
Kant con sus últimos escritos enriquece su formalismo ético mediante una ética material con la cual aclara que no es suficiente saber cómo obrar sino también qué debemos obrar, hacia dónde deben dirigirse nuestros actos. ...
Ver o livro como buraco negro: a formalização material da Antologia da Literatura Fantástica, de Bioy Casares, Borges e Ocampo
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Estudos de Literatura - PPGLitCâmpus São Carlos, 2019-05-27)
Considering that editorial mediation plays a constitutive role in the functioning of the discursive regimes of literature, we state a hypothesis: whenever a literary work is (re)published as a new editorial object, the ...
Pre-requisitos epistemológicos de la Filosofía de la educación / Epistemological pre-requirements of the Philosophy of Education
(2013-06)
This article aims to discuss the relevance of the questions raised so far by the philosophy of education, and
if it reaches its essence. To do this, once the author has defined the core emerging anthropological Philosophy ...