KIT - Karlsruhe Institute of Technology
image/svg+xml
Institute of Applied Informatics and Formal Description Methods
skip navigation
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
de
search
search
News
About us
Start
About us
About us
Research Groups
Former research groups
50 years AIFB
Thematic Issues
Address/How to find us
Team
Research
Start
Research
Research
Projekte
Publications
Teaching
Start
Teaching
Teaching
Courses
Start
Teaching
Courses
Courses
Lectures
Seminars
Advanced Labs
Examination Matters
Theses
Learning Agreements
Frequently Asked Questions
Contact
Jobs
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
Services at AIFB / SCC / DFN
Printers and copiers
Start
Intranet
IT-Infrastruktur
Printers and copiers
Printers and copiers
Drucker unter Linux einrichten
Drucker unter MacOS einrichten
Drucker unter Windows einrichten
Geschützter Druck
Purchase of hardware, software and IT services
Network access
Raumverwaltung
OpenText-Vorlagen
Start
Intranet
OpenText-Vorlagen
OpenText-Vorlagen
News
Team
Projekte
Abschlussarbeiten
Stellenausschreibungen
Vorlagen und Formulare
Zugangsberechtigungen
Startpage
Home
Legals
Privacy Policy
Accessibility
Sitemap
search
search
Campusplan
Campus Map
Institute of Applied Informatics and Formal Description Methods
Startpage
About us
Thematic Issues
Startseite
News
About us
Team
Research
Teaching
Jobs
Intranet
About us
Research Groups
Former research groups
50 years AIFB
Thematic Issues
Address/How to find us
Thematic Issues
AIFB Thematic Issues
In our AIFB Thematic Issues, which are generally published annually, we provide insights into key research areas and current highlights at the institute. The Thematic Issues are currently only published in German.
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