KIT - Karlsruher Institut für Technologie
Institut für Angewandte Informatik und Formale Beschreibungsverfahren
  • Navigation überspringen
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
  • KIT
  • en
suchen
  • News
  • Wir über uns
    • Wir über uns
    Wir über uns
    • Forschungsgruppen
    • Ehemalige Forschungsgruppen
    • 50 Jahre AIFB
    • Themenhefte
    • Adresse/Anfahrt
  • Team
  • Forschung
    • Forschung
    Forschung
    • Projekte
    • Publikationen
  • Studium und Lehre
    • Studium und Lehre
    Studium und Lehre
    • Lehrangebot
      • Lehrangebot
      Lehrangebot
      • Vorlesungen
      • Seminare
      • Praktika
    • Prüfungsangebot
    • Abschlussarbeiten
    • Anerkennung von Studien- und Prüfungsleistungen
    • Häufig gestellte Fragen
    • Kontakt
  • Karriere
  • Intranet
    • Intranet
    Intranet
    • Lehre und Prüfung
      • 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
      • IT-Infrastruktur
      IT-Infrastruktur
      • Dienste des AIFB / SCC / DFN
      • Drucker und Kopierer
        • 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
      • OpenText-Vorlagen
      OpenText-Vorlagen
      • News
      • Team
      • Projekte
      • Abschlussarbeiten
      • Stellenausschreibungen
    • Vorlagen und Formulare
    • Zugangsberechtigungen
  • Startseite
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
  • suchen
  • Campusplan Campusplan
Institut für Angewandte Informatik und Formale Beschreibungsverfahren

 

  • Startseite

 

  • Startseite
    • News
    • Wir über uns
    • Team
    • Forschung
    • Studium und Lehre
    • Karriere
    • Intranet

Startseite

  • Startseite
    • News
      • Wir über uns
        • Forschungsgruppen
        • Ehemalige Forschungsgruppen
        • 50 Jahre AIFB
        • Themenhefte
        • Adresse/Anfahrt
      • Team
      • Forschung
        • Projekte
        • Publikationen
      • Studium und Lehre
        • Lehrangebot
          • Vorlesungen
          • Seminare
          • Praktika
        • Prüfungsangebot
        • Abschlussarbeiten
        • Anerkennung von Studien- und Prüfungsleistungen
        • Häufig gestellte Fragen
        • Kontakt
      • Karriere
    • Intranet
      • Lehre und Prüfung
        • Druckauftrag für Klausuren
        • Hörsaalpläne für Klausuraufsicht
        • externe Abschlussarbeiten
        • Verwaltung von Abschlussarbeiten im Campus-System
      • IT-Infrastruktur
        • Dienste des AIFB / SCC / DFN
        • 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
        • News
        • Team
        • Projekte
        • Abschlussarbeiten
        • Stellenausschreibungen
      • Vorlagen und Formulare
      • Zugangsberechtigungen

    Institut für Angewandte Informatik und Formale Beschreibungsverfahren

    Karlsruher Institut für Technologie
    Kollegiengebäude am Kronenplatz (Geb. 05.20)
    Kaiserstr. 89
    76133 Karlsruhe
    Deutschland

    letzte Änderung: 20.05.2026
    KIT – Die Universität in der Helmholtz-Gemeinschaft
    • Home
    • Impressum
    • Datenschutz
    • Barrierefreiheit
    • Sitemap
    • KIT