Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Lehre « Lehrmaterial
Legende:
 (G)rundstudium
 (H)auptstudium
 (S)eminar
 (P)rojekt




WiSe 2017/2018

Rechnerarchitektur und Eingebettete Systeme (G) 03-BB-701.01
Einführung in Systems Engineering (H) 04-V07-B-001
Praktische Einführung in den modernen Systementwurf mit C++ (H) 03-ME-701.15
Test von Schaltungen und Systemen (H) 03-MB-701.08
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Vertiefungsveranstaltung Technische Informatik 1 (S) 03-BE-701.06
AriCo Approximate Computing (P) 03-MP-902.52
BugRunner (P) 03-BP-902.56


SoSe 2017

Technische Informatik 1 (G) 03-BA-700.11
Qualitätsorientierter Systementwurf (H) 03-MB-701.03
Technische Dokumentation (H) 03-ME-799.99a
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
AriCo Approximate Computing (P) 03-BP-902.52
Generic Problem Solver (GPS) (P) 03-MP-902.40


WiSe 2016/2017

Rechnerarchitektur und Eingebettete Systeme (G) 03-BB-701.01
Test von Schaltungen und Systemen (H) 03-MB-701.08
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Vertiefungsveranstaltung Technische Informatik 1 (S) 03-BE-701.06
AriCo Approximate Computing (P) 03-BP-902.52
Generic Problem Solver (GPS) (P) 03-MP-902.40


SoSe 2016

Technische Informatik 1 (G) 03-BA-700.11
Informatik für den Satellitenbau - On board Data Handling (H) 03-ME-701.13
Kryptographische Implementierungen (H) 03-ME-707.99a
Praktische Einführung in den modernen Systementwurf mit C++ (H) 03-ME-701.15
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Generic Problem Solver (GPS) (P) 03-BP-902.40
Projekt "Deep Game" (P) 03-MP-902.30


WiSe 2015/2016

Rechnerarchitektur und Eingebettete Systeme (G) 03-BB-701.01
Test von Schaltungen und Systemen (H) 03-MB-701.08
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Vertiefungsveranstaltung Technische Informatik I (S) 03-BE-701.06
Generic Problem Solver (GPS) (P) 03-BP-902.40
Projekt "Deep Game" (P) 03-MP-902.30


SoSe 2015

Informatik für den Satellitenbau - On board Data Handling (H) 03-ME-701.13
Praktische Einführung in den modernen Systementwurf mit C++ (H) 03-ME-701.15
Qualitätsorientierter Systementwurf (H) 03-MB-701.03
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Projekt "Deep Game" (P) 03-BP-902.30
Projekt CompTech (P) 03-BP-902.24


WiSe 2014/2015

Distributed Systems and Erlang Programming (G)
Konzepte zukünftiger Computertechnologien (G) 03-ME-701.07
Test von Schaltungen und Systemen (H) 03-MB-701.08
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Vertiefungsveranstaltung Technische Informatik I (S) 03-BE-701.06
Projekt "Deep Game" (P) 03-BP-902.30
Projekt CompTech (P) 03-BP-902.24


SoSe 2014

Technische Informatik 1 (G) 03-BA-700.11
Entwurf zukünftiger Computertechnologien:
Reversible Logik
(H) 03-ME-701.01a
Informatik für den Satellitenbau - On board Data Handling (H) 04-326-LuR-009
Qualitätsorientierter Systementwurf (H) 03-MB-701.03
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Projekt CompTech (P) 03-BP-902.24
Projekt iTac (P) 03-MP-902.08


WiSe 2013/2014

Konzepte zukünftiger Computertechnologien (G) 03-ME-701.07
Rechnerarchitektur und Eingebettete Systeme (G) 03-BB-701.01
Vertiefungsveranstaltung Technische Informatik I (S) BE-701.06


SoSe 2013

Technische Informatik 1 (G) 03-BA-700.11
Qualitätsorientierter Systementwurf (H) 03-MB-701.03
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Neue Aspekte der Heuristischen Optimierung (S) 03-ME-701.99
Projekt Chip4U (P) 03-BP-904.01
Projekt iTac (P) 03-BP-902.08


WiSe 2012/2013

Rechnerarchitektur und Eingebettete Systeme (G) 03-BB-701.01
Heuristische Optimierungsverfahren (H) 03-ME-701.04
Test von Schaltungen und Systemen (H) 03-ME-701.08
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Vertiefungsveranstaltung Technische Informatik I (S) BE-701.06
Projekt Chip4U (P) 03-BP-904.01
Projekt FaTNet (P) 04-V07-M-005
Projekt iTac (P) 03-BP-902.08


SoSe 2012

Technische Informatik 1 (G) 03-BA-700.11
Qualitätsorientierter Systementwurf (H) 03-MB-701.03
Quantencomputer und Reversible Logik (H) 03-ME-701.11
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Neue Aspekte der Heuristischen Optimierung (S) 03-ME-701.99
Projekt McChip (P) 03-05-H-902.87
Projekt Chip4U (P) 03-BP-902.01


WiSe 2011/2012

