Buscar
Mostrando ítems 41-50 de 7399
Formal Methods for Smart ContractsMétodos Formales para Smart Contracts
(Barranquilla, Universidad del Norte, 2019, 2019)
Emprego formal e a eficiência do gasto do governo : um estudo em painés dinâmicos
(Universidade Estadual de MaringáBrasilDepartamento de EconomiaPrograma de Pós-Graduação em Ciências EconômicasUEMMaringá, PRCentro de Ciências Sociais Aplicadas, 2018)
A indicação formal como caminho para o Ser: o despertar hermenêutico-filosófico em Martin Heidegger
(Universidade do Vale do Rio dos Sinos, 2015-03-24)
With the publication of Gesamtausgabe we have the unique opportunity to accompany the genesis of the thought of Martin Heidegger. The different paths taken by his hermeneutic philosophy, the interruptions, the changes, the ...
Effects of Formal “Grammar” and “Direct Method” Training on the Number of Errors in Compositions Written by Sixth-GradersEffects of Formal “Grammar” and “Direct Method” Training on the Number of Errors in Compositions Written by Sixth-Graders
(Sociedad Mexicana de Análisis de la Conducta / Mexican Society of Behavior Analysis, 2011)
Formal specification and implementation of an automated pattern-based parallel-code generation framework
(Springer Verlag Berlín, 2017-08)
Programming correct parallel software in a cost-effective way is a challenging task requiring a high degree of expertise. As an attempt to overcoming the pitfalls undermining parallel programming, this paper proposes a ...
Abordagens de análise aplicadas ao 1º movimento da sinfonia nº 3, de Gustav Malher
(Universidade Estadual Paulista (UNESP), 2014)
Perfil dos trabalhadores e diferenciais de rendimentos: setor formal versus informal no Brasil
(Universidade Federal de Juiz de Fora - Campus Avançado de Governador ValadaresBrasilICSA - Instituto Ciências Sociais AplicadasUFJF/GV, 2018)