Starten Sie Ihre Suche...


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

Suche


101617 Treffer


× Johannes Gutenberg-Universität Mainz
× Universität Koblenz
× Katholische Hochschule Mainz
× Theologische Fakultät Trier
× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen






  • Jürjens, Jan
  • Using UMLsec and Goal-Trees for Secure Systems Development
  • Gary B. Lamont;Hisham Haddad;George Papadopoulos;Brajendra Panda (Hrsg). Proceedings of the ACM Symposium on Applied Computing SAC 2002: Madrid, Spain; March 11 - 14, 2002. New York, NY: ACM Association for Computing Machinery 2002 S. 1026 - 1030




  • Loepp, Benedikt; Ziegler, Jürgen
  • Komplexe Präferenzprofile für intermodale Navigation
  • Michael Koch;Andreas Butz;Johann Schlichter (Hrsg). Mensch und Computer 2014 – Workshopband: 14. Fachübergreifende Konferenz für Interaktive und Kooperative Medien – Interaktiv unterwegs - Freiräume gestalten; 31. August bis 3. September 2014 in München. Berlin: De Gruyter Oldenbourg 2014 S. 191 - 198

  • Horbach, Matthias; Sofronie-Stokkermans, Viorica
  • Locality Transfer: From Constrained Axiomatizations to Reachability Predicates
  • Stéphane Demri;Deepak Kapur;Christoph Weidenbach (Hrsg). Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 192 - 207