Die schweigenden Götter : eine Studie zur Gottesvorstellung des religiösen Platonismus /

Autor Schneider, Klaus
Vydáno 1966

Verification of reactive systems : formal methods and algorithms /

Autor Schneider, Klaus, 1967-
Vydáno 2004

Drogengefahr : Früherkennung - Rauschwirkung - Folgen.

Autor Faust, Volker, 1941-, Carlhoff, Hans-Werner, 1947-, Schneider, Klaus D., 1953-
Vydáno 1982

Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007 : Kaiserslautern, Germany, September 10-13, 2007 : proceedings /

Vydáno 2007