This volume contains the contributions presented at the International Workshop on Current Trends ...

By presenting state-of-the-art results in logical reasoning and formal methods in the context of ...

Invited Talks (Abstracts).- The Age of Pervasive Computing - Everything Smart, Everything Connect...

Dieses Buch ist kein Tagebuch und kein Motivationsratgeber.Es ist ein Psychologie Journal für Hoc...

Die Gedächtnisschrift ist dem am 20. Dezember 2005 verstorbenen Michael Gruson gewidmet, der welt...