Starten Sie Ihre Suche...


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

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Publikationen
Ergebnisse pro Seite:  10

Peltier, Nicolas; Sofronie-Stokkermans, Viorica

First-order Theorem Proving: Foreword

Journal of Symbolic Computation. Bd. 47. H. 9. Amsterdam: Elsevier 2012 S. 1009 - 1010

Peltier, Nicolas; Sofronie-Stokkermans, Viorica

First-order theorem proving: Foreword.

J. Symb. Comput. Bd. 47. H. 9. 2012 S. 1009 - 1010

Mu, Mu; Romaniak, Piotr; Mauthe, Andreas et al.

Framework for the integrated video quality assessment

Multimedia Tools and Applications. Bd. 61. H. 3. Dordrecht: Springer 2012 S. 787 - 817

Wessel, Christian; Humberg, Thorsten; Wenzel, Sven et al.

Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen

Stefan Jähnichen;Bernhard Rumpe;Holger Schlingloff (Hrsg). Software Engineering 2012: Workshopband; Tagung vom 27. Februar - 02. März 2012 in Berlin. Bonn: Gesellschaft für Informatik 2012 S. 175 - 181

Wessel, Christian; Humberg, Thorsten; Wenzel, Sven et al.

Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen.

Software Engineering (Workshops). 2012 S. 175 - 181

Von Kortzfleisch, Harald F. O.

Führung: Grundperspektiven und ehrenamtliche Besonderheiten

Eva Fischer (Hrsg). Führen im Ehrenamt. Siegburg: Josef Eul 2012 S. 1 - 10

Jörg, Becker; Delfmann, Patrick; Mathias, Eggert et al.

Generalizability and Applicability of Model-based Business Process Compliance Checking Approaches – A State-of-the-Art Analysis and Research Roadmap

Business Research. Bd. 5. H. 2. 2012 S. 221 - 247

Jörg, Becker; Delfmann, Patrick; Eggert, Mathias et al.

Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches - A State-of-the-Art Analysis and Research Roadmap

Business Research. Bd. 5. H. 2. Heidelberg: Springer 2012 S. 221 - 247