AG RA - Studies - Teaching Materials

GROUP
RESEARCH
STUDIES
PUBLICATIONS
SOFTWARE
- ASC
- FORENSIC
- JADE
- LIPS
- MANIAC
- METASMT
- REVLIB
- REVKIT
- REVVIS
- SWORD
SERVICE
- NEWS
- JOBS
CONTACT
- ADDRESS
- MAP
- LEGAL
- DATA PRIVACY

Home « Studies « Teaching Materials

Sorry, only available in german.

WiSe 2021/2022
	Digital Systems Modeling and Verification using SystemVerilog (G) Rechnerarchitektur und Eingebettete Systeme (G) Einführung in Systems Engineering (H) Test von Schaltungen und Systemen (H) Graduiertenseminar Rechnerarchitektur (S) Vertiefungsveranstaltung Technische Informatik 1 (S) JARVIS4U (P) loT4U (P)
SoSe 2021
	Modellierung digitaler Systeme auf Register-Transfer-Ebene (RTL) mit Verilog HDL (G) Technische Informatik 1: Rechnerarchitektur und digitale Schaltungen (G) Qualitätsorientierter Systementwurf (H) Graduiertenseminar Rechnerarchitektur (S) JARVIS4U (P)
WiSe 2020/2021
	Digital Systems Modeling using Verilog and SystemVerilog: Design, Test and Synthesis (G) Rechnerarchitektur und Eingebettete Systeme (G) Praktische Einführung in den modernen Systementwurf mit C++ (H) Test von Schaltungen und Systemen (H) Graduiertenseminar Rechnerarchitektur (S) Vertiefungsveranstaltung Technische Informatik 1 (S) JARVIS4U (P)
SoSe 2020
	Technische Informatik 1: Rechnerarchitektur und digitale Schaltungen (G) Qualitätsorientierter Systementwurf (H) Graduiertenseminar Rechnerarchitektur (S) DRIVE (P) systemXrunner (P)
WiSe 2019/2020
	Rechnerarchitektur und Eingebettete Systeme (G) Praktische Einführung in den modernen Systementwurf mit C++ (H) Test von Schaltungen und Systemen (H) Vertiefungsveranstaltung Technische Informatik 1 (S) DRIVE (P)
SoSe 2019
	Technische Informatik 1: Rechnerarchitektur und digitale Schaltungen (G) Qualitätsorientierter Systementwurf (H) Graduiertenseminar Rechnerarchitektur (S) BugRunner (P) DRIVE (P)
WiSe 2018/2019
	Rechnerarchitektur und Eingebettete Systeme (G) Einführung in Systems Engineering (H) Praktische Einführung in den modernen Systementwurf mit C++ (H) Graduiertenseminar Rechnerarchitektur (S) Vertiefungsveranstaltung Technische Informatik 1 (S) BugRunner (P) DRIVE (P)
SoSe 2018
	Technische Informatik 1: Rechnerarchitektur und digitale Schaltungen (G) Qualitätsorientierter Systementwurf (H) Technische Dokumentation (H) Graduiertenseminar Rechnerarchitektur (S) AriCo Approximate Computing (P) BugRunner (P)
WiSe 2017/2018
	Rechnerarchitektur und Eingebettete Systeme (G) Einführung in Systems Engineering (H) Praktische Einführung in den modernen Systementwurf mit C++ (H) Test von Schaltungen und Systemen (H) Graduiertenseminar Rechnerarchitektur (S) Vertiefungsveranstaltung Technische Informatik 1 (S) AriCo Approximate Computing (P) BugRunner (P)
SoSe 2017
	Technische Informatik 1 (G) Qualitätsorientierter Systementwurf (H) Technische Dokumentation (H) Graduiertenseminar Rechnerarchitektur (S) AriCo Approximate Computing (P) Generic Problem Solver (GPS) (P)
WiSe 2016/2017
	Rechnerarchitektur und Eingebettete Systeme (G) Test von Schaltungen und Systemen (H) Graduiertenseminar Rechnerarchitektur (S) Vertiefungsveranstaltung Technische Informatik 1 (S) AriCo Approximate Computing (P) Generic Problem Solver (GPS) (P)
