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

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

The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, T...

A situação de insegurança alimentar, especialmente quando expressa pela fome, é prevalente em pes...

Formal methods for development of computer systems have been extensively studied over the years. ...

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

O sorgo (Sorghum bicolor (L.) Moench) é uma gramínea originária da região central do continente a...

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

This book presents important concepts from medical and socio-cultural anthropology to health prof...

Sorghum (Sorghum bicolor (L.) Moench) is a grass native to the central region of the African cont...

Il sorgo (Sorghum bicolor (L.) Moench) è una graminacea originaria della regione centrale del con...

Sorghum (Sorghum bicolor (L.) Moench) ist ein Gras, das in der zentralen Region des afrikanischen...