Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Forschungsprojekte
PDF | RTF
Ergebnisse pro Seite:  10

2004 - 2015

Automatisierte Verifikation kooperierender Verkehrssysteme (TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)

2003 - 2006

Inhaltliche Ausgestaltung der Virtuellen Fachbibliothek Sozialwissenschaften (InhalteViBSoz)

2003 - 2005

Modellbasierte Prädikatenlogische Deduktion mit einer Anwendung im Dokumentenmanagement

2003 - 2005

Mapping of Research in European Social Sciences and Humanities (MORESS)

2002 - 2005

SimWeb: Exploring Innovative eBusiness Models using Agent Simulation; A project funded by the European Commissions programme on Information Society Technologies 2002-2004; ;

2001 - 2008

Cross-Language Evaluation Forum (CLEF) in Kooperation mit dem Network of Excellence on Digital Libraries

2001 - 2003

Deduktiver Entwurf, Analyse und Verifikation von Multiagenten-Systemen für den RoboCup

2001 - 2005

Informationsverbund Pädagogik - Sozialwissenschaften - Psychologie (infoconnex)

2001 - 2003

In2Math: Interaktive Elemente in der Mathematik und Informatikgrundausbildung

2001 - 2004

Debeka eLearning