14 - Lehreevaluation

13 - Refactoring

12 - Werte und Objekte in Programmiersprachen

11 - Klassenentwurf

10 - Programmierung von Graphical User Interfaces (GUI)

9 - Entwurfsmuster (Fortsetzung)

8 - Entwurfmuster

7 - Reguläre Ausdrücke

6 - Entwurfsregeln

5 -Fehlerbehandlung mit Exceptions / Namensräume und Modularisierung

4 - Motivation: Wiederverwendung

3 - Motivation: Vererbung

2.1 - Motivation des Vertragsmodells

1 - Eröffnungsveranstaltung

Vorlesung 13

Vorlesung 12

Vorlesung 11

Vorlesung 10

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 4

Vorlesung 3

Vorlesung 2

Vorlesung 1

Mistral: bull environment

HLRE-3 (mistral) Introduction

Vorlesung 13

Vorlesung 11

Vorlesung 12

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 3

Vorlesung 2

Vorlesung 1

23 - Zusammenfassung

22 - Äquivalente Normalformen und Prädikatenlogische Resolution

21 - Prädikatenlogische Normalform

20 - Prädikatenlogik, Syntax und Semantik

19 - Resolution

18 - Ableitungen und Resolution

17 - Ableitungen

16 - Normalformen und Hornformeln

15 - Folgerbarkeit, Äquivalenzen und Normalformen

14 - Aussagenlogik / Syntax & Semantik

13 - NP-Vollständigkeit

12 - Zeit- und Platzkomplexität

11 - Aufzählbarkeit und (Un-) Entscheidbarkeit (Teil 2) und Wiederholung

10 - Aufzählbarkeit und (Un-) Entscheidbarkeit

9 - Turing-Maschinen (Teil 2)

8 - Turing-Maschinen

7 - Eigenschaften kontextfreier Sprachen

6 - Kontextfreie Sprachen

5. - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma (Teil 2)

4 - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma

3 - Mehr zu regulären Sprachen

2 - Endliche Automaten und reguläre Sprachen

1 - Grundlagen

Women in Indian Buddhism 12

Women in Indian Buddhism 11

Women in Indian Buddhism 10

Women in Indian Buddhism 09

Women in Indian Buddhism 08

Women in Indian Buddhism 07

Women in Indian Buddhism 06

Women in Indian Buddhism 04

Women in Indian Buddhism 03

Women in Indian Buddhism 02

Women in Indian Buddhism 01

Film Analysis of Lagaan (2001) by students and Introduction to South Asian Cinema

Nation building films and representation of poverty in South Asian Cinema

Representation of Women in South Asian Cinema

The emergence of 'The Angry Young Men.' in South Asian Cinema:Its Social, Political and Economic Impact

'Cross over Cinema': Bollywood goes Global.'Terror Attacks South Asian Cinema ': Films on Terrorism and other relevant themes

Representation of Children in South Asian Cinema

History of South Asian Cinema

The Art of Film Analysis

Vorlesung 2

Vorlesung 11

Vorlesung 10

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 4

Vorlesung 3

Vorlesung 1

Protagonisten in dokumentarischen Milieus

Dokumentarische Filme als Wissenschaftsfilme

Der Essayfilm

Gegen-Öffentlichkeit

Videographie

Reality TV Revisited

Musik-Dokumentationen

Spuren. Beiträge zur Archäologie der realen Existenz

(Geschichts-)Politiken des Dokumentarischen: Das Beispiel RAF

Einführung

29 - Fragestunde (Teil 2)

28.2 - Fragestunde (Teil 1)

28.1 - Klausurvorbereitung

27 - SMP: Symmetric Multiproccessing

26 - Motivation

25 - Pipelining

24 - Array

23 - Stack

22 - Assembler

21 - Adressierungsarten

20 - Byte-Order

19 - Busse

18 - Rechnerarchitektur

17 - Beschreibung von Schaltwerken

16 - Mealy-Modell und Moore-Modell/ Flipflops

15 - Multiplizierer

14 - Schaltnetze

13 - Grafische Minimierungsverfahren

12 - Schaltfuntionen

11 - Strukturbeschreibung

10 - Informationsbegriff

9 - Codierung von Texten

8 - Rechenregeln: Ring/Algebra

7 - ISO 8859 Familie

