-
TaschenbuchBOD - 2 Tage
Invited Talk (Abstract).- Pervasive Computing - A Case for the Precautionary Principle?.- Session...
-
TaschenbuchBOD - 2 Tage
This volume contains the contributions presented at the International Workshop on Current Trends ...
-
TaschenbuchBOD - 2 Tage
By presenting state-of-the-art results in logical reasoning and formal methods in the context of ...
-
TaschenbuchBOD - 2 Tage
Invited Talks (Abstracts).- The Age of Pervasive Computing - Everything Smart, Everything Connect...
-
TaschenbuchBOD - 2 Tage
Die Enquete-Kommission 'Schutz des Menschen und der Umwelt' hat mit den ehrgeizigen Zielen, die F...
-
BuchBOD - 7 Tage
Rippling is a radically new technique for the automation of mathematical reasoning. It is widely ...
- 1