Lehrangebot

Lehrveranstaltungen suchen (2021W/2022S)
  1. Erweiterte Suche
NummerTypTitelStundenECTSSemesterVortragende_r
186.866VUAlgorithmen und Datenstrukturen5.58.02022SSzeider, Stefan
192.118VUAlgorithmic Social Choice4.06.02022SChen, Jiehua
186.181VUAlgorithms in Graph Theory2.03.02022SNöllenburg, Martin
184.765VUArgumentieren und Beweisen4.06.02022SEgly, Uwe
184.774VUAutomated Deduction4.06.02022SKovacs, Laura
184.713PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02022SEgly, Uwe
186.819PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02022SRaidl, Günther
185.A26PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02022SCiabattoni, Agata
184.691PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02022SWoltran, Stefan
192.061PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02022SMaffei, Matteo
184.695PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02022SKovacs, Laura
184.215VUComplexity Analysis2.03.02022SEiter, Thomas
192.080VUCrypto Asset Analytics2.03.02022SMaffei, Matteo
184.780VUDatenbanksysteme Vertiefung4.06.02022SPichler, Reinhard
184.700VOAbgesagt Deklaratives Problemlösen2.03.02022SEgly, Uwe
192.130VUDeontic Logic for Normative Reasoning2.03.02022SCiabattoni, Agata
184.791UEEinführung in Grundlagen des Programmierens für Studierende gemeinsam mit Geflüchteten6.06.02022SPichler, Reinhard
192.071VUEinführung in Theoretische Informatik und Logik2.03.02022SFreund, Rudolf
184.735VUEinführung in die Künstliche Intelligenz2.03.02022SEiter, Thomas
185.A91VUEinführung in die Programmierung 14.05.52022SPodlipnig, Stefan
192.059VUFormal Methods for Security and Privacy4.06.02022SMaffei, Matteo
185.291VUFormale Methoden der Informatik4.06.02022SEgly, Uwe
185.A06VUFormale Modellierung2.03.02022SSalzer, Gernot
185.A39SEForschungsseminar für DiplomandInnen und DissertantInnen2.03.02022SCiabattoni, Agata
186.842SEForschungsseminar für DissertantInnen2.03.02022SRaidl, Günther
184.266VOGeschichte der Logik2.03.02022STompits, Hans
192.053VUGraph Drawing Algorithms2.03.02022SNöllenburg, Martin
192.121VUGrundkonzepte der Computer- und Kommunikationssysteme2.03.02022SDvorak, Wolfgang
192.097VUGrundlagen der Programmierung und Algorithmik4.05.02022SRiener, Martin
192.058UEIT Projekte für Jugendliche1.01.52022SMusliu, Nysret
192.055PRIT-Projekte für Jugendliche2.03.02022SPichler, Reinhard
184.766VOIntroduction to Logical Methods in Computer Science2.03.02022SWoltran, Stefan
184.783VUIntroduction to Security2.03.02022SMaffei, Matteo
192.082UEIntroduction to Security2.03.02022SSquarcina, Marco
185.334VOKlinische Medizin2.03.02022SSchneeweiß, Bruno
192.116VUKnowledge Graphs2.03.02022SSallinger, Emanuel
184.730VUKnowledge-based Systems4.06.02022SEgly, Uwe
181.200SEKommunikation und Rhetorik2.03.02022SPichlmair, Markus
184.702VUMachine Learning3.04.52022SMusliu, Nysret
186.835VUMathematical Programming2.03.02022SRuthmair, Mario
186.860VUMetaheuristics and Hybrid Methods for Combinatorial Optimization2.54.02022SRaidl, Günther
186.861VUModeling and Solving Constrained Optimization Problems2.03.02022SDi Gaspero, Luca
185.326VUMolecular Computing2.03.02022SFreund, Rudolf
192.085VUNon-classical Logics Nichtklassische Logiken2.03.02022SFermüller, Christian
185.A47VOPhysiologie und Grundlagen der Pathologie3.04.52022SBinder, Nicolas
192.084VUPractical Applications of Answer Set Programming2.03.02022SWeinzierl, Antonius
192.100SEPrivatissimum aus Fachdidaktik Informatik4.04.02022SFreund, Rudolf
181.190VUProblem Solving and Search in Artificial Intelligence2.03.02022SMusliu, Nysret
184.741VUProgramm- und Systemverifikation4.56.02022SWeissenbacher, Georg
184.718PRProject in Computer Science 14.06.02022SEgly, Uwe
185.A36PRProject in Computer Science 14.06.02022SCiabattoni, Agata
192.075PRProject in Computer Science 14.06.02022SMaffei, Matteo
184.688PRProject in Computer Science 14.06.02022SWoltran, Stefan
184.692PRProject in Computer Science 14.06.02022SZuleger, Florian
186.820PRProject in Computer Science 14.06.02022SSzeider, Stefan
184.719PRProject in Computer Science 24.06.02022SEgly, Uwe
185.A37PRProject in Computer Science 24.06.02022SCiabattoni, Agata
192.076PRProject in Computer Science 24.06.02022SMaffei, Matteo
184.689PRProject in Computer Science 24.06.02022SWoltran, Stefan
184.693PRProject in Computer Science 24.06.02022SKovacs, Laura
186.821PRProject in Computer Science 24.06.02022SRaidl, Günther
185.A57VORechtliche Grundlagen der medizinischen Versorgung2.03.02022SVock, Lorenz
184.767SEResearch Seminar LogiCS2.03.02022SSzeider, Stefan
184.090VUSAT Solving und Erweiterungen2.03.02022SEgly, Uwe
184.749VUSemantik von Programmiersprachen3.04.52022SZuleger, Florian
181.221SESeminar Formale Methoden2.03.02022SWeissenbacher, Georg
186.182SESeminar aus Algorithmik2.03.02022SRaidl, Günther
184.068SESeminar aus Artificial Intelligence2.03.02022SEgly, Uwe
181.034SESeminar aus Artificial Intelligence2.03.02022SPichler, Reinhard
181.201SESeminar aus Datenbanken2.03.02022SPichler, Reinhard
184.264SESeminar aus Logik2.03.02022SEgly, Uwe
185.316SESeminar aus Logik2.03.02022SFermüller, Christian
181.206SESeminar aus Logik2.03.02022SHecher, Markus
184.067SESeminar aus Theoretischer Informatik2.03.02022SEgly, Uwe
184.721SESeminar für DissertantInnen2.03.02022SEgly, Uwe
181.223SESeminar für DissertantInnen2.02.02022SPichler, Reinhard
181.224SESeminar für DissertantInnen2.02.02022SWeissenbacher, Georg
192.060SESeminar für DissertantInnen2.03.02022SMaffei, Matteo
186.199SESeminar für DissertantInnen2.03.02022SRaidl, Günther
192.119SESeminar in Artificial Intelligence Algorithmic and Computational Decision Theory2.03.02022SChen, Jiehua
184.687SESeminar in Complexity Theory2.03.02022SPichler, Reinhard
184.712SESeminar in Knowledge Representation and Reasoning2.03.02022SEgly, Uwe
184.705VUSemistrukturierte Daten2.03.02022SSimkus, Mantas
192.078VUSmart Contracts4.06.02022Sdi Angelo, Monika
181.208VUSoftskills für TechnikerInnen2.03.02022SPichlmair, Markus
186.856VUStructural Decompositions and Algorithms2.03.02022SSlivovsky, Friedrich
185.A74VUTechnische Grundlagen der Informatik für Wirtschaftsinformatik2.03.02022SKogler, Jürgen
185.203VUTheorie der Berechenbarkeit2.03.02022SFokina, Ekaterina
184.682VUAbstract Argumentation3.04.52021WEgly, Uwe
186.122VUAlgorithmic Geometry2.03.02021WNöllenburg, Martin
192.122VUAlgorithmic Meta-Theorems Algorithmische Meta-Theoreme2.03.02021WSzeider, Stefan
186.814VUAlgorithmics4.06.02021WSzeider, Stefan
185.330VOAnatomie und Histologie3.04.52021WHofmann, Michael
186.102VUApproximation Algorithms2.03.02021WKellerer, Hans
192.111UEAttacks and Defenses in Computer Security4.06.02021WSquarcina, Marco
184.713PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02021WEgly, Uwe
184.691PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02021WPichler, Reinhard
185.A26PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02021WCiabattoni, Agata
186.819PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02021WRaidl, Günther
184.695PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02021WZuleger, Florian
192.061PRBachelorarbeit für Informatik und Wirtschaftsinformatik5.010.02021WMaffei, Matteo
192.065VUCryptocurrencies4.06.02021WMaffei, Matteo
184.686VUDatenbanksysteme4.06.02021WFichte, Johannes Klaus
181.140VUDatenbanktheorie2.03.02021WPichler, Reinhard
184.685VUDatenmodellierung2.03.02021WFichte, Johannes Klaus
184.790VUDatenmodellierung 22.03.02021WFichte, Johannes Klaus
192.067VODeductive Databases2.03.02021WSimkus, Mantas
184.791UEEinführung in Grundlagen des Programmierens für Studierende gemeinsam mit Geflüchteten6.06.02021WPichler, Reinhard
185.A91VUEinführung in die Programmierung 14.05.52021WPodlipnig, Stefan
184.737VUEinführung in wissensbasierte Systeme3.05.02021WEgly, Uwe
186.855VUFixed-Parameter Algorithms and Complexity2.03.02021WGanian, Robert
185.A42VUFormal Language Theory2.03.02021WFreund, Rudolf
185.291VUFormale Methoden der Informatik4.06.02021WEgly, Uwe
185.A93UEFormale Methoden der Informatik2.03.02021WWoltran, Stefan
185.A39SEForschungsseminar für DiplomandInnen und DissertantInnen2.03.02021WCiabattoni, Agata
186.842SEForschungsseminar für DissertantInnen2.03.02021WRaidl, Günther
192.103VUGrundkonzepte der Datenanalyse und Visualisierung2.03.02021WDvorak, Wolfgang
192.104VUGrundkonzepte der Informationssysteme2.03.02021WSkritek, Sebastian
185.329VOGrundlagen der Klinischen Medizin2.03.02021WSchneeweiß, Bruno
185.A07VOGrundzüge der Informatik für Vermessung und Geoinformation2.02.52021WOswald, Marion
186.112VUHeuristic Optimization Techniques2.03.02021WRaidl, Günther
192.058UEIT Projekte für Jugendliche1.01.52021WMusliu, Nysret
192.055PRIT-Projekte für Jugendliche2.03.02021WPichler, Reinhard
192.125VUIntroduction to Cryptography4.06.02021WFuchsbauer, Georg
184.766VOIntroduction to Logical Methods in Computer Science2.03.02021WEiter, Thomas
181.200SEKommunikation und Rhetorik2.03.02021WPichlmair, Markus
181.204SEKommunikation und Rhetorik 22.03.02021WPichlmair, Markus
181.142VUKomplexitätstheorie2.03.02021WPichler, Reinhard
185.A45VULogic and Computability4.06.02021WCiabattoni, Agata
184.208VOLogik für Wissensrepräsentation2.03.02021WTompits, Hans
184.699UELogik für Wissensrepräsentation2.03.02021WTompits, Hans
184.702VUMachine Learning3.04.52021WMusliu, Nysret
185.A70VUMembrane Computing2.03.02021WFreund, Rudolf
186.860VUAbgesagt Metaheuristics and Hybrid Methods for Combinatorial Optimization2.54.02021WRaidl, Günther
184.188VUNichtmonotones Schließen2.03.02021WTompits, Hans
192.090PRPraktikum aus Visual Computing6.09.02021WNöllenburg, Martin
184.703VUProgrammanalyse2.03.02021WZuleger, Florian
184.718PRProject in Computer Science 14.06.02021WEgly, Uwe
184.688PRProject in Computer Science 14.06.02021WGottlob, Georg
185.A36PRProject in Computer Science 14.06.02021WCiabattoni, Agata
186.820PRProject in Computer Science 14.06.02021WSzeider, Stefan
192.075PRProject in Computer Science 14.06.02021WMaffei, Matteo
184.692PRProject in Computer Science 14.06.02021WZuleger, Florian
192.105PRProject in Computer Science 1 Team-Based Research in Algorithmics4.06.02021WChen, Jiehua
184.719PRProject in Computer Science 24.06.02021WEgly, Uwe
184.689PRProject in Computer Science 24.06.02021WGottlob, Georg
185.A37PRProject in Computer Science 24.06.02021WCiabattoni, Agata
186.821PRProject in Computer Science 24.06.02021WRaidl, Günther
192.076PRProject in Computer Science 24.06.02021WMaffei, Matteo
184.693PRProject in Computer Science 24.06.02021WZuleger, Florian
186.852PRProjekt aus Software Engineering & Internet Computing6.012.02021WRaidl, Günther
185.A62VUPräsentation und Moderation2.03.02021WFreund, Rudolf
192.070VUQuantum Computing2.03.02021WEgly, Uwe
184.767SEResearch Seminar LogiCS2.03.02021WSzeider, Stefan
184.778VUResearch and Career Planning for Doctoral Students2.03.02021WGottlob, Georg
184.729VUSemantic Technologies2.03.02021WOrtiz de la Fuente, Maria Magdalena
181.221SESeminar Formale Methoden2.03.02021WZuleger, Florian
186.182SESeminar aus Algorithmik2.03.02021WSlivovsky, Friedrich
186.862SESeminar aus Algorithmik Graphen und Geometrie2.03.02021WNöllenburg, Martin
184.068SESeminar aus Artificial Intelligence2.03.02021WEgly, Uwe
181.201SESeminar aus Datenbanken2.03.02021WPichler, Reinhard
184.264SESeminar aus Logik2.03.02021WEgly, Uwe
192.128SESeminar aus Security (Smart Contracts)2.03.02021WSalzer, Gernot
184.067SESeminar aus Theoretischer Informatik2.03.02021WEgly, Uwe
184.721SESeminar für DissertantInnen2.03.02021WEgly, Uwe
181.223SESeminar für DissertantInnen2.02.02021WGottlob, Georg
186.199SESeminar für DissertantInnen2.03.02021WRaidl, Günther
192.069SESeminar für DissertantInnen2.03.02021WMaffei, Matteo
181.224SESeminar für DissertantInnen2.02.02021WKovacs, Laura
184.712SESeminar in Knowledge Representation and Reasoning2.03.02021WEgly, Uwe
192.123SESeminar in Logic2.03.02021WLeitsch, Alexander
192.127SESeminar in Software Engineering (Smart Contracts)2.03.02021WSalzer, Gernot
192.064SESeminar in Theoretical Computer Science2.03.02021WFichte, Johannes Klaus
181.208VUSoftskills für TechnikerInnen2.03.02021WPichlmair, Markus
192.106VUSoftware Model Checking4.06.02021WWeissenbacher, Georg
192.124VUSymmetric Cryptography4.06.02021WAndreeva, Elena
192.112VUSystems and Applications Security4.06.02021WLindorfer, Martina
185.278VUTheoretische Informatik und Logik4.06.02021WFermüller, Christian
184.186VUTheory of Knowledge Representation2.03.02021WEiter, Thomas
184.205VOVerarbeitung deklarativen Wissens2.03.02021WEiter, Thomas