GROUP
TEAM
ALUMNI
DOCTORAL THESIS
RESEARCH
AREAS
PROJECTS
COOPERATIONS
STUDIES
MASTER THESIS
TEACHING MATERIALS
STUD. PROJECTS
PUBLICATIONS
BOOKS
BOOK CONTRIBUTIONS
JOURNALS
CONFERENCES
WORKSHOPS
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.
SoSe 2022
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)
loT4U (P)
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
Master thesis
Teach. materials
Stud. projects