Hauptnavigation
Seiteninhalt
Inhalt
Hilfe & Kontakt
Suche
Universität
Universität
Über die Universität Konstanz
Aktuelles und Medien
Leitung, Organisation und Verwaltung
Sektionen und Fachbereiche
Exzellenzstrategie
International
Transfer
Nachhaltige Entwicklung
Forschen
Forschen
Forschungsprofil
Exzellenzstrategie
Akademische Karriereentwicklung
Forschungseinrichtungen
Forschungsförderung und wissenschaftsunterstützende Angebote
Transfer
International
Studieren
Studieren
Vor dem Studium
Bewerbung und Immatrikulation
Im Studium
Rund ums Studium
Nach dem Studium
International studieren
Universität für alle
Beratung und Service
Lehren
Lehren
Lehrprofil
Weiterentwicklung der Lehre
Lehrendenportal
Digital unterstützte Lehre
Didaktische Weiterbildung
Förderprogramme und Preise
Studiengangsentwicklung
Ansprechpersonen
campus.kn
Barrierefreiheit
de
English
Meine Universität
Melden Sie sich mit Ihrem Uni-Account an, um auf passwortgeschützte Bereiche zugreifen zu können.
Benutzername
Passwort
Zugangsdaten vergessen?
Anmelden
Suche
SciKon
Projekte
SciKon
Projekte
Menü
Home
Personen
Projekte
Publikationen
Javascript ist deaktiviert. Daher kommt es zur Zeit noch zu Einschränkungen in der Funktionalität und Ansicht der Forschungsplattform.
196 Ergebnisse
Suchergebnis für "Institution: FB Informatik und Informationswissenschaft"
Titel
Institution
Startdatum
Enddatum
DiRePro: Directed Model Checking in the Analysis of Real-Time and Probabilistic Systems
AG Leue (Software and Systems Engineering)
30.09.2011
Aufbau einer netzwerkbasierten Usability Informationsplattform für Unternehmen der Region Alpenrhein-Bodensee-Hochrhein
AG Reiterer (Human-Computer Interaction)
31.12.2006
Entwurf komplexer Softwaresysteme / Engineering Complex Software Systems
AG Leue (Software and Systems Engineering)
31.12.2099
SoFaLoc: Lokalisierung von Software Fehlern / Software Fault Localization
AG Leue (Software and Systems Engineering)
30.09.2007
Exploration und Visualisierung großer Informationsmengen
AG Saupe (Multimedia Signalverarbeitung)
30.06.2013
IMCOS: Unvollständige Model Checking für Objektorientierte Nebenläufige Systeme
AG Leue (Software and Systems Engineering)
31.12.2006
LDAP/PKI
IT-Dienste Verwaltungsprozesse
AG Waldvogel (Distributed Systems)
31.12.2006
Unvollständige Model Checking für Objektorientierte Nebenläufige Systeme
AG Leue (Software and Systems Engineering)
30.08.2005
BEST - Business Excellence in Software Usability and Design
AG Reiterer (Human-Computer Interaction)
31.12.2008
Ähnlichkeitssuche durch Gestaltcharakterisierung auf 3D Datenbanken
AG Keim (Data Analysis and Visualization)
31.12.2004
<<
<
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
>
>>
Suche ausblenden
Universität Konstanz Suche
Seitensuche
KonSearch
Lokaler Bibliothekskatalog
Suchbegriffe
Suchen
Suchergebnisse
Vorschläge