|
|
|
|
|
| LVA Nr. | Titel | Anmeldung | Typ | W.Std. | LeiterInnen | Rhythmus |
|---|---|---|---|---|---|---|
| 326.007 (2009S) |
Algebraische und diskrete Methoden der Biologie
Weitere Infos |
Anmelden | KV | 2,0 |
Wolfgang Schreiner
Teimuraz Kutsia Elena Kartaschova Tudor Jebelean Wolfgang Windsteiger Stephan Dreiseitl |
Wöchentlich |
| 326.009 (2009S) |
Algorithmische Kombinatorik
Weitere Infos |
Anmelden | VO | 2,0 | Peter Paule | Wöchentlich |
| 326.043 (2009S) |
Algorithmische Kombinatorik
Weitere Infos |
Anmelden | UE | 1,0 | Carsten Schneider | Wöchentlich |
| 326.052 (2009S) |
Computersysteme
Weitere Infos |
Anmelden | KV | 2,0 | Wolfgang Schreiner | Wöchentlich |
| 326.058 (2009S) |
Eliminationstheorie
Weitere Infos |
Anmelden | VO | 2,0 | Günter Landsmann | Wöchentlich |
| 326.027 (2009S) |
Formale Semantik von Programmiersprachen
Weitere Infos |
Anmelden | VO | 2,0 | Wolfgang Schreiner | Wöchentlich |
| 326.902 (2009S) |
Fundamentals of Numerical Analysis and Symbolic Computation
Sommer Semester 2009 Weitere Infos |
Anmelden | KV | 2,0 |
Peter Paule
Ronny Ramlau Ulrich Langer Walter Zulehner Josef Schicho Wolfgang Schreiner Franz Winkler Bert Jüttler Bruno Buchberger |
Wöchentlich |
| 326.054 (2009S) |
Funktionales Programmieren
Weitere Infos |
Anmelden | KV | 2,0 | Tudor Jebelean | Wöchentlich |
| 326.046 (2009S) |
Lineare Algebra II für Physiker(innen)
Weitere Infos |
Anmelden | VO | 2,0 | Franz Winkler | Blocktermin |
| 326.047 (2009S) |
Lineare Algebra II für Physiker(innen)
Weitere Infos |
Anmelden | UE | 1,0 | Marcel Oliver Widi | Blocktermin |
| 326.078 (2009S) |
Lineare Algebra II für Physiker(innen)
Weitere Infos |
Anmelden | UE | 1,0 | Marcel Oliver Widi | Blocktermin |
| 326.003 (2009S) |
Lineare Algebra und Analytische Geometrie 2
Weitere Infos |
Anmelden | UE | 2,0 | Johannes Middeke | Wöchentlich |
| 326.060 (2009S) |
Lineare Algebra und Analytische Geometrie 2
Weitere Infos |
Anmelden | VO | 5,0 | Franz Winkler | Wöchentlich |
| 326.092 (2009S) |
Lineare Algebra und Analytische Geometrie 2
Weitere Infos |
Anmelden | UE | 2,0 | Christian Aistleitner | Wöchentlich |
| 326.093 (2009S) |
Lineare Algebra und Analytische Geometrie 2
Weitere Infos |
Anmelden | UE | 2,0 | Günter Landsmann | Wöchentlich |
| 326.094 (2009S) |
Lineare Algebra und Analytische Geometrie 2
Weitere Infos |
Anmelden | KO | 2,0 | Marcel Oliver Widi | Wöchentlich |
| 326.048 (2009S) |
Logik als Arbeitssprache
Weitere Infos |
Anmelden | KV | 2,0 | Wolfgang Windsteiger | Wöchentlich |
| 326.000 (2009S) |
Magister- und Dissertantenseminar
Sommer Semester 09 |
Anmelden | SE | 2,0 | Bruno Buchberger | Wöchentlich |
| 326.001 (2009S) |
Magister- und Dissertantenseminar
Sommer Semester 09 Weitere Infos |
Anmelden | SE | 2,0 | Franz Winkler | Wöchentlich |
| 326.083 (2009S) |
Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt)
Weitere Infos |
Anmelden | SE | 2,0 | Peter Paule | Wöchentlich |
| 326.059 (2009S) |
Mathematische Logik 2
Weitere Infos |
Anmelden | VO | 2,0 | Heinrich Rolletschek | Wöchentlich |
| 326.041 (2009S) |
Praktische Softwaretechnologie
Weitere Infos |
Anmelden | KV | 4,0 | Karoly Bosa | Wöchentlich |
| 326.062 (2009S) |
Programmieren in Mathematica
Weitere Infos |
Anmelden | KV | 2,0 | Wolfgang Windsteiger | Wöchentlich |
| 326.049 (2009S) |
Programmierprojekt Symbolisches Rechnen
Logik und Softwaredesign Weitere Infos |
Anmelden | KV | 2,0 | Ralf Hemmecke | Wöchentlich |
| 326.035 (2009S) |
Projektseminar
Computer-Algebra II (Sommer Semester 2009) Weitere Infos |
Anmelden | SE | 2,0 | Franz Winkler | Wöchentlich |
| 326.096 (2009S) |
Projektseminar (mit semesterweise wechselndem Inhalt)
Algorithmische Kombinatorik II Weitere Infos |
Anmelden | SE | 2,0 | Peter Paule | Wöchentlich |
| 326.098 (2009S) |
Projektseminar (mit semesterweise wechselndem Inhalt)
Automatisches Beweisen II: Theorema: Mathematical Theory Exploration Weitere Infos |
Anmelden | SE | 2,0 |
Bruno Buchberger
Tudor Jebelean |
Wöchentlich |
| 326.065 (2009S) |
Rewriting in Computer Science und Logik
Weitere Infos |
Anmelden | VO | 2,0 | Franz Winkler | Wöchentlich |
| 326.067 (2009S) |
Seminar
Computer-Algebra II (Sommer Semester 09) Weitere Infos |
Anmelden | SE | 2,0 | Franz Winkler | Wöchentlich |
| 326.087 (2009S) |
Seminar (mit semesterweise wechselndem Inhalt)
Selected Algorithms Weitere Infos |
Anmelden | SE | 2,0 |
Manuel Kauers
Teimuraz Kutsia |
Wöchentlich |
| 326.068 (2009S) |
Software Engineering
Weitere Infos |
Anmelden | KV | 2,0 | Petru Pau | Wöchentlich |
| 326.00D (2009S) |
Special Functions II
Orthogonale Polynome |
Anmelden | UE | 1,0 | Carsten Schneider | Wöchentlich |
| 326.00E (2009S) |
Spezialvorlesung
Formale Sprachen und formale Grammatiken Weitere Infos |
Anmelden | VO | 2,0 | Nikolaj Popov | Wöchentlich |
| 326.018 (2009S) |
Spezialvorlesung
Symbolic Integral Operators and Boundary Problems Weitere Infos |
Anmelden | VO | 2,0 |
Markus Rosenkranz
Georg Regensburger |
Wöchentlich |
| 326.039 (2009S) |
Spezialvorlesung
Computer Algebra II: Groebner Bases Weitere Infos |
Anmelden | VO | 2,0 | Manuel Kauers | Wöchentlich |
| 326.076 (2009S) |
Spezialvorlesung
Formale Modelle paralleler und verteilter Systeme Weitere Infos |
Anmelden | VO | 2,0 | Wolfgang Schreiner | Wöchentlich |
| 326.080 (2009S) |
Spezialvorlesung
Symbolische Lineare Algebra |
Anmelden | VO | 2,0 | Carsten Schneider | Wöchentlich |
| 326.088 (2009S) |
Spezialvorlesung
Beweistheorie Weitere Infos |
Anmelden | VO | 2,0 | Mathias Baaz | Blocktermin |
| 326.095 (2009S) |
Spezialvorlesung
Spezielle Funktionen II (Orthogonale Polynome) Weitere Infos |
Anmelden | VO | 2,0 | Peter Paule | Wöchentlich |
| 326.097 (2009S) |
Spezialvorlesung
Automatische Beweissysteme |
Anmelden | VO | 2,0 | Florina Piroi | Wöchentlich |
| 326.045 (2009S) |
Vortragsreihe Symbolisches Rechnen
Weitere Infos |
Anmelden | VO | 1,0 | Franz Winkler | Wöchentlich |
|
Inhalte zur Verfügung gestellt von KUSSS, Johannes Kepler Universität Linz | E-Mail |