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

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

Der Umgang mit jugendlichen Gewalttatern ist schwierig und stellt an die professionelle Fachkraft...

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

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

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

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

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...

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

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