Ein bewegungsorientierter Ideenpool für die direkte StottertherapieDas Pr...
Das deutsche Kabelfernsehnetz ist mit 22 Mio. angeschlossenen Haushalten das zweitgrößte nach den...
In dieser Untersuchung geht es um die ökonomische und technologische Dynamik der Informations- un...
Static analysis of software with deductive methods is a highly dynamic field of research on the v...
The ultimate goal of program verification is not the theory behind the tools or the tools themsel...
Static analysis of software with deductive methods is a highly dynamic field of research on th...
In dieser Untersuchung geht es um die ökonomische und technologische Dynamik der Informations-...
Long gone are the days when program veri?cation was a task carried out merely by hand with paper ...
Das Non Profit Law Yearbook 2015 2016 enthält folgende Beiträge:- Jens Beckert: Erben, steuern un...