Das Herbstsemester 2020 findet in einer gemischten Form aus Online- und Präsenzunterricht statt.
Bitte lesen Sie die publizierten Informationen zu den einzelnen Lehrveranstaltungen genau.

Suchergebnis: Lerneinheiten im Frühjahrssemester 2016

CAS in Informatik Information
Fokusfächer und Wahlfächer
NummerTitelTypECTSUmfangDozierende
252-0312-00LUbiquitous Computing Information W3 KP2VS. Mayer
252-0355-00LObject Databases Information W4 KP2V + 1UA. K. de Spindler
252-0374-00LWeb Engineering Information W6 KP2V + 2U + 1AM. Norrie
252-0407-00LCryptography Foundations Information W7 KP3V + 2U + 1AU. Maurer
252-0408-00LCryptographic Protocols Information
Findet dieses Semester nicht statt.
W5 KP2V + 2UU. Maurer
252-0491-00LSatisfiability of Boolean Formulas - Combinatorics and Algorithms Information
Findet im Frühjahrssemester 2016 zum letzten Mal statt.
W7 KP3V + 2U + 1AE. Welzl
252-0526-00LStatistical Learning Theory Information W4 KP2V + 1UJ. M. Buhmann
252-0538-00LShape Modeling and Geometry Processing Information
Findet dieses Semester nicht statt.
W4 KP2V + 1UO. Sorkine Hornung
252-0579-00L3D Vision Information W4 KP3GM. Pollefeys, T. Sattler
252-0820-00LCase Studies from Practice Information W4 KP2V + 1UM. Brandis
252-1403-00LEinführung in die Quanteninformatik Information W3 KP2GS. Wolf
252-1424-00LModels of Computation Information W6 KP2V + 2U + 1AM. Cook
252-3005-00LIntroduction to Natural Language Processing Information W4 KP2V + 1UT. Hofmann, M. Ciaramita
252-5706-00LMathematical Foundations of Computer Graphics and Vision Information W4 KP2V + 1UJ.‑C. Bazin, M. R. Oswald, C. Öztireli
263-2300-00LHow To Write Fast Numerical Code Information
Prerequisite: Master student, solid C programming skills.
W6 KP3V + 2UM. Püschel
263-2810-00LAdvanced Compiler Design Information W7 KP3V + 2U + 1AT. Gross
263-2910-00LProgram Analysis and Synthesis Information W6 KP3V + 2UM. Vechev
263-3501-00LAdvanced Computer Networks Information W5 KP2V + 2UP. M. Stüdi
263-3700-00LUser Interface Engineering Information W4 KP2V + 1UO. Hilliges, F. Pece
263-4600-00LFormal Methods for Information Security Information W4 KP2V + 1UC. Sprenger, S. Radomirovic, R. Sasse
  •  Seite  1  von  2 Nächste Seite Letzte Seite     Alle