Bielefeld University - Faculty of Technology
Networks and Distributed Systems
Research group of Prof. Peter Bernard Ladkin, Ph.D.
Networks and Distributed Systems
Research group of Prof. Peter Bernard Ladkin, Ph.D.
This is an archived page and is no longer updated.
Please visit our current pages at https://rvs-bi.de
Lehrveranstaltungen/Courses Offered by the RVS Group
Sprechstunden/Office Hours
Gesprächstermine werden Mittwochs in der Zeit 14:00 - 15.00 von Prof. Ladkin per Termin angeboten. Um einen Termin zu vereinbaren, bitte eine E-Mail an die Sekretärin der RVS-Gruppe, Frau Heike Samuel, schicken oder Frau Samuel Mo-Fr vor 14.00 anrufen (Nr: 0521 106-6882)
Prof. Ladkin offers appointments for discussion of matters concerning coursework on Wednesdays from 14.00 to 15.00. To make an appointment, please e-mail the RVS Secretary Ms. Heike Samuel or call Ms. Samuel Mon-Fri before 14.00 (0521 106-6882).
Courses, including lectures, seminars and labs, offered by the RVS Group
(most descriptions are in English as well as German)
- Current Course Offerings / Aktuelles Angebot
- Lectures by theme
- Lectures by semester, before 2007-8
- Examination information
Wir glauben, dass Studierenden die Technik der Informatik am besten durch Übungen und andere praktische Erfahrungsmethoden lernen, "Learning by doing" und deshalb sind alle unserer Lehrangebote mit Übungen oder Laborveranstaltungen eng verbunden.
We believe that the technology of informatics ist best learnt through practice, "learning by doing", and so all our course offerings are closely accompanied by exercise classes or laboratory work.
Current Course Offerings / Aktuelles Angebot
- Special course offerings in Summer Semester 2014 / Sonderveranstaltungen im Sommersemester 2014
- Generally in Summer Semester / Im Sommersemester
- Generally in Winter Semester / Im Wintersemester
Lectures by theme
Applied Logic, Causal Reasoning
- Applied Logic I (regularly in Winter Semester)
- Applied Logic II (regularly in Summer Semester)
- Anwendungen der Logik (Sommersemester 2006)
- Causal Reasoning in System Safety (Sommersemester 2003)
- System Safety and Security (Wintersemester 2002/2003)
- Causal Reasoning in System Safety (Sommersemester 2002)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Sommersemester 1999)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Wintersemester 1998/1999)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Sommersemester 1998)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Wintersemester 1997/1998)
- Applied Logic II (regularly in Summer Semester)
Computernetzwerke/Computer Networks, Verteilte Systeme/Distributed Systems, Digitale Kommunikation/Digital Communication
- RVS Publikation "Einführung in Computernetze"
- Informationsseite zur Veranstaltung "Digitale Kommunikation und Internetdienste"
- Informationsseite zum Labor "Digitale Kommunikation und Internetdienste"
- RVS Lecture Notes zu TCP/IP und Bluetooth
- Digitale Kommunikation (Sommersemester 2006)
- Digitale Kommunikation und Internetdienste (Wintersemester 2005/2006)
- Digitale Kommunikation und Internetdienste II (Sommersemester 2005)
- Digitale Kommunikation und Internetdienste I (Wintersemester 2004/2005)
- Themen in Netzwerksicherheit, E-Learning und System Safety (Sommersemester 2004)
- Internet Werkzeuge und Dienste - Teil B (Sommersemester 2004)
- Netzwerke, ihre Architektur und Leistung (Sommersemester 2004)
- Themen in Netzwerksicherheit, E-Learning und System Safety (Wintersemester 2003/2004)
- Internet Werkzeuge und Dienste - Teil A (Wintersemester 2003/2004)
- Netzwerke, ihre Architektur und Leistung (Wintersemester 2003/2004)
- Bluetooth und Linux (Sommersemester 2003)
- Themen in Netzwerksicherheit, E-Learning und System Safety (Sommersemester 2003)
- Netzwerke, ihre Architektur und Leistung (Sommersemester 2003)
- Einführung in Computernetze (Sommersemester 2003)
- Internet Werkzeuge und Dienste (Wintersemester 2002/2003)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Wintersemester 2002/2003)
- Netz, VerSys und SysSafe (Wintersemester 2002/2003)
- Bluetooth Grundlagen (Wintersemester 2002/2003)
- Netz, VerSys und SysSafe (Sommersemester 2002)
- Netz, VerSys und SysSafe (Wintersemester 2001/2002)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Wintersemester 2001/2002)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Sommersemester 2001)
- Systemadministration (Sommersemester 2001)
- Netz, VerSys und SysSafe (Wintersemester 2000/2001)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Wintersemester 2000/2001)
- Spezifikation und Verifikation verteilter Systeme (Wintersemester 1998/1999)
- Computer Netzwerke (Sommersemester 1998)
Computational Natural Language Systems
- Computational Analysis of Technical Natural Language II (Sommersemester 2002)
- Computational Analysis of Technical Natural Language I (Wintersemester 2001/2002)
- Computational Natural Language Systems (Sommersemester 2001)
- Computational Analysis of Technical Natural Language I (Wintersemester 2000/2001)
- Computational Natural Language Systems (Wintersemester 2000/2001)
E-Learning
- Themen in Netzwerksicherheit, E-Learning und System Safety (Sommersemester 2004)
- Themen in Netzwerksicherheit, E-Learning und System Safety (Wintersemester 2003/2004)
- Themen in Netzwerksicherheit, E-Learning und System Safety (Sommersemester 2003)
System Administration
- Systemadministration (Sommersemester 2001)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Wintersemester 2000/2001)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Sommersemester 1999)
- System Administration (Sommersemester 1999)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Wintersemester 1998/1999)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Sommersemester 1998)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Wintersemester 1997/1998)
- Unix System Administration (Sommersemester 1997)
System Safety and Security, Why-Because Analysis, Software Engineering
- The Why-Because Analysis Homepage
- RVS-Publikation "Why-Because Analysis: Formal Reasoning About Incidents"
- Themen in System- und Softwareengineering (Sommersemester 2006)
- System Safety and Security (Sommersemester 2006)
- Themen in System- und Softwareengineering (Wintersemester 2005/2006)
- System Safety and Security (Wintersemester 2005/2006)
- Themen in System- und Softwareengineering (Sommersemester 2005)
- System Safety and Security II (Sommersemester 2005)
- System Safety and Security (Wintersemester 2004/2005)
- Strengthening Security (Wintersemester 2004/2005)
- Strengthening Security (Sommersemester 2004)
- Themen in Netzwerksicherheit, E-Learning und System Safety (Sommersemester 2004)
- VerSys und SysSafe (Sommersemester 2004)
- System Safety and Security II (Sommersemester 2004)
- Themen in Netzwerksicherheit, E-Learning und System Safety (Wintersemester 2003/2004)
- VerSys und SysSafe (Wintersemester 2003/2004)
- System Safety and Security (Wintersemester 2003/2004)
- Themen in Netzwerksicherheit, E-Learning und System Safety (Sommersemester 2003)
- VerSys und SysSafe (Sommersemester 2003)
- Causal Reasoning in System Safety (Sommersemester 2003)
- Netz, VerSys und SysSafe (Wintersemester 2002/2003)
- System Safety and Security (Wintersemester 2002/2003)
- Netz, VerSys und SysSafe (Sommersemester 2002)
- Causal Reasoning in System Safety (Sommersemester 2002)
- Netz, VerSys und SysSafe (Wintersemester 2001/2002)
- System Safety (Wintersemester 2001/2002)
- Causal System Analysis (Sommersemester 2001)
- Netz, VerSys und SysSafe (Wintersemester 2000/2001)
- Causal System Analysis (Wintersemester 2000/2001)
- Zuverlässigkeit und Sicherheit komplexer Systeme (Wintersemester 2000/2001)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Wintersemester 1999/2000)
- WB-Analyse (Wintersemester 1999/2000)
- Grundlagen der Systemkorrektheit und des -Versagens (Wintersemester 1999/2000)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Sommersemester 1999)
- WB-Analyse (Sommersemester 1999)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Wintersemester 1998/1999)
- WB-Graphen (Wintersemester 1998/1999)
- Y2K-Problem (Wintersemester 1998/1999)
- Spezifikation und Verifikation verteilter Systeme (Wintersemester 1998/1999)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Sommersemester 1998)
- WB-Analyse (Sommersemester 1998)
- Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme (Wintersemester 1997/1998)
- WB-Graphen (Wintersemester 1997/1998)
- Grundlagen der Systemkorrektheit und des -Versagens (Wintersemester 1997/1998)
Technische Informatik/Technical Informatics (Rechnerarchitektur/Computer Architecture und/and Betriebssysteme/Operating Systems)
- Informationsseiten zu Technische Informatik I (Rechnerbau und Rechnerarchitektur)
- Informationsseiten zu Technische Informatik II (Rechnerarchitektur und Betriebssysteme)
- Technische Informatik II: Rechnerarchitektur und Betriebssysteme (Wintersemester 2002/2003)
- Technische Informatik I: Rechnerbau und Rechnerarchitektur (Sommersemester 2002)
- Technische Informatik II: Rechnerarchitektur und Betriebssysteme (Wintersemester 2001/2002)
- Technische Informatik I: Betriebssysteme (Sommersemester 1999)
- Technische Informatik I: Betriebssysteme (Sommersemester 1998)
- Technische Informatik I: Betriebssysteme (Sommersemester 1997)
World Wide Web (HTML, VRX, Design etc.)
- VRX-UNI Projektseminar (Wintersemester 1997/1998)
- WWWeb Design (Sommersemester 1997)
- VRX-UNI Projektseminar (Sommersemester 1997)
Lectures by semester
- Sommersemester 2007
- Wintersemester 2006/2007
- Sommersemester 2006
- Wintersemester 2005/2006
- Sommersemester 2005
- Wintersemester 2004/2005
- Sommersemester 2004
- Wintersemester 2003/2004
- Sommersemester 2003
- Wintersemester 2002/2003
- Sommersemester 2002
- Wintersemester 2001/2002
- Sommersemester 2001
- Wintersemester 2000/2001
- Wintersemester 1999/2000
- Sommersemester 1999
- Wintersemester 1998/1999
- Sommersemester 1998
- Wintersemester 1997/1998
- Sommersemester 1997
Examination information
- Vordiplom-Prüfung (Vordiplom Examination)
Technische und Theoretische Informatik
- Bachelor-Prüfung (Examination)
Module Technische Informatik