×
Starten Sie Ihre Suche...
SciPort
RLP
Login
Newsletter
Über uns
EN
Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden.
OK
Weitere Informationen
Institut für Informatik
Projekte
Institut für Informatik
FB 4: Informatik
/
Universität Koblenz
Universitätsstraße 1, 56070 Koblenz
0261/287 - 2720
0261/287 - 2721
Einrichtungen
15 ForscherInnen
118 Projekte
1287 Publikationen
1287 Publikationen
Forschungsprojekte
PDF
|
RTF
Ergebnisse pro Seite:
10
10
25
50
100
ab 1990
Relationales CAD-System RelCAD
Manfred Rosendahl
ab 1990
Formale Ansätze in der Softwaretechnik
Jürgen Ebert
ab 1988
MetaCASE: KOGGE und JKogge
Jürgen Ebert
ab 1988
NEPTUN
ab 1985
Graphentechnologie (EER/GRAL)
Jürgen Ebert
bis 1999
Modellbasierte Deduktion
Ulrich Furbach
Echtzeitplanung für Prozesse mit Altersanforderungen (EZ)
Dieter Zöbel
Software Reengineering
Jürgen Ebert
RoboLog - Deduktive Ansätze für den RoboCup
Ulrich Furbach
Rheinische Landesbibliothek im Internet
Manfred Rosendahl
«
1
2
…
11
12
»
Fragen? Anregungen? Lob oder Kritik?
×
Haben Sie Fragen, einen Fehler gefunden oder einen Vorschlag wie wir SciPort verbessern können? Dann senden Sie uns eine Nachricht über das Kontaktformular. Wir werden uns schnellstmöglich darum kümmern.
Bitte tragen Sie Ihre korrekte E-Mail Adresse ein
Bitte tragen Sie Ihre Nachricht ein
Ihre Email-Adresse:
Ihre Nachricht:
Vielen Dank für Ihre Nachricht.
Ihre E-Mail wurde erfolgreich gesendet...
