RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

RISC Courses Summer Semester 2009

Find below the list of courses offered by RISC-Linz as of 31.7.2009.
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
KUSSS  Inhalte zur Verfügung gestellt von KUSSS, Johannes Kepler Universität Linz | E-Mail