6 - Addition und Subtraktion

5 - Gleitkommaformat

4 - Ziffern und Zahlen

3 - Moore's Law

2 - Digitalrechner

1 - Einführung

14 - Fallstudien

13 - Metaprogrammierung und Programmierstile

12 - Relationale Programmierung

11 - Ereignisorientierte Simulation

9 - Backtracking

8 - Funktionale Abschlüsse

7 - Der Entwurf von Funktionen

6 - Rekursion und Induktion

4- Datenabstraktion in Racket

3 - Mehrdeutigkeit von Zahlen (Teil 1)

3 - Mehrdeutigkeit von Zahlen (Teil 2)

2 - Die Arbeitsumgebung

1 - Einführung

Vorlesung 13

Vorlesung 12

Vorlesung 11

Vorlesung 10

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 3

Vorlesung 2

Vorlesung 1

14 - Mehr zu Sammlungen

13 - Bäume und das Hash-Verfahren als Realisierung für Mengen

12 - Testen/Listen

11 - Array

10 - Objektsammlungen

9 - Klassen, Typen und Interfaces

8 - Rekursion

7 - Strukturierte Programmierung

6 - Werttypen/ Referenztypen

5 - Zuweisung

4 - Imperative Grundkonzepte

3 - Karel the Robot - Lektion 2 1/2

2 - Robot - Lektion II

1 - Grundlagen objektorientierter Programmierung: Einführung

Vorlesung 14

Vorlesung 13

Vorlesung 12

Vorlesung 11

Vorlesung 10

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 4

Vorlesung 3

Vorlesung 1

Vorlesung 2

Vorlesung 14

Vorlesung 13

Vorlesung 12 - Teil 2

Vorlesung 12 - Teil 1

Vorlesung 11

Vorlesung 10

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 4

Vorlesung 5

Vorlesung 3

Vorlesung 2

Vorlesung 1

26 - Parallele Algorithmen

25 - Parallele Maschinen

24- Fairness/Parallele Maschinen

23 - Geschützte Rekursion

22 - Parallele Komposition/Rekursion

21 - Prozessalgebra

20 - Prozessalgebra und Bisimulation

19 - Bankiersproblem

18 - Bankiersproblem/ Renew

17 - Höhere Petrinetze

16 - CPN / Workflow

15 - Systemverifikation durch Petrinetze

14 - Zustandsraumexplosion

13 - Analyse endlicher Erreichbarkeitsgraphen

12 - Entscheidbarkeitsproblem

11 - Kantenkonstante Netze (KKN)

10 - Verfeinerung/Vergröberung

9 - Partial order semantics

8 - Synchrone Produkte (Wdh.)/ Partial order semantics

7 - Computational Tree Logic (CTL)

6 - Temporale Logik

5 - Kripkestrukturen von Programmen

4 - Synchrone Produkte

3 - Büchi-Automaten

2 - Model-Checking

1 - Modellierung und Analyse von Informatiksystemen

Buddhismus im 21. Jh.

Perspectives on Bhikkhuni Ordination13

Perspectives on Bhikkhuni Ordination12

Perspectives on Bhikkhuni Ordination07

Perspectives on Bhikkhuni Ordination 11

Perspectives on Bhikkhuni Ordination 10

Perspectives on Bhikkhuni Ordination 09

Perspectives on Bhikkhuni Ordination 08

Perspectives on Bhikkhuni Ordination 04

Perspectives on Bhikkhuni Ordination 02

Perspectives on Bhikkhuni Ordination 01

14 - Funktionalen Stack komplettieren; Lehreevaluation

13 - Formale Korrektheit, Abstrakte Datentypen

12 - Refactoring

11 - Wert und Objekt

10 - Klassenentwurf

9b - Vorstellung von Livecode

9a - Programmierung von GUIs

8 - Entwurfsmuster

7 - Strukturierung interaktiver Anwendungssysteme

6 - Objektorientierte Modellierung - fachlich und technisch

5 - Fehlerbehandlung mit Exceptions

4 - Implementationsvererbung

3 - Polymorphie und Vererbung

2 - Testing

1 - Einführung: Abstraktion und Modelle

Vorlesung 10

Vorlesung 14

Vorlesung 13

Vorlesung 12

Vorlesung 11

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 4

Vorlesung 3

