This book constitutes the refereed proceedings of the 5th International Symposium on Solving Irre...

Invited Presentations.- Recurrence in Infinite Words.- Generalized Model-Checking Problems for Fi...

This book constitutes the refereed proceedings of the 4th International Symposium on Solving Irre...

Invited Papers.- Hyper-Encryption and Everlasting Security.- Models and Techniques for Communicat...

This book presents the proceedings of the Second International Workshop on Parallel Algorithms fo...

This volume presents the proceedings of the First Canada-France Conference on Parallel Computing;...

A bacia do rio Doce é frequentemente atingida por inundações. Em decorrência desta problemática e...

Este livro investiga a configuração dos Crimes Violentos Letais e Intencionais - CVLI (homicídio,...

O aumento da [CO2] apresenta resultados diversos nas plantas de forma direta e indireta, sendo qu...

This book presents the SigniFYI Suite of conceptual and methodological tools, designed to uncover...

Atualmente a Voz sobre IP (VoIP), é um dos serviços de comunicação mais populares. Entretanto, há...

A pesquisa analisou como foram implementadas as políticas de permanência estudantil nos cursos de...