KIT - Karlsruher Institut für Technologie
Institut für Angewandte Informatik und Formale Beschreibungsverfahren
Navigation überspringen
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
KIT
en
suchen
suchen
News
Wir über uns
Start
Wir über uns
Wir über uns
Forschungsgruppen
Ehemalige Forschungsgruppen
50 Jahre AIFB
Themenhefte
Adresse/Anfahrt
Team
Forschung
Start
Forschung
Forschung
Projekte
Publikationen
Studium und Lehre
Start
Studium und Lehre
Studium und Lehre
Lehrangebot
Start
Studium und Lehre
Lehrangebot
Lehrangebot
Vorlesungen
Seminare
Praktika
Prüfungsangebot
Abschlussarbeiten
Anerkennung von Studien- und Prüfungsleistungen
Häufig gestellte Fragen
Kontakt
Karriere
Intranet
Start
Intranet
Intranet
Lehre und Prüfung
Start
Intranet
Lehre und Prüfung
Lehre und Prüfung
Druckauftrag für Klausuren
Hörsaalpläne für Klausuraufsicht
externe Abschlussarbeiten
Verwaltung von Abschlussarbeiten im Campus-System
IT-Infrastruktur
Start
Intranet
IT-Infrastruktur
IT-Infrastruktur
Dienste des AIFB / SCC / DFN
Drucker und Kopierer
Start
Intranet
IT-Infrastruktur
Drucker und Kopierer
Drucker und Kopierer
Drucker unter Linux einrichten
Drucker unter MacOS einrichten
Drucker unter Windows einrichten
Geschützter Druck
Einkauf von Hardware, Software und IT-Dienstleistungen
Netzwerkzugang
Raumbuchung
OpenText-Vorlagen
Start
Intranet
OpenText-Vorlagen
OpenText-Vorlagen
News
Team
Projekte
Abschlussarbeiten
Stellenausschreibungen
Vorlagen und Formulare
Zugangsberechtigungen
Startseite
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
suchen
suchen
Campusplan
Campusplan
Institut für Angewandte Informatik und Formale Beschreibungsverfahren
Startseite
Wir über uns
Themenhefte
Startseite
News
Wir über uns
Team
Forschung
Studium und Lehre
Karriere
Intranet
Wir über uns
Forschungsgruppen
Ehemalige Forschungsgruppen
50 Jahre AIFB
Themenhefte
Adresse/Anfahrt
Themenhefte
AIFB-Themenhefte
In unseren AIFB-Themenheften, die im Allgemeinen jährlich erscheinen, geben wir Einblicke in Forschungsschwerpunkte und aktuelle Highlights am Institut.
2024
AIFB-Themenheft 2024: Security and Privacy made in Karlsruhe
2023
AIFB-Themenheft 2023: Data-Driven Future
2022
AIFB-Themenheft 2022: Vertrauenswürdige Künstliche Intelligenz
2021
AIFB-Themenheft 2021: 50 Jahre Institut für Angewandte Informatik und Formale Beschreibungsverfahren
2019
AIFB-Themenheft 2019: Blockchain – Proof-of-Worth
2018
AIFB-Themenheft 2018: Gute Algorithmen
2017
AIFB-Themenheft 2017: Von Wissensmanagement zu Web Science
2016
AIFB-Themenheft 2016: Sicherheit und Vertrauen in der vernetzten Welt
2015
AIFB-Themenheft 2015: Smart Energy
2014
AIFB-Themenheft 2014: Semantik in Big Data
2013
AIFB-Themenheft 2013: Smart BPM
2011
AIFB-Jahresbericht 2011/12: 40 Jahre AIFB
2010
AIFB-Jahresbericht 2010/11
2009
AIFB-Jahresbericht 2009/10
2008
AIFB-Jahresbericht 2008/09
2007
AIFB-Jahresbericht 2007/08
2006
AIFB-Jahresbericht 2006/07
2005
AIFB-Jahresbericht 2005/06
2004
AIFB-Jahresbericht 2004/05
2003
AIFB-Jahresbericht 2003
2002
AIFB-Jahresbericht 2002
2001
AIFB-Jahresbericht 2001
2000
AIFB-Jahresbericht 2000
1999
AIFB-Jahresbericht 1999
1998
AIFB-Jahresbericht 1998
1997
AIFB-Jahresbericht 1997
1996
AIFB-Jahresbericht 1996
1995
AIFB-Jahresbericht 1995
1994
AIFB-Jahresbericht 1994
1993
AIFB-Jahresbericht 1993
1992
AIFB-Jahresbericht 1992
1991
AIFB-Jahresbericht 1991
1990
AIFB-Jahresbericht 1990
1989
AIFB-Kolloquiumsbericht 1989
1989
AIFB-Jahresbericht 1989
1987
AIFB-Kolloquiumsbericht 1987
1987
AIFB-Jahresbericht 1987/88
1986
AIFB-Jahresbericht 1986
1985
AIFB-Informationsbroschüre 1985
1985
AIFB-Jahresbericht 1985
1983
AIFB-Jahresbericht 1983
1981
AIFB-Bericht 1971-1981
1973
AIFB-Tätigkeitsbericht 1973