AG RA - Studies - Teaching Materials

Home « Studies « Teaching Materials

Sorry, only available in german.

Legende:

WiSe 2009/2010
	Hardware-Software Co-Design (H) Heuristische Optimierungsverfahren (H) Test von Schaltungen und Systemen (H) Graduiertenseminar Rechnerarchitektur (S) Vertiefungsveranstaltung TI 1 (S) Projekt QBit (P) Projekt YMo (P)
SoSe 2009
	Technische Informatik 1 (G) Qualitätsorientierter Hardware-Entwurf (H) Quantumcomputer und Reversible Logik (H) Ausgewählte Kapitel der Technischen Informatik (S) Graduiertenseminar Rechnerarchitektur (S) Moderne Aspekte der Rechnerarchitektur (S) Neue Aspekte der Evolutionären Algorithmen (S) Projekt YMo (P)
WiSe 2008/2009
	Hardware-Software Co-Design (H) Rechnerarchitektur (H) Methoden der Verifikation (S) Test digitaler Schaltungen (S) Vertiefungsveranstaltung TI 1 (S) Projekt YMo (P)
SoSe 2008
	Technische Informatik 1 (G) Qualitätsorientierter Hardware-Entwurf (H) Ausgewählte Kapitel der Technischen Informatik (S) Graduiertenseminar Rechnerarchitektur (S) Methoden der Verifikation (S) Test digitaler Schaltungen (S) Projekt SPEED (P)
WiSe 2007/2008
	Hardware-Software Co-Design (H) Test von Schaltungen und Systemen (H) Methoden der Verifikation (S) Test digitaler Schaltungen (S) Projekt SPEED (P)
SoSe 2007
	Technische Informatik 1 (G) Qualitätsorientierter Hardware-Entwurf (H) Ausgewählte Kapitel der Technischen Informatik (S) Methoden der Verifikation (S) Test digitaler Schaltungen (S) Projekt EXplayN (P) Projekt SPEED (P)
WiSe 2006/2007
	Logiksynthese (H) Rechnerarchitektur (H) Test von Schaltungen und Systemen (H) Test digitaler Schaltungen (S) Vertiefungsveranstaltung Technische Informatik 1 (S) Projekt EXplayN (P) Projekt SPEED (P)
SoSe 2006
	Technische Informatik 1 (03-05-G-700.11) (G) Optimierung von graphenbasierten Funktionsdarstellungen (03-05-H-699.53) (H) Ausgewählte Kapitel der Technischen Informatik (03-05-G-700.14) (S) Methoden der Verifikation (03-05-H-701.06) (S) Neue Aspekte der Evolutionären Algorithmen (03-05-H-701.08) (S) Test digitaler Schaltungen (03-05-H-701.52) (S) Projekt "EXplayN" (03-05-H-902.42) (P) Projekt SATRIX (03-05-H-902.31) (P)
WiSe 2005/2006
	Hardware-Software Co-Design (03-701.02) (H) Heuristische Optimierungsverfahren (03-701.09) (H) Methoden der Verifikation (03-701.06) (S) Moderne Aspekte der Rechnerarchitektur (03-701.07) (S) Test digitaler Schaltungen (03-701.52) (S) Vertiefungsveranstaltung Technische Informatik 1 (S) Projekt "EXplayN" (03-902.42) (P) Projekt SATRIX (03-902.31) (P)
SoSe 2005
	Technische Informatik 1 (03-700.11) (G) Optimierung von graphenbasierten Funktionsdarstellungen (03-699.53) (H) Qualitätsorientierter Hardware-Entwurf (03-701.03) (H) Methoden der Verifikation (03-701.06) (S) Moderne Aspekte der Rechnerarchitektur (03-701.07) (S) Neue Aspekte der Evolutionären Algorithmen (03-701.08) (S) Test digitaler Schaltungen (03-701.52) (S) Projekt GAMELEON (03-902.18) (P) Projekt SATRIX (03-902.31) (P)
WiSe 2004/2005
	Evolutionäre Algorithmen (03-701.04) (H) Rechnerarchitektur (03-701.01) (H) Methoden der Verifikation (03-701.06) (S) Seminar Rechnerarchitektur (03-701.07) (S) Test digitaler Schaltungen (03-701.52) (S) Projekt GAMELEON (03-902.18) (P) Projekt SATRIX (03-902.31) (P)
SoSe 2004
	Technische Informatik 1 (03-700.11) (G) Qualitätsorientierter Hardware-Entwurf (03-701.03) (H) Methoden der Verifikation (03-701.06) (S) Seminar Evolutionäre Algorithmen (03-701.08) (S) Seminar Rechnerarchitektur (03-701.91) (S) Test digitaler Schaltungen (03-701.52) (S) Projekt FunTaskIC (03-902.06) (P) Projekt GAMELEON (03-902.18) (P)
WiSe 2003/2004
	Evolutionäre Algorithmen (03-701.04) (H) Hardware-Software Co-Design (03-701.02) (H) Rechnerarchitektur (03-701.01) (H) Funktionsdarstellung in der formalen Verifikation (03-701.20) (S) Methoden der Verifikation (03-701.05) (S) Seminar Rechnerarchitektur (03-701.07) (S) Test digitaler Schaltungen (03-701.21) (S) Projekt GAMELEON (03-902.18) (P)
SoSe 2003
	Technische Informatik 1 (G) Evolutionäre Algorithmen (H) Qualitätsorientierter Hardware-Entwurf (H) Graduiertensemninar:Rechnerarchitektur (S) Methoden der Verifikation (S) Test digitaler Schaltungen (S) Projekt FunTaskIC (P)
WiSe 2002/2003
	Rechnerarchitektur (H) Schaltkreisentwurf (H) Evolutionäre Algorithmen (S) Funktionsdarstellung in der formalen Verifikation (S) Graduiertenseminar:Schaltkreisentwurf (S) Projekt FunTaskIC (P)
SoSe 2002
	Technische Informatik 1 (G) Funktionsdarstellung in der formalen Verifikation (H) Qualitätsorientierter Hardware-Entwurf (H) Graduiertensemniar:Schaltkreisentwurf (S)
WiSe 2001/2002
	Rechnerarchitektur (H) Schaltkreisentwurf (H)

Zur Liste der Lehrveranstaltungen der Universität Bremen