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
Forschungsprojekte
Ergebnisse pro Seite:  10

2004 - 2015

Über Realzeitautomaten hinaus (Teilprojekt TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)

2004 - 2015

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

2004 - 2006

Wiederverwendung fachkonzeptioneller Softwaremodelle für kleine und mittlere Softwareunternehmen durch adaptive, komponentenorientierte Referenzmodellierung: Konzept, Modellierungstechnik und Werkzeug (RefMod06)

2003 - 2006

Inhaltliche Ausgestaltung der Virtuellen Fachbibliothek Sozialwissenschaften (InhalteViBSoz)

2003 - 2005

Modellbasierte Prädikatenlogische Deduktion mit einer Anwendung im Dokumentenmanagement

2003 - 2025

Projekt technikcamps

2003 - 2005

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

2003 - 2005

3D-RETISEG (3D-Real-Time-Segmentation)

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