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

RISC Courses Summer Semester 2006

Find below the list of courses offered by RISC-Linz as of 4.8.2006.
LVA Nr. Titel Anmeldung Typ W.Std. LeiterInnen Rhythmus
326.246 (2006S) Algorithmische Kombinatorik
Weitere Infos
Anmelden VO 2,0 Peter Paule Wöchentlich
326.248 (2006S) Algorithmische Kombinatorik
Weitere Infos
Anmelden UE 1,0 Carsten Schneider Wöchentlich
326.237 (2006S) Computer-Analysis
Weitere Infos
Anmelden VO 2,0 Franz Winkler Wöchentlich
326.052 (2006S) Computersysteme
Weitere Infos
Anmelden KV 2,0 Wolfgang Schreiner Wöchentlich
326.060 (2006S) Diplomanden- und Dissertantenseminar Anmelden SE 2,0 Bruno Buchberger Wöchentlich
326.703 (2006S) Diplomanden- und Dissertantenseminar
Sommer 2006
Weitere Infos
Anmelden SE 2,0 Franz Winkler Wöchentlich
326.711 (2006S) Diplomanden- und Dissertantenseminar
Weitere Infos
Anmelden SE 2,0 Peter Paule Wöchentlich
326.306 (2006S) Entscheidbarkeits- und Komplexitätsklassen
Weitere Infos
Anmelden VO 2,0 Heinrich Rolletschek Wöchentlich
326.053 (2006S) Formale Methoden in der Software-Entwicklung
Weitere Infos
Anmelden KV 4,0 Wolfgang Schreiner Wöchentlich
326.516 (2006S) Funktionales Programmieren
Weitere Infos
Anmelden KV 2,0 Tudor Jebelean Wöchentlich
326.212 (2006S) Kommutative Algebra und Algebraische Geometrie
Weitere Infos
Anmelden VO 4,0 Franz Winkler Wöchentlich
326.214 (2006S) Kommutative Algebra und Algebraische Geometrie
Weitere Infos
Anmelden UE 1,0 Franz Winkler Wöchentlich
368.106 (2006S) Lineare Algebra und Analytische Geometrie 2
Weitere Infos
Anmelden UE 2,0 Carsten Schneider Wöchentlich
326.014 (2006S) Logik als Arbeitssprache
Weitere Infos
Anmelden KV 2,0 Markus Rosenkranz Wöchentlich
326.055 (2006S) Mathematik 1 (Analysis)
Weitere Infos
Anmelden UE 2,0 Georg Regensburger Wöchentlich
326.056 (2006S) Mathematik 1 (Analysis)
Weitere Infos
Anmelden UE 2,0 Tobias Beck Wöchentlich
326.915 (2006S) Mathematik 1 (Analysis)
Weitere Infos
Anmelden VO 3,0 Josef Schicho Wöchentlich
326.925 (2006S) Mathematik 1 (Analysis)
Weitere Infos
Anmelden UE 2,0 Manuel Kauers Wöchentlich
326.927 (2006S) Mathematik 1 (Analysis)
Weitere Infos
Anmelden UE 2,0 Gabor Bodnar Wöchentlich
326.049 (2006S) Programmierprojekt Symbolisches Rechnen
Logik und Softwaredesign
Weitere Infos
Anmelden KV 2,0 Ralf Hemmecke Wöchentlich
326.035 (2006S) Projektseminar
Computer-Algebra II Sommer 2006
Weitere Infos
Anmelden SE 2,0 Franz Winkler Wöchentlich
326.037 (2006S) Projektseminar
Automatisches Beweisen II: Theorema: Mathematical Theory Exploration
Weitere Infos
Anmelden SE 2,0 Bruno Buchberger

Tudor Jebelean
Wöchentlich
326.038 (2006S) Projektseminar
Formale Methoden II
Weitere Infos
Anmelden SE 2,0 Wolfgang Schreiner

Franz Lichtenberger
Wöchentlich
326.051 (2006S) Projektseminar
Algorithmische Kombinatorik II
Weitere Infos
Anmelden SE 2,0 Peter Paule Wöchentlich
326.058 (2006S) Seminar
Set Theory and Logical Foundations II
Weitere Infos
Anmelden SE 2,0 Heinrich Rolletschek Wöchentlich
326.753 (2006S) Seminar
Computer-Algebra II Sommer 2006
Weitere Infos
Anmelden SE 2,0 Franz Winkler Wöchentlich
326.016 (2006S) Software Engineering
Weitere Infos
Anmelden KV 2,0 Petru Pau Wöchentlich
326.029 (2006S) Spezialvorlesung
Symbolische Summation II
Weitere Infos
Anmelden VO 2,0 Peter Paule Wöchentlich
326.043 (2006S) Spezialvorlesung
Beweistheorie
Anmelden VO 2,0 Mathias Baaz Blocktermin
326.068 (2006S) Spezialvorlesung
Parallel Algorithms in Symbolic Computation
Weitere Infos
Anmelden VO 2,0 Tudor Jebelean Wöchentlich
326.069 (2006S) Spezialvorlesung
Kategorientheorie fuer Symbolisches Rechnen
Weitere Infos
Anmelden VO 2,0 Günter Landsmann Wöchentlich
326.070 (2006S) Spezialvorlesung
Automatisches Beweisen II
Weitere Infos
Anmelden VO 2,0 Tudor Jebelean Wöchentlich
326.045 (2006S) 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