Lehrangebot

Lehrveranstaltungen suchen (2022W/2023S)
  1. Erweiterte Suche
NummerTypTitelStundenECTSSemesterVortragende_r
185.A26PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02023SCiabattoni, Agata
192.130VUDeontic Logic for Normative Reasoning2.03.02023SCiabattoni, Agata
192.071VUEinführung in Theoretische Informatik und Logik2.03.02023SFreund, Rudolf
185.A39SEForschungsseminar für DiplomandInnen und DissertantInnen2.03.02023SCiabattoni, Agata
184.766VOIntroduction to Logical Methods in Computer Science2.03.02023SWoltran, Stefan
181.200SEKommunikation und Rhetorik2.03.02023SPichlmair, Markus
184.702VUMachine Learning3.04.52023SMusliu, Nysret
185.326VUMolecular Computing2.03.02023SFreund, Rudolf
192.100SEPrivatissimum aus Fachdidaktik Informatik4.04.02023SFreund, Rudolf
181.190VUProblem Solving and Search in Artificial Intelligence2.03.02023SMusliu, Nysret
185.A36PRProject in Computer Science 14.06.02023SCiabattoni, Agata
185.A37PRProject in Computer Science 24.06.02023SCiabattoni, Agata
184.767SEResearch Seminar LogiCS2.03.02023SSzeider, Stefan
185.316SESeminar aus Logik2.03.02023SFermüller, Christian
181.223SESeminar für DissertantInnen2.02.02023SPichler, Reinhard
181.208VUSoftskills für TechnikerInnen2.03.02023SPichlmair, Markus
184.682VUAbstract Argumentation3.04.52022WEgly, Uwe
192.133VUAlgorithmic Geometry3.04.52022WNöllenburg, Martin
192.122VUAlgorithmic Meta-Theorems Algorithmische Meta-Theoreme2.03.02022WSzeider, Stefan
186.814VUAlgorithmics4.06.02022WSzeider, Stefan
185.330VOAnatomie und Histologie3.04.52022WFreund, Rudolf
186.102VUAbgesagt Approximation Algorithms2.03.02022W
192.111UEAttacks and Defenses in Computer Security4.06.02022WSquarcina, Marco
184.713PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02022WEgly, Uwe
186.819PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02022WRaidl, Günther
185.A26PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02022WCiabattoni, Agata
184.691PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02022WGottlob, Georg
192.061PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02022WMaffei, Matteo
184.695PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02022WZuleger, Florian
192.138SECAIML Seminar1.01.52022WPalmetshofer, Walter
181.145VUComputer Aided Verification2.03.02022WWeissenbacher, Georg
181.144UEComputer-Aided Verification2.03.02022WWeissenbacher, Georg
192.065VUCryptocurrencies4.06.02022WMaffei, Matteo
184.686VUDatenbanksysteme4.06.02022WFichte, Johannes Klaus
181.140VUDatenbanktheorie2.03.02022WPichler, Reinhard
184.685VUDatenmodellierung2.03.02022WFichte, Johannes Klaus
184.701UEDeklaratives Problemlösen2.03.02022WEgly, Uwe
184.700VODeklaratives Problemlösen2.03.02022WEgly, Uwe
184.791UEEinführung in Grundlagen des Programmierens für Studierende gemeinsam mit Geflüchteten6.06.02022WPichler, Reinhard
185.A91VUEinführung in die Programmierung 14.05.52022WPodlipnig, Stefan
184.737VUEinführung in wissensbasierte Systeme3.05.02022WEgly, Uwe
192.135VUFixed-Parameter Algorithms and Complexity3.04.52022WGanian, Robert
185.A42VUFormal Language Theory2.03.02022WFreund, Rudolf
185.291VUFormale Methoden der Informatik4.06.02022WEgly, Uwe
185.A93UEFormale Methoden der Informatik2.03.02022WLackner, Martin
185.A39SEForschungsseminar für DiplomandInnen und DissertantInnen2.03.02022WCiabattoni, Agata
186.842SEForschungsseminar für DissertantInnen2.03.02022WRaidl, Günther
192.136VUFrontiers of Algorithms and Complexity2.03.02022WGanian, Robert
192.103VUGrundkonzepte der Datenanalyse und Visualisierung2.03.02022WDvorak, Wolfgang
192.104VUGrundkonzepte der Informationssysteme2.03.02022WSkritek, Sebastian
185.329VOGrundlagen der Klinischen Medizin2.03.02022WSchneeweiß, Bruno
185.A07VOGrundzüge der Informatik für Vermessung und Geoinformation2.02.52022WOswald, Marion
192.134VUGrundzüge digitaler Systeme4.06.02022WDvorak, Wolfgang
192.137VUHeuristic Optimization Techniques3.04.52022WRaidl, Günther
192.058UEIT Projekte für Jugendliche1.01.52022WMusliu, Nysret
192.055PRIT-Projekte für Jugendliche2.03.02022WPichler, Reinhard
192.125VUIntroduction to Cryptography4.06.02022WFuchsbauer, Georg
184.766VOIntroduction to Logical Methods in Computer Science2.03.02022WEiter, Thomas
181.200SEKommunikation und Rhetorik2.03.02022WPichlmair, Markus
181.204SEKommunikation und Rhetorik 22.02.02022WPichlmair, Markus
181.142VUKomplexitätstheorie2.03.02022WPichler, Reinhard
185.A45VULogic and Computability4.06.02022WCiabattoni, Agata
184.208VOLogik für Wissensrepräsentation2.03.02022WTompits, Hans
184.699UELogik für Wissensrepräsentation2.03.02022WTompits, Hans
184.702VUMachine Learning3.04.52022WMusliu, Nysret
185.A70VUMembrane Computing2.03.02022WFreund, Rudolf
192.090PRPraktikum aus Visual Computing6.09.02022WNöllenburg, Martin
184.703VUProgrammanalyse2.03.02022WZuleger, Florian
184.718PRProject in Computer Science 14.06.02022WEgly, Uwe
186.820PRProject in Computer Science 14.06.02022WSzeider, Stefan
185.A36PRProject in Computer Science 14.06.02022WCiabattoni, Agata
184.688PRProject in Computer Science 14.06.02022WGottlob, Georg
192.075PRProject in Computer Science 14.06.02022WMaffei, Matteo
184.692PRProject in Computer Science 14.06.02022WZuleger, Florian
192.105PRProject in Computer Science 1 Team-Based Research in Algorithmics4.06.02022WChen, Jiehua
184.719PRProject in Computer Science 24.06.02022WEgly, Uwe
186.821PRProject in Computer Science 24.06.02022WRaidl, Günther
185.A37PRProject in Computer Science 24.06.02022WCiabattoni, Agata
184.689PRProject in Computer Science 24.06.02022WGottlob, Georg
192.076PRProject in Computer Science 24.06.02022WMaffei, Matteo
184.693PRProject in Computer Science 24.06.02022WZuleger, Florian
186.852PRProjekt aus Software Engineering & Internet Computing6.012.02022WRaidl, Günther
185.A62VUPräsentation und Moderation2.03.02022WFreund, Rudolf
192.070VUQuantum Computing2.03.02022WEgly, Uwe
192.094VORefutation Systems2.03.02022WTompits, Hans
184.767SEResearch Seminar LogiCS2.03.02022WSzeider, Stefan
184.778VUResearch and Career Planning for Doctoral Students2.03.02022WGottlob, Georg
181.221SESeminar Formale Methoden2.03.02022WZuleger, Florian
186.182SESeminar aus Algorithmik2.03.02022WSlivovsky, Friedrich
186.862SESeminar aus Algorithmik Graphen und Geometrie2.03.02022WNöllenburg, Martin
184.068SESeminar aus Artificial Intelligence2.03.02022WEgly, Uwe
181.201SESeminar aus Datenbanken2.03.02022WPichler, Reinhard
184.264SESeminar aus Logik2.03.02022WEgly, Uwe
184.067SESeminar aus Theoretischer Informatik2.03.02022WEgly, Uwe
184.721SESeminar für DissertantInnen2.03.02022WEgly, Uwe
186.199SESeminar für DissertantInnen2.03.02022WRaidl, Günther
181.223SESeminar für DissertantInnen2.02.02022WGottlob, Georg
192.060SESeminar für DissertantInnen2.03.02022WMaffei, Matteo
181.224SESeminar für DissertantInnen2.02.02022WKovacs, Laura
184.712SESeminar in Knowledge Representation and Reasoning2.03.02022WEgly, Uwe
192.132SESeminar in Logic2.03.02022WLeitsch, Alexander
192.064SESeminar in Theoretical Computer Science2.03.02022WFichte, Johannes Klaus
181.208VUSoftskills für TechnikerInnen2.03.02022WPichlmair, Markus
192.112VUSystems and Applications Security4.06.02022WLindorfer, Martina
185.278VUTheoretische Informatik und Logik4.06.02022WFermüller, Christian
184.186VUTheory of Knowledge Representation2.03.02022WEiter, Thomas
184.205VOVerarbeitung deklarativen Wissens2.03.02022WEiter, Thomas