Dem alleinerziehende Berliner Bernd Vogel fällt es schwer, sein Alter zu akzeptieren. Und so will...

In der Agility noch mehr als in allen anderen Hundesportarten ist eine klare und störungsfreie Ko...

Das lineare Wirtschaftsmodell führt zu steigendem Ressourcenverbrauch, Müllbergen, hohen CO2-Emis...

Der Umgang mit jugendlichen Gewalttätern ist schwierig und stellt an die professionelle Fachkraft...

This volume contains the proceedings of the International Conference on C- puter Aided Veri?catio...

This volume is a documentation of the main results in the research area In- gration of Software S...

This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techni...

Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behande...

Formal methods for hardware design still find limited use in industry. Yet current practice has t...