Wyniki wyszukiwania:

A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras as mathematical objects as well as in the context of their application in computer science the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway.

"

Inhaltsangabe: Einleitung: In der Bundesrepublik gibt es Gebiete, in denen sich die Industrie, der Handel und die Dienstleistungsbetriebe konzentrieren. Diese Gebiete sind dadurch gekennzeichnet, da sie uber eine geringe Arbeitslosenquote, eine gute Infrastrukturausstattung und uber eine groe Anzahl von verschiedenen Unternehmen verfugen. Ein Beispiel hierfur ist das Ruhrgebiet. Daneben gibt es aber auch Gebiete, die nicht uber so gute wirtschaftliche Bedingungen verfugen. Diese Regionen weisen eine hohe Arbeitslosenquote auf, da in diesen Gebieten kaum Arbeitsplatze in der Industrie und der...

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and...

Climate change is one of the most severe dangers for mankind worldwide. Beside the temperature increase, the sea level will rise and flood wide coastal areas, which is already remarkable today. The effects will be dramatic, in particular, at coasts with low elevation gradients such as at the German coasts of the North and Baltic Sea. The impact will be not only severe for coastal people, but still more for the unique coastal ecosystems, which harbors many plant and animal species that are already endangered today.This book focuses on the coastal terrestrial ecosystems of the German North and...