Rechnerarchitektur und Eingebettete Systeme (G) BB-701.01
Heuristische Optimierungsverfahren (H) ME-701.04
Test von Schaltungen und Systemen (H) ME-701.08
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Moderne Aspekte der Rechnerarchitektur (S) ME-701.05
Vertiefungsveranstaltung Technische Informatik I (S) BE-701.06
Projekt McChip (P) 03-05-H-902.87
Projekt Chip4U (P) 03-BP-902.01


SoSe 2011

Technische Informatik 1 (G) 03-BA-700.11
Qualitätsorientierter Hardware-Entwurf (H) 03-ME-701.03
Quantencomputer und Reversible Logik (H) 03-ME-701.11
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Neue Aspekte der Heuristischen Optimierung (S) 03-ME-701.99
Projekt McChip (P) 03-05-H-902.87
Projekt QBit (P) 03-05-H-902.82


WiSe 2010/2011

Hardware-Software Co-Design (H) 03-05-H-701.02
Heuristische Optimierungsverfahren (H) 03-05-H-701.09
Rechnerarchitektur (H) 03-05-H-701.01
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Moderne Aspekte der Rechnerarchitektur (S) 03-05-H-701.07
Vertiefungsveranstaltung TI 1 (S) 03-05-G-700.13
Projekt McChip (P) 03-05-H-902.87
Projekt QBit (P) 03-05-H-902.82


SoSe 2010

Technische Informatik 1 (G) 03-05-G-700.11
Computer Algebra for Computer Engineers (H) 03-05-H-701.12
Qualitätsorientierter Hardware-Entwurf (H) 03-05-H-701.03
Quantencomputer und Reversible Logik (H) 03-05-H-701.11
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Projekt QBit (P) 03-05-H-902.82
Projekt YMo (P) 03-05-H-902.72


WiSe 2009/2010

Hardware-Software Co-Design (H) 03-05-H-701.02
Heuristische Optimierungsverfahren (H) 03-05-H-701.09
Test von Schaltungen und Systemen (H) 03-05-H-701.10
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Vertiefungsveranstaltung TI 1 (S) 03-05-G-700.13
Projekt QBit (P) 03-05-H-902.82
Projekt YMo (P) 03-05-H-902.72


SoSe 2009

Technische Informatik 1 (G) 03-05-G-700.11
Qualitätsorientierter Hardware-Entwurf (H) 03-05-H-701.03
Quantumcomputer und Reversible Logik (H) 03-05-H-701.11
Ausgewählte Kapitel der Technischen Informatik (S) 03-05-G-700.14
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Moderne Aspekte der Rechnerarchitektur (S) 03-05-H-701.07
Moderne Aspekte der Rechnerarchitektur (S) 03-05-H-701.07
Neue Aspekte der Evolutionären Algorithmen (S) 03-05-H-701.08
Projekt YMo (P) 03-05-H-902.72


WiSe 2008/2009

Hardware-Software Co-Design (H) 03-05-H-701.02
Rechnerarchitektur (H) 03-05-H-701.01
Methoden der Verifikation (S) 03-05-H-701.06
Test digitaler Schaltungen (S) 03-05-H-701.52
Vertiefungsveranstaltung TI 1 (S) 03-05-G-700.13
Projekt YMo (P) 03-05-H-902.72


SoSe 2008

Technische Informatik 1 (G) 03-05-G-700.11
Qualitätsorientierter Hardware-Entwurf (H) 03-05-H-701.03
Ausgewählte Kapitel der Technischen Informatik (S) 03-05-G-700.14
Graduiertenseminar Rechnerarchitektur (S) 03-05-H-701.91
Methoden der Verifikation (S) 03-05-H-701.06
Test digitaler Schaltungen (S) 03-05-H-701.52
Projekt SPEED (P) 03-05-H-902.53


WiSe 2007/2008

Hardware-Software Co-Design (H) 03-701.02
Test von Schaltungen und Systemen (H) 03-05-H-701.10
Methoden der Verifikation (S) 03-05-H-701.06
Test digitaler Schaltungen (S) 03-05-H-701.52
Projekt SPEED (P) 03-05-H-902.53


SoSe 2007

Technische Informatik 1 (G) 03-05-G-700.11
Qualitätsorientierter Hardware-Entwurf (H) 03-05-H-701.53
Ausgewählte Kapitel der Technischen Informatik (S) 03-05-G-700.14
Methoden der Verifikation (S) 03-05-H-701.06
Test digitaler Schaltungen (S) 03-05-H-701.52
Projekt EXplayN (P) 03-05-H-902.42
Projekt SPEED (P) 03-05-H-902.53


WiSe 2006/2007

Logiksynthese (H) 03-05-H-701.53
Rechnerarchitektur (H) 03-05-H-701.01
Test von Schaltungen und Systemen (H) 03-05-H-701.10
Test digitaler Schaltungen (S) 03-05-H-701.52
Vertiefungsveranstaltung Technische Informatik 1 (S) 03-05-G-700.13
Projekt EXplayN (P) 03-05-H-902.42
Projekt SPEED (P) 03-05-H-902.53


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)





English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt