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

RISC Courses Summer Semester 2007

Find below the list of courses offered by RISC-Linz as of 31.7.2007.
LVA Nr. Titel Anmeldung Typ W.Std. LeiterInnen Rhythmus
326.300 (2007S) Algebraische und diskrete Methoden der Biologie
Weitere Infos
Anmelden KV 2,0 Wolfgang Schreiner

Tudor Jebelean
Teimuraz Kutsia
Wolfgang Windsteiger
Manuel Kauers
Stephan Dreiseitl
Wöchentlich
326.246 (2007S) Algorithmische Kombinatorik
Weitere Infos
Anmelden VO 2,0 Peter Paule Wöchentlich
326.248 (2007S) Algorithmische Kombinatorik
Weitere Infos
Anmelden UE 1,0 Carsten Schneider Wöchentlich
326.052 (2007S) Computersysteme
Weitere Infos
Anmelden KV 2,0 Wolfgang Schreiner Wöchentlich
326.274 (2007S) Eliminationstheorie
Weitere Infos
Anmelden VO 2,0 Günter Landsmann Wöchentlich
326.053 (2007S) Formale Methoden in der Software-Entwicklung
Weitere Infos
Anmelden KV 4,0 Wolfgang Schreiner Wöchentlich
326.516 (2007S) Funktionales Programmieren
Weitere Infos
Anmelden KV 2,0 Tudor Jebelean Wöchentlich
326.001 (2007S) Lineare Algebra und Analytische Geometrie 2
Weitere Infos
Anmelden VO 5,0 Franz Winkler Wöchentlich
326.003 (2007S) Lineare Algebra und Analytische Geometrie 2
Weitere Infos
Anmelden UE 2,0 Marcel Oliver Widi Wöchentlich
326.004 (2007S) Lineare Algebra und Analytische Geometrie 2
Weitere Infos
Anmelden UE 2,0 Gerhard Wendt Wöchentlich
326.092 (2007S) Lineare Algebra und Analytische Geometrie 2
Weitere Infos
Anmelden UE 2,0 Manuel Kauers Wöchentlich
326.093 (2007S) Lineare Algebra und Analytische Geometrie 2
Weitere Infos
Anmelden UE 2,0 Günter Landsmann Wöchentlich
326.094 (2007S) Lineare Algebra und Analytische Geometrie 2
Weitere Infos
Anmelden KO 2,0 Günter Landsmann Wöchentlich
326.014 (2007S) Logik als Arbeitssprache
Weitere Infos
Anmelden KV 2,0 Wolfgang Windsteiger Wöchentlich
326.082 (2007S) Magister- und Dissertantenseminar
Summer 2007
Weitere Infos
Anmelden SE 2,0 Franz Winkler Wöchentlich
326.083 (2007S) Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt)
Weitere Infos
Anmelden SE 2,0 Peter Paule Wöchentlich
326.086 (2007S) Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt) Anmelden SE 2,0 Bruno Buchberger Wöchentlich
326.055 (2007S) Mathematik 1 (Analysis)
Weitere Infos
Anmelden UE 2,0 Georg Regensburger Wöchentlich
326.056 (2007S) Mathematik 1 (Analysis)
Weitere Infos
Anmelden UE 2,0 Flavia Stan Wöchentlich
326.915 (2007S) Mathematik 1 (Analysis)
Weitere Infos
Anmelden VO 3,0 Josef Schicho Wöchentlich
326.925 (2007S) Mathematik 1 (Analysis)
Weitere Infos
Anmelden UE 2,0 Manuel Kauers Wöchentlich
326.927 (2007S) Mathematik 1 (Analysis)
Weitere Infos
Anmelden UE 2,0 Christoph Koutschan Wöchentlich
326.059 (2007S) Mathematische Logik 2
Weitere Infos
Anmelden VO 2,0 Heinrich Rolletschek Wöchentlich
326.258 (2007S) Programmieren in Mathematica
Weitere Infos
Anmelden KV 2,0 Wolfgang Windsteiger Wöchentlich
326.049 (2007S) Programmierprojekt Symbolisches Rechnen
Logik und Softwaredesign
Weitere Infos
Anmelden KV 2,0 Ralf Hemmecke Wöchentlich
326.792 (2007S) Projektpraktikum
Computermathematik
Weitere Infos
Anmelden PR 10,0 Franz Winkler Wöchentlich
326.035 (2007S) Projektseminar
Computer-Algebra II Sommer 2007
Weitere Infos
Anmelden SE 2,0 Franz Winkler Wöchentlich
326.096 (2007S) Projektseminar (mit semesterweise wechselndem Inhalt)
Algorithmische Kombinatorik II
Weitere Infos
Anmelden SE 2,0 Peter Paule Wöchentlich
326.098 (2007S) Projektseminar (mit semesterweise wechselndem Inhalt)
Automatisches Beweisen II (Theorema-Projekt)
Weitere Infos
Anmelden SE 2,0 Bruno Buchberger

Tudor Jebelean
Wöchentlich
326.099 (2007S) Projektseminar (mit semesterweise wechselndem Inhalt)
Formale Methoden II
Weitere Infos
Anmelden SE 2,0 Wolfgang Schreiner

Franz Lichtenberger
Wöchentlich
326.007 (2007S) Rewriting in Computer Science und Logik
Weitere Infos
Anmelden VO 2,0 Franz Winkler Wöchentlich
326.753 (2007S) Seminar
Computer-Algebra II Sommer 2007
Weitere Infos
Anmelden SE 2,0 Franz Winkler Wöchentlich
326.077 (2007S) Seminar (mit semesterweise wechselndem Inhalt)
Computability and Complexity II
Weitere Infos
Anmelden SE 2,0 Heinrich Rolletschek Wöchentlich
326.016 (2007S) Software Engineering
Weitere Infos
Anmelden KV 2,0 Petru Pau Wöchentlich
326.043 (2007S) Spezialvorlesung
Beweistheorie
Weitere Infos
Anmelden VO 2,0 Mathias Baaz Blocktermin
326.095 (2007S) Spezialvorlesung
Special Functions II
Weitere Infos
Anmelden VO 2,0 Peter Paule Wöchentlich
326.097 (2007S) Spezialvorlesung
Automatische Beweissysteme
Weitere Infos
Anmelden VO 2,0 Teimuraz Kutsia Wöchentlich
326.302 (2007S) Spezialvorlesung
Symbolische Lineare Algebra
Weitere Infos
Anmelden VO 2,0 Carsten Schneider Wöchentlich
326.045 (2007S) 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