UnivIS Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg - Semester: SS 2000
  Config

 ---

Veranstaltungen anzeigen


Architecture and Programming of Distributed and Parallel Systems

Architectures of High Performance Computers

VORL; 2 SWS; ECTS: 4; Mo, 14:15 - 15:45, 2.038; ab 8.5.2000
  Dal Cin, M.  

Eingebettete verlässliche Systeme: Modellierung, Verifikation und Bewertung

V/UE; 4 SWS; ECTS: 8; on demand in English, Schein möglich; Do, 14:00 - 15:30, 07.150; ab 4.5.2000; Übungen n.V.
  Dal Cin, M.  

Security for Distributed Systems and the Internet [SDSI]

VORL; 2 SWS; Schein; ECTS: 4; in englisch; Mo-Do, 9:00 - 17:00, Raum n.V.; Fr, 9:00 - 12:00, Raum n.V.; ab 31.7.2000; Blockveranstaltung vom 31.07.-03.08.2000, Mo.-Do. 09:00-15:30, Fr. 09:00-12:30, Raum 0.031
  Kaiserswerth, M.  

Automatische Verifikation verteilter Echtzeitsysteme

HS; 2 SWS; Schein; ECTS: 4; Fr, 10:00 - 12:00, 00.152
  Siegle, M.
Klehmet, U.
Meyer-Kayser, J.
 

Formal Design of Distributed Systems - Functional and Temporal Behavior [FDDS]

VORL; 2 SWS; ben. Schein; ECTS: 4; bei entsprechendem Interesse kann die Vorlesung auch in deutsch gehalten werden.; Di, 16:30 - 18:00, 2.037
  Herzog, U.
Klehmet, U.
Meyer-Kayser, J.
 

Programming Techniques for Supercomputers [PTfS]

V/UE; 4 SWS; In English.; Mi, 10:15 - 11:45, 00.152, 01.155-N; Di, 14:15 - 15:45, H8; Can be changed if necessary
  Wellein, G.  

   

 ---
Diese Seite zum Drucken vorbereiten