SoSe 2016
	Technische Informatik 1 (G) Informatik für den Satellitenbau - On board Data Handling (H) Kryptographische Implementierungen (H) Praktische Einführung in den modernen Systementwurf mit C++ (H) Graduiertenseminar Rechnerarchitektur (S) Generic Problem Solver (GPS) (P) Projekt "Deep Game" (P)
WiSe 2015/2016
	Rechnerarchitektur und Eingebettete Systeme (G) Test von Schaltungen und Systemen (H) Graduiertenseminar Rechnerarchitektur (S) Vertiefungsveranstaltung Technische Informatik I (S) Generic Problem Solver (GPS) (P) Projekt "Deep Game" (P)
SoSe 2015
	Informatik für den Satellitenbau - On board Data Handling (H) Praktische Einführung in den modernen Systementwurf mit C++ (H) Qualitätsorientierter Systementwurf (H) Graduiertenseminar Rechnerarchitektur (S) Projekt "Deep Game" (P) Projekt CompTech (P)
WiSe 2014/2015
	Distributed Systems and Erlang Programming (G) Konzepte zukünftiger Computertechnologien (G) Test von Schaltungen und Systemen (H) Graduiertenseminar Rechnerarchitektur (S) Vertiefungsveranstaltung Technische Informatik I (S) Projekt "Deep Game" (P) Projekt CompTech (P)
SoSe 2014
	Technische Informatik 1 (G) Entwurf zukünftiger Computertechnologien: Reversible Logik (H) Informatik für den Satellitenbau - On board Data Handling (H) Qualitätsorientierter Systementwurf (H) Graduiertenseminar Rechnerarchitektur (S) Projekt CompTech (P) Projekt iTac (P)
WiSe 2013/2014
	Konzepte zukünftiger Computertechnologien (G) Rechnerarchitektur und Eingebettete Systeme (G) Vertiefungsveranstaltung Technische Informatik I (S)
SoSe 2013
	Technische Informatik 1 (G) Qualitätsorientierter Systementwurf (H) Graduiertenseminar Rechnerarchitektur (S) Neue Aspekte der Heuristischen Optimierung (S) Projekt Chip4U (P) Projekt iTac (P)
WiSe 2012/2013
	Rechnerarchitektur und Eingebettete Systeme (G) Heuristische Optimierungsverfahren (H) Test von Schaltungen und Systemen (H) Graduiertenseminar Rechnerarchitektur (S) Vertiefungsveranstaltung Technische Informatik I (S) Projekt Chip4U (P) Projekt FaTNet (P) Projekt iTac (P)
SoSe 2012
	Technische Informatik 1 (G) Qualitätsorientierter Systementwurf (H) Quantencomputer und Reversible Logik (H) Graduiertenseminar Rechnerarchitektur (S) Neue Aspekte der Heuristischen Optimierung (S) Projekt McChip (P) Projekt Chip4U (P)
WiSe 2011/2012
	Rechnerarchitektur und Eingebettete Systeme (G) Heuristische Optimierungsverfahren (H) Test von Schaltungen und Systemen (H) Graduiertenseminar Rechnerarchitektur (S) Moderne Aspekte der Rechnerarchitektur (S) Vertiefungsveranstaltung Technische Informatik I (S) Projekt McChip (P) Projekt Chip4U (P)
SoSe 2011
	Technische Informatik 1 (G) Qualitätsorientierter Hardware-Entwurf (H) Quantencomputer und Reversible Logik (H) Graduiertenseminar Rechnerarchitektur (S) Neue Aspekte der Heuristischen Optimierung (S) Projekt McChip (P) Projekt QBit (P)
WiSe 2010/2011
	Hardware-Software Co-Design (H) Heuristische Optimierungsverfahren (H) Rechnerarchitektur (H) Graduiertenseminar Rechnerarchitektur (S) Moderne Aspekte der Rechnerarchitektur (S) Vertiefungsveranstaltung TI 1 (S) Projekt McChip (P) Projekt QBit (P)
SoSe 2010
	Technische Informatik 1 (G) Computer Algebra for Computer Engineers (H) Qualitätsorientierter Hardware-Entwurf (H) Quantencomputer und Reversible Logik (H) Graduiertenseminar Rechnerarchitektur (S) Projekt QBit (P) Projekt YMo (P)
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) 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)

	Technische Informatik 1: Rechnerarchitektur und digitale Schaltungen (G)

Zur Liste der Lehrveranstaltungen der Universität Bremen

zurück