Starten Sie Ihre Suche...


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

Suche


7518 Treffer


× Publikationen
× Universität Koblenz
× Universität Trier
× Katholische Hochschule Mainz
× Hochschule Worms
× Theologische Fakultät Trier





  • Heinz, Marcel; Helsper, Philipp; Lämmel, Ralf et al.
  • A DSL for executable ’how to’ manuals
  • Sascha Ossowski (Hrsg). Proceedings of the 31st Annual ACM Symposium on Applied Computing SAC 2016; Pisa, Italy; April 4-8, 2016. New York, NY: ACM Association for Computing Machinery 2016 S. 2007 - 2009




  • Shirazi, Syed Noorulhassan; Simpson, Steven; Syeda, Kanza Noor et al.
  • Towards policy refinement for resilience management in cloud
  • Magnus Jonsson;Jacek Rak;Arun Somani;Dimitri Papadimitriou;Alexey Vinel (Hrsg). Proceedings of the 8th International Workshop on Resilient Networks Design and Modeling RNDM 2016: Halmstad, Sweden, September 13- 15, 2016. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2016 S. 260 - 266

  • Corea, Carl; Thimm, Matthias
  • Using Matrix Exponentials for Abstract Argumentation
  • Matthias Thimm;Federico Cerutti;Hannes Strass;Mauro Vallati (Hrsg). Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation SAFA co-located with the 6th International Conference on Computational Models of Argument COMMA 2016: Potsdam, Germany, September 13, 2016. Aachen: CEUR/RWTH 2016 S. 10 - 21