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

27 - Beispiele ausdrucksstarker Planung

25 - Challenges of building ontologies

23 - Individuals and Relations

21 - Markov Decision Process

19 - Decision Networking

17 - Hidden Markov Models

15 - The Bayesian Network

13 - Possible World Semantics

11 - Complete knowledge assumption (Nur Sprecher, keine Folien)

9 - Human's view of semantics

7 - Searching (Artificial Intelligence)

5 - Search Strategies (Artificial Intelligence)

3 - Searching (Artificial Intelligence)

1 - Intellectual tasks (Artificial Intelligence)

27 - Berechnung kleinster Kreise

26 - Voronoi-Diagramme

25 - Bestimmung dichtester Punkte; Geometrische Datenstrukturen

24 - Simplexalgorithmus

23 - Das Scan-line-Prinzip; Berechnung Kovexer Hüllen

21 - Lineare Gleichungssyteme und ihre Programmierung

20 - Matrixmultiplikation

19 - Treaps; Matrizen

18 - Fibonacci-Heaps

17 - Heaps

16 - Splay Trees

15 - Maximales Matching in gewichteten Graphen

14 - Die Ungarische Methode

13 - Matching-Algorithmen

12 - Push-Relabel-Algorithmen

11 - Der Dinic Algorithmus

10 - Algorithmen in Flussnetzwerken

9 - Floyd Warshall & Johnson Algorithmus, Maximale Flüsse

8 - Breitensuche, Dijkstras Algorithmus

7 - Tiefensuche, Breitensuche

6 - Bi- und Tri-Zusammenhangskomponenten, Planarität, DAGs, SCCs

05 - Tiefensuche

04 - Dynamische Arrays; Graphen im Überblick; Strukturanalyse von Graphen

3 - Amortisierte Analyse

2 - Rekursive Algorithmen; Probabilistische Analyse

1 - Einführung

27 - PRAM

26 - Parallele Maschinen

25 - Abstraktion

24 - Rekursion

23 - ACP-Axiome

22 - Prozessalgebra

21 - Prozessalgebra

20 - Datenbank - Manager; Alternierprotokoll

19 - Renew (Wdh.); Bankiersproblem

18 - Renew; Workflow

17 - Strukturelle Eigenschaftem von Systemverifikationen

16 - Strukturelle Eigenschaften: Netzinvarianten, Fallen

15 - Fairness; Zustandsraumexplosion

14 - Entscheidbarkeitsproblem

13 - Elementare Systemeigenschaften von P/T - Netzen (Wdh.)

12 - Elementare Systemeigenschaften von P/T-Netzen

11 - Verfeinerung / Vergrößerung

10 - Partial order semantics / Petrinetze

9 - Synchrone Produkte

8 - Komplexität: CTL-Model-Checking

7 - Fairness

6- Linearzeit-Logik (LTL,CTL)

5 - Sequentielle Programme

4 - Synchrone Produkte: Kripkestrukturen; Wechselseitiger Ausschluss

3 - Büchi Automaten

2 - Büchi Automaten; Transitionssysteme

1 - Model Checking