Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


103460 Treffer


× Johannes Gutenberg-Universität Mainz
× Universität Koblenz
× Hochschule Kaiserslautern
× Technische Hochschule Bingen
× Theologische Fakultät Trier



  • Steinruck, J.
  • Koblenzer Gravamina
  • Lexikon für Theologie und Kirche, Bd. 6. Freiburg. 1997 S. Sp. 164





  • Jürjens, Jan; Yampolskiy, Mark
  • Code security analysis with assertions
  • David F. Redmiles;Tom Ellman;Andrea Zisman (Hrsg). Proceeding of the 20th IEEE/ACM International Conference on Automated Software Engineering ASE 2005: Long Beach, California, USA; November 7-11, 2005. New York, NY: ACM Association for Computing Machinery 2005 S. 392 - 395