Penulis: Alexandra Silva

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchatel, Switzerlan …

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in th …

Tourism has been identified has a major sector of economic activity since the latter part of the twentieth century. Its importance has been growing and the diversification of tourism products and des …

This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, Tbi LLC 2017, held in Lagodekhi, Georgia, in September 2017.The volume c …

This book provides a forum for discussion of topics that are relevant to the field of sport psychology. The subjects covered will include theory, research, and practice of sport psychology, as well a …

…

Edited in collaboration with Fo LLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communi …

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.Th …

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.Th …

Na vida temos desafios que o medo pode limitar, mas que adoraríamos superar. Este livro, de uma forma divertida, vai ajudar as crianças a perceber  onde vive a coragem e, através de alguns truqu …