ana cavalcanti

Refinement Techniques in Software Engineering

This tutorial book presents an augmented selection of the material presented at the First Pernamb...

Handlettering digital

Sehen Sie in diesem Buch, wie cool es ist, analoge Techniken direkt digital umzusetzen! Procreate...

Theoretical Aspects of Computing

Theoretical Aspects of Computing - ICTAC 2006

This book constitutes the refereed proceedings of the Third International Colloquium on Theoretic...

Testing Techniques in Software Engineering

The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events de...

Formal Methods and Software Engineering

This book constitutes the refereed proceedings of the 11th International Conference on Formal Eng...

Critical Systems: Formal Methods and Automated Verification

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal...

FM 2009: Formal Methods

This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Forma...

Software Engineering for Robotics

The topics covered in this book range from modeling and programming languages and environments, v...

Organ Transplantation and Native Peoples

The approach proposed in this book is based on the assumption that there are other concepts of bo...

Ambulatório de Clínica Médica

Esta obra reflete a experiência clínica do Serviço de Clínica Médica do HUCFF, que se desenvolve ...

Burle Marx e o Recife

Neste livro são analisadas 15 praças do Recife projetadas pelo mais celebrado paisagista brasilei...