development  (42.730 Angebote unter 30.877.224 Artikeln)

Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the...

This book integrates the different prospective, scientific and practical experience of researchers as well as beneficiaries and stakeholders in the field of forest conservation in Southeast Europe....

This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full paper...

This book, now in its second edition, provides an introductory course on theoretical particle physics with the aim of filling the gap that exists between basic courses of classical and quantum mech...

Today, the effect of global climate change is clear to all. It is clearly dangerous in developing countries such as Bangladesh. The industrial revolution caused major changes in technology, socio-e...

This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full papers presen...

This volume offers a sophisticated exploration of the history of weapons and warfare in Europe and the Atlantic world, aimed at stimulating and inspiring those with an interest in this domain. It i...

At a time when technology has unleashed architects to design the most extravagant tangible forms, could questioning the concept of form in an abstract medium like music, which lies in the territory...

This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of ...

The book is an expanded autobiography of the famous theoretical physicist Isaak Khalatnikov. He worked together with L.D. Landau at the Institute for Physical Problems lead by P.L. Kapitza. He is t...

A New Methodology to Model Form-Based Applications

Using the SOFL Method

The macroeconomic development of south-eastern Europe has been profoundly affected not only by the region's major historical events - for example, liberation from the Ottoman Empire, the outbreak o...

The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (C...