|
|
|
|
|
| Details | Past courses | Course calendar (entire semester) | View calendar (current week) |
| LVA Nr. | Titel | Anmeldung | Typ | W.Std. | LeiterInnen | Rhythmus |
|---|---|---|---|---|---|---|
| 326.007 (2011S) |
Algebraische und diskrete Methoden der Biologie
Weitere Infos |
Anmelden | KV | 2,00 |
Nikolaj Popov
Elena Kartaschova Tudor Jebelean Stephan Dreiseitl |
Wöchentlich |
| 326.009 (2011S) |
Algorithmische Kombinatorik
Weitere Infos |
Anmelden | VO | 2,00 |
Carsten Schneider
Peter Paule |
Wöchentlich |
| 326.043 (2011S) |
Algorithmische Kombinatorik
Weitere Infos |
Anmelden | UE | 1,00 | Veronika Elisabeth Pillwein | Wöchentlich |
| 326.052 (2011S) |
Computersysteme
Weitere Infos |
Anmelden | KV | 2,00 | Wolfgang Schreiner | Wöchentlich |
| 326.058 (2011S) |
Eliminationstheorie
Weitere Infos |
Anmelden | VO | 2,00 | Günter Landsmann | Wöchentlich |
| 326.027 (2011S) |
Formale Semantik von Programmiersprachen
Weitere Infos |
Anmelden | VO | 2,00 | Wolfgang Schreiner | Wöchentlich |
| 326.054 (2011S) |
Funktionales Programmieren
Weitere Infos |
Anmelden | KV | 2,00 | Nikolaj Popov | Wöchentlich |
| 326.212 (2011S) |
Kommutative Algebra und Algebraische Geometrie
Sommer Semester 2011 Weitere Infos |
Anmelden | VO | 4,00 | Franz Winkler | Wöchentlich |
| 326.214 (2011S) |
Kommutative Algebra und Algebraische Geometrie
Weitere Infos |
Anmelden | UE | 1,00 | Franz Winkler | Wöchentlich |
| 368.132 (2011S) |
Lineare Algebra II für Physiker(innen)
Weitere Infos |
Anmelden | UE | 1,00 | Burkhard Zimmermann | Wöchentlich |
| 368.133 (2011S) |
Lineare Algebra II für Physiker(innen)
Weitere Infos |
Anmelden | UE | 1,00 | Burkhard Zimmermann | Wöchentlich |
| 368.104 (2011S) |
Lineare Algebra und Analytische Geometrie 2
Weitere Infos |
Anmelden | UE | 2,00 | Anja Korporal | Wöchentlich |
| 326.048 (2011S) |
Logik als Arbeitssprache
Weitere Infos |
Anmelden | KV | 2,00 | Wolfgang Windsteiger | Wöchentlich |
| 326.0XX (2011S) |
Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt)
Sommer Semester 11 Weitere Infos |
Anmelden | SE | 2,00 | Peter Paule | Wöchentlich |
| 326.0YY (2011S) |
Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt)
Sommer Semester 11 |
Anmelden | SE | 2,00 |
Bruno Buchberger
Tudor Jebelean |
Wöchentlich |
| 326.0ZZ (2011S) |
Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt)
Sommer Semester 11 Weitere Infos |
Anmelden | SE | 2,00 | Franz Winkler | Wöchentlich |
| 326.059 (2011S) |
Mathematische Logik 2
Weitere Infos |
Anmelden | VO | 2,00 | Heinrich Rolletschek | Wöchentlich |
| 326.041 (2011S) |
Praktische Softwaretechnologie
Weitere Infos |
Anmelden | KV | 4,00 | Karoly Bosa | Wöchentlich |
| 326.062 (2011S) |
Programmieren in Mathematica
Weitere Infos |
Anmelden | KV | 2,00 | Wolfgang Windsteiger | Wöchentlich |
| 326.049 (2011S) |
Programmierprojekt Symbolisches Rechnen
Computeralgebra, Logik und Softwaredesign II Weitere Infos |
Anmelden | KV | 2,00 | Ralf Hemmecke | Wöchentlich |
| 326.0UU (2011S) |
Projektseminar (mit semesterweise wechselndem Inhalt)
Computer Algebra II (Sommer Semester 11) Weitere Infos |
Anmelden | SE | 2,00 | Franz Winkler | Wöchentlich |
| 326.096 (2011S) |
Projektseminar (mit semesterweise wechselndem Inhalt)
Algorithmische Kombinatorik II (Sommer Semester 11) Weitere Infos |
Anmelden | SE | 2,00 | Peter Paule | Wöchentlich |
| 326.098 (2011S) |
Projektseminar (mit semesterweise wechselndem Inhalt)
Automatisches Beweisen II: Theorema: Mathematical Theory Exploration (SS 2011) Weitere Infos |
Anmelden | SE | 2,00 |
Bruno Buchberger
Tudor Jebelean |
Wöchentlich |
| 326.065 (2011S) |
Rewriting in Computer Science und Logik
Weitere Infos |
Anmelden | VO | 2,00 | Franz Winkler | Wöchentlich |
| 326.753 (2011S) |
Seminar
Computer Algebra II (Sommer Semester 2011) Weitere Infos |
Anmelden | SE | 2,00 | Franz Winkler | Wöchentlich |
| 326.068 (2011S) |
Software Engineering
Weitere Infos |
Anmelden | KV | 2,00 | Petru Pau | Wöchentlich |
| 326.00D (2011S) |
Special Functions II
Symbolische Summation und Spezielle Funktionen |
Anmelden | UE | 1,00 | Silviu Radu | Wöchentlich |
| 326.00E (2011S) |
Spezialvorlesung
Formale Sprachen und formale Grammatiken Weitere Infos |
Anmelden | VO | 2,00 | Nikolaj Popov | Wöchentlich |
| 326.039 (2011S) |
Spezialvorlesung
Computer Algebra II: Groebner Bases Weitere Infos |
Anmelden | VO | 2,00 | Manuel Kauers | Wöchentlich |
| 326.076 (2011S) |
Spezialvorlesung
Formale Modelle paralleler und verteilter Systeme Weitere Infos |
Anmelden | VO | 2,00 | Wolfgang Schreiner | Wöchentlich |
| 326.080 (2011S) |
Spezialvorlesung
Symbolische Lineare Algebra |
Anmelden | VO | 2,00 | Carsten Schneider | Wöchentlich |
| 326.081 (2011S) |
Spezialvorlesung
Orthogonale Polynome und Symbolic Computation Weitere Infos |
Anmelden | VO | 2,00 | Veronika Elisabeth Pillwein | Wöchentlich |
| 326.095 (2011S) |
Spezialvorlesung
Symbolische Summation und Spezielle Funktionen II (Sommer Semester 11) Weitere Infos |
Anmelden | VO | 2,00 | Peter Paule | Wöchentlich |
| 326.097 (2011S) |
Spezialvorlesung
Automatische Beweissysteme Weitere Infos |
Anmelden | VO | 2,00 | Teimuraz Kutsia | Wöchentlich |
| 326.045 (2011S) |
Vortragsreihe Symbolisches Rechnen
Weitere Infos |
Anmelden | VO | 1,00 | Peter Paule | Wöchentlich |
|
Inhalte zur Verfügung gestellt von KUSSS, Johannes Kepler Universität Linz | E-Mail |