RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
Details Past courses Course calendar (entire semester) View calendar (current week)

RISC Courses Summer Semester 2012

Find below the list of courses offered by RISC-Linz as of 1.8.2012.

LVA Nr. Titel Anmeldung Typ W.Std. LeiterInnen Rhythmus
326.007 (2012S) Algebraische und diskrete Methoden der Biologie
Weitere Infos
Anmelden KV 2,00 Nikolaj Popov

Tudor Jebelean
Stephan Dreiseitl
Wöchentlich
326.084 (2012S) Algorithmische Algebraische Geometrie
Weitere Infos
Anmelden VO 2,00 Günter Landsmann Wöchentlich
326.009 (2012S) Algorithmische Kombinatorik
Weitere Infos
Anmelden VO 2,00 James Sellers Wöchentlich
326.043 (2012S) Algorithmische Kombinatorik
Weitere Infos
Anmelden UE 1,00 Silviu Radu Wöchentlich
326.237 (2012S) Computer-Analysis
Weitere Infos
Anmelden VO 2,00 Manuel Kauers Wöchentlich
326.052 (2012S) Computersysteme
Weitere Infos
Anmelden KV 2,00 Wolfgang Schreiner Wöchentlich
326.603 (2012S) Einführung in paralleles und verteiltes Rechnen
Weitere Infos
Anmelden VO 2,00 Wolfgang Schreiner Wöchentlich
326.008 (2012S) Entscheidbarkeits- und Komplexitätsklassen
Weitere Infos
Anmelden VO 2,00 Heinrich Rolletschek Wöchentlich
326.712 (2012S) Formale Grundlagen der Wirtschaftsinformatik
Weitere Infos
Anmelden VO 3,00 Veronika Elisabeth Pillwein Wöchentlich
326.714 (2012S) Formale Grundlagen der Wirtschaftsinformatik
Weitere Infos
Anmelden UE 1,00 Veronika Elisabeth Pillwein Wöchentlich
326.054 (2012S) Funktionales Programmieren
Weitere Infos
Anmelden KV 2,00 Nikolaj Popov Wöchentlich
326.212 (2012S) Kommutative Algebra und Algebraische Geometrie
Weitere Infos
Anmelden VO 4,00 Franz Winkler Wöchentlich
326.214 (2012S) Kommutative Algebra und Algebraische Geometrie
Weitere Infos
Anmelden UE 1,00 Franz Winkler Wöchentlich
326.048 (2012S) Logik als Arbeitssprache
Weitere Infos
Anmelden KV 2,00 Wolfgang Windsteiger Wöchentlich
326.0YY (2012S) Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt)
Sommer Semester 12
Anmelden SE 2,00 Bruno Buchberger

Tudor Jebelean
Wöchentlich
326.0ZZ (2012S) Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt)
Sommer Semester 12
Weitere Infos
Anmelden SE 2,00 Franz Winkler Wöchentlich
326.041 (2012S) Praktische Softwaretechnologie
Weitere Infos
Anmelden KV 4,00 Karoly Bosa Wöchentlich
326.062 (2012S) Programmieren in Mathematica
Weitere Infos
Anmelden KV 2,00 Wolfgang Windsteiger Wöchentlich
326.049 (2012S) Programmierprojekt Symbolisches Rechnen
Computeralgebra, Logik und Softwaredesign II
Weitere Infos
Anmelden KV 2,00 Ralf Hemmecke Wöchentlich
326.096 (2012S) Projektseminar (mit semesterweise wechselndem Inhalt)
Algorithmische Kombinatorik II (Sommer Semester 12)
Weitere Infos
Anmelden SE 2,00 Peter Paule Wöchentlich
326.098 (2012S) Projektseminar (mit semesterweise wechselndem Inhalt)
Automatisches Beweisen II: Theorema: Mathematische Theorie Exploration (Sommer Semester 12)
Weitere Infos
Anmelden SE 2,00 Bruno Buchberger

Tudor Jebelean
Wöchentlich
326.099 (2012S) Projektseminar (mit semesterweise wechselndem Inhalt)
Formale Methoden II (Sommer Semester 12)
Weitere Infos
Anmelden SE 2,00 Wolfgang Schreiner