Vorlesung 1

Vorlesung 11

Vorlesung 10

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 4

Vorlesung 2

Vorlesung 1

Vorlesung 11

Vorlesung 10

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 4

Vorlesung 3

Vorlesung 2

Vorlesung 1

E5b -Word Stress

E7a - Tone groups & Tonic syllables

E7b - Intonation Patterns

E9 - Consonants 3

E10 - More phonological processes

E8b - Consonants 2

E8a - Consonants

E5a - Rythm

E2b - Back Vowels

E2a - Front and Central Vowels

E4 - Liaison

E3 - Diphthongs and r-colored Vowels

E1 - Basic Concepts

12 - NP-Vollständigkeit (2)

11 - NP-Vollständigkeit

10 - Zeit- und Platzkomplexität

9 - Entscheidbarkeit und Aufzählbarkeit

8 - Turing-Maschinen (2)

7 - Turing-Maschinen

6 - Eigenschaften kontextfreier Sprachen

5 - Kellerautomaten und Pumping Lemma

4 - Über reguläre Sprachen hinaus

3 - Mehr zu regulären Sprachen

2 - Endliche Automaten und reguläre Sprachen

1 - Endliche Automaten

[KBS-SoSe14] Angriffe auf kryptografische Systeme

[KBS] Lightning Talks 2

[KBS] OpenAccess und Web-Publishing für Studierende

[KBS] CryptoCampagne 2011

[KBS] Lightning Talks WiSe 2011/12

[KBS] Ernährung und Kochen für Erstsemester

[KBS] Python im Wunderland - the beauty of code

[KBS] Social Payment: Flattr and Bitcoin

[KBS] Source Control

[KBS] CryptoCampagne 2010

[KBS] Lightning Talks 2010

[KBS] IPv6

[KBS] Was ist eigentlich LaTeX?

[KBS] Ubuntu-Installationsparty

[KBS] Workshop Rechnerbenutzung

[KBS] Leben in und mit der Uni

Getting Things Done: Selbstorganisation

JDK 8

Founding a Cloud Company

SQL and Java

Rheinjug Eclipse: Where do you go?

Rheinjug Eclipse Abend

Eclipse Abend: GEF4

Wie funktioniert ein JIT?

Rheinjug: Internet of Things

Web Development: You're Doing it Wrong

Internet of Things - An introduction

mGWT & Phonegap

Groovy meets RheinJUG

Apache Solr als Enterprise Search Plattform

openHAB empowering the smart home

Eclipse Code Recommenders

Matt in 3 Iterationen

XText - Eclipse

Task-focussed Development

Eclipse 4

Geschichte von Eclipse

No Ivory Towers

Enterprise Testing with Spock

Woher kommen Software-Fehler ?

WebSocket und HTML5

HTML5

Gradle wird den Build schon schaukeln

Oracle Java SE 7: The Platform Evolves

Apache CouchDB

Continuous Delivery

Kanban

Rheinjug Intro

Zwischen Frost und Blomen

Vorlesung 4

Vorlesung 13

Vorlesung 12

Vorlesung 10

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 3

Vorlesung 11 b

Vorlesung 11 a

14 - Programmieren mit Zuständen

13 - Memoization, CLOS Anwendungen

11 - Metaprogrammierung ( nur Sprecher, keine Folien)

12 - Relationale Programmierung

10 - Musterabgleich; Objekte und generische Funktionen

9 - Der Suchraum

8 - Callback functions

7 - Funktionen höherer Ordnung

6 - Rekursion und Induktion

5 - Semantik und Korrektheit

4 - Rekursive Konstruktion und Selektion

3 - Zeichen und Symbole

2 - Funktionale Abstraktion

1- Einführung

14 - Differenzlisten

13 - Funktionen höherer Ordnung

11 - Prädikate höherer Ordnung, Funktionale Programmierung ( Nur Sprecher, keine Folien)

12 - Funktionen

10 - Extra- und Metalogische Prädikate; Prädikate höherer Ordnung

9 - Sortieren

7 - Verkettete Listen

6 - Rekursive Datenstrukturen und verkettete Listen

5 - Rekursive Datenstrukturen

4 - Rekursive Datenstrukturen

3 - Deduktive Datenbanken

2 - Relationale Datenbanken

1- Einführung