Frühere Seminararbeiten
SS 2013
-
Programmierparadigmen: logische Programmierung
Clemens Degasper -
Programmierparadigmen: funktionale Programmierung
Thilo Gorfer -
Programmierparadigmen: objektorientierte Programmierung
Karl Greuter -
Was ist ein Algorithmus?
Martin Griesser -
Funktion eines Betriebssystems
Alexander Hirsch -
Datenkodierung
Fabian Jeschko -
Semantic Web
Felix Kostenzer -
Malware
Christian Laqua -
Datenbanken
Christian Lechner -
Hintergrund und Bedeutung des P ≠ NP Problems
Matthias Lechner -
Die Geschichte der künstlichen Intelligenz
Markus Leitner -
Die Geschichte des Internets
Claudio Mair -
Virtuelle Realität
Andreas Maislinger -
Was ist das SAT Problem?
Mathias Mitterdorfer -
DoS-Attacken
Patrick Ober -
The Human Brain Project
David Riedl -
Komprimierungstechniken
Nicola Riedmann -
Mooresches Gesetz
Mitja Schmakeit -
Church-Turing These
Juri Seelmann -
Theorie der formalen Sprachen
Katja Sonderegger -
Spieleprogrammierung
Matthias Wanner -
Open Access Publications
Helmut Wolf -
Cloud Programming
Stefan Wurzinger
SS 2012
- Turing Test Florian Auer
-
Geschichte der Künstlichen Intelligenz
Daniel Gasteiger - Künstliche Intelligenz heute Cemalettin Göksu
-
Programmierparadigmen: logische Programmierung
Ivan Hell -
Programmierparadigmen: funktionale Programmierung
Christoph Klotz -
Programmierparadigmen: objektorientierte Programmierung
Julian Lang -
Computer und natürliche Sprache
Christoph Leitner -
Wer war Kurt Gödel?
Sebastian Mayr -
Hintergrund und Bedeutung des P ≠ NP Problems
Franziska Rapp -
Geschichte der Booleschen Algebra
Florian Seidner -
Was ist das SAT Problem?
David Triendl -
Überblick über automatische Methoden zur Erfüllbarkeit
von aussagenlogischen Formeln
Lukas Vitroler