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.
192 Ergebnisse
Suchergebnis für "Institution: Informatik und Informationswiss."
Titel
Institution
Startdatum
Enddatum
Research on the Topic of Hierarchical Network Maps
FB Informatik und Informationswissenschaft
AG Keim (Data Analysis and Visualization)
30.08.2008
Unvollständige automatische Verifikation von Software-Designmodellen für nebenläufige objektorientierte eingebettete Echtzeitsysteme basierend auf dem Paradigma der erweiterten kommunizierenden Zustandsautomaten
AG Leue (Software and Systems Engineering)
31.03.2009
Enhancement of photographs using virtual earth
AG Deussen (Visual Computing)
31.12.2007
Modeling, simulating and visualizing complex, realistic landscapes and ecosystems
AG Deussen (Visual Computing)
31.12.2009
inteHRDis - Interaktionstechniken für hochauflösende Displays
FB Informatik und Informationswissenschaft
AG Reiterer (Human-Computer Interaction)
31.12.2011
Reliable Opportunistic Mobile Networks
AG Waldvogel (Distributed Systems)
31.03.2009
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
<<
<
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