1994. Das Techno-Fieber erfasst das wiedervereinte Deutschland, doch davon bekommt Karl Schmidt (...

Dieses Lehrbuch, entstanden aus einer Anfängervorlesung aus dem Informatik-Studiengang an der Lei...

For the first time, this Handbook provides a comprehensive overview of the object, the history, t...

Geister, Hexen und andere übernatürliche Akteure spielen in vielen afrikanischen Gesellschaften e...

Dieses Lehrbuch, entstanden aus einer Anfängervorlesung aus dem Informatik-Studiengang an der Lei...

Dieses Lehrbuch, entstanden aus einer Anfängervorlesung aus dem Informatik-Studiengang an der Lei...

This LNCS conference volume constitutes the proceedings of the 13th International Symposium, FoIK...

The automatic verification of computer programs is an important step in software engineering. In ...

Das Handbuch bietet erstmals einen umfassenden Überblick über den Gegenstand, die Geschichte, die...

This LNCS conference volume constitutes the proceedings of the 13th International Symposium, FoIK...