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: 19.03.2025
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
  • KIT