Die Kriege des Zorns In der Prähistorie arbeiteten die Werwölfe an der Seite der anderen Gestaltw...

Ein Monodrama ist ein Stück, das mit nur einer Person auf der Bühne auskommt. Im Gegensatz zu sei...

This book constitutes the proceedings of the Third International Conference on Abstract State Mac...

Niveau B1

Niveau B2

Research on theoretical aspects of computing has a direct impact on the pr- tice of computer syst...

As atmospheric concentrations of greenhouse gases continue toincrease, so does the potential fo...

The underlying theme uniting the papers of this volume is the quest for a further understanding o...

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFor...

International concern for the continued growth of greenhousegas emissions, and the potentially ...

One of the most significant challenges in the development of embedded and cyber-physical systems ...

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Meth...