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

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

Integration of Software Specification Techniques for Applications in Engineering: Introduction an...

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

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