Starten Sie Ihre Suche...


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

Suche


23018 Treffer


× Theologische Fakultät Trier
× Universität Koblenz





  • Beckers, Kristian; Jürjens, Jan
  • Security and Compliance in Clouds
  • Norbert Pohlmann;Helmut Reimer;Wolfgang Schneider (Hrsg). ISSE 2010 - Securing Electronic Business Processes: Highlights of the Information Security Solutions Europe 2010 Conference, Berlin, Germany, October 5-7, 2010. Wiesbaden: Vieweg + Teubner 2010 S. 91 - 100

  • Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
  • On First-Order Model-Based Reasoning
  • Narciso Marti-Oliet;Peter Csaba Ölveczky;Carolyn Talcott (Hrsg). Logic, Rewriting, and Concurrency. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2015 S. 181 - 204