Franz Lichtenberger
Wöchentlich
326.0UU (2012S) Projektseminar (mit semesterweise wechselndem Inhalt)
Computer Algebra II (Sommer Semester 12)
Weitere Infos
Anmelden SE 2,00 Franz Winkler Wöchentlich
326.006 (2012S) Seminar
Bachelor-Seminar Selected Algorithms in Symbolic Computation (Sommer Semester 12)
Weitere Infos
Anmelden SE 2,00 Veronika Elisabeth Pillwein

Manuel Kauers
Carsten Schneider
Teimuraz Kutsia
Wöchentlich
326.753 (2012S) Seminar
Computer Algebra II (Sommer Semester 12)
Weitere Infos
Anmelden SE 2,00 Franz Winkler Wöchentlich
326.072 (2012S) Seminar (mit semesterweise wechselndem Inhalt)
Methoden und Anwendungen funktionaler Programmierung
Weitere Infos
Anmelden SE 2,00 Johannes Middeke Wöchentlich
326.068 (2012S) Software Engineering
Weitere Infos
Anmelden KV 2,00 Petru Pau Wöchentlich
326.010 (2012S) Spezialvorlesung
Unifikationstheorie
Weitere Infos
Anmelden VO 2,00 Teimuraz Kutsia Wöchentlich
326.031 (2012S) Spezialvorlesung
Computer Algebra II: Fast Arithmetic and Factorization
Weitere Infos
Anmelden VO 2,00 Manuel Kauers Wöchentlich
326.061 (2012S) Spezialvorlesung
Algebraische Methoden in der Kinematik
Weitere Infos
Anmelden VO 2,00 Josef Schicho Wöchentlich
326.063 (2012S) Spezialvorlesung
Formale Spezifikation Abstrakter Datentypen
Weitere Infos
Anmelden VO 2,00 Wolfgang Schreiner Wöchentlich
326.069 (2012S) Spezialvorlesung
Kategorientheorie fuer Symbolisches Rechnen
Weitere Infos
Anmelden VO 2,00 Günter Landsmann Wöchentlich
326.071 (2012S) Spezialvorlesung
Algebraische D-Moduln
Anmelden VO 2,00 Johannes Middeke Wöchentlich
326.0ST (2012S) Spezialvorlesung
Gödel s Incompleteness Theorems
Weitere Infos
Anmelden VO 2,00 Nikolaj Popov

Heinrich Rolletschek
Wöchentlich
326.0SV (2012S) Spezialvorlesung
Selected Topics in Integer Partitions
Anmelden VO 2,00 James Sellers Wöchentlich
326.901 (2012S) Spezielle Kapitel aus Informatik
Gödel s Incompleteness Theorems
Weitere Infos
Anmelden VO 2,00 Nikolaj Popov Wöchentlich
326.I03 (2012S) Spezielle Kapitel aus Informatik
Einführung in paralleles und verteiltes Rechnen
Weitere Infos
Anmelden VO 2,00 Wolfgang Schreiner Wöchentlich
326.I05 (2012S) Spezielle Kapitel aus Informatik
Logik als Arbeitssprache
Weitere Infos
Anmelden KV 2,00 Wolfgang Windsteiger Wöchentlich
326.I06 (2012S) Spezielle Kapitel aus Informatik
Programmieren in Mathematica
Weitere Infos
Anmelden KV 2,00 Wolfgang Windsteiger Wöchentlich
326.I07 (2012S) Spezielle Kapitel aus Informatik
Funktionales Programmieren
Weitere Infos
Anmelden KV 2,00 Nikolaj Popov Wöchentlich
326.IEK (2012S) Spezielle Kapitel aus Informatik
Entscheidbarkeits- und Komplexitätsklassen
Weitere Infos
Anmelden VO 2,00 Heinrich Rolletschek Wöchentlich
KUSSS  Inhalte zur Verfügung gestellt von KUSSS, Johannes Kepler Universität Linz | E-Mail