Starten Sie Ihre Suche...


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

Suche


5560 Treffer


× Publikationen
× Universität Koblenz
× Hochschule Trier
× Theologische Fakultät Trier



  • Sofronie-Stokkermans, Viorica
  • On Combinations of Local Theory Extensions
  • Andrei Voronkov;Christoph Weidenbach (Hrsg). Programming Logics: Essays in Memory of Harald Ganzinger. Berlin: Springer 2013 S. 392 - 413







  • Naumann, Stefan; Dick, Markus; Drangmeister, Jakob et al.
  • Green software engineering with agile methods
  • International Workshop on Green and Sustainable Software (Hrsg). 2nd International Workshop on Green and Sustainable Software (GREENS 2013), 35th International Conference on Software Engineering (ICSE 2013); 20 May 2013, San Francisco, CA, USA. Piscataway, NJ: IEEE 2013 S. 78 - 85