Weihnachten in SchwedenAstrid Lindgrens Geschichten haben unsere Träume von Weihnachten geprägt, ...

This volume contains papers presented at the secondinternational workshopon extensions of logic p...

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). T...

Ett ord. En A4 sida. En månad. Det är utgångspunkt och ram för bokens texter. I mars 2016 bildade...

Lars-Owe Eriksson är sedan många år pensionär. Han har då och då, under flera decennier när inspi...

Control systems have come to play an important role in the performance of modern vehicles with re...

The purpose of this book is to provide a theoretical foundation and an understanding of atomistic...

Covering everything from historical and international perspectives to basic science and current c...

Offering up-to-date coverage of everything from historical and international perspectives to basi...