Karlsruher Institut für Technologie (KIT)
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Kontakt
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Kaiserstraße 89
76133 Karlsruhe
76133 Karlsruhe
Zugehörige Einrichtungen
Karlsruher Institut für Technologie (KIT)
Alle Ebenen einblenden | ausblenden
- ArchivZur Einrichtung
- Bereich I - Biologie, Chemie und VerfahrenstechnikZur Einrichtung
- Bereich II - Informatik, Wirtschaft und GesellschaftZur Einrichtung
- Fachgebiet Immobilienwirtschaft (FIWI)Zur Einrichtung
- Fakultät für Geistes- und SozialwissenschaftenZur Einrichtung
- Fakultät für InformatikZur Einrichtung
- Fakultät für WirtschaftswissenschaftenZur Einrichtung
- Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
- Institut für Entrepreneurship, Technologie-Management und Innovation (EnTechnon)Zur Einrichtung
- Institut für Finanzwirtschaft, Banken und Versicherungen (FBV)Zur Einrichtung
- Institut für Industriebetriebslehre und Industrielle Produktion (IIP)Zur Einrichtung
- Institut für Operations Research (IOR)Zur Einrichtung
- Institut für Technikfolgenabschätzung und Systemanalyse (ITAS)Zur Einrichtung
- Institut für TechnikzukünfteZur Einrichtung
- Institut für Unternehmensführung (IBU)Zur Einrichtung
- Institut für Volkswirtschaftslehre (ECON)Zur Einrichtung
- Institut für Wirtschaftsinformatik und Marketing (IISM)Zur Einrichtung
- Interfakultatives Institut für Anwendungen der InformatikZur Einrichtung
- Karlsruhe Service Research Institute (KSRI)Zur Einrichtung
- Scientific Computing Center (SCC)Zur Einrichtung
- Studienzentrum für Sehgeschädigte (SZS)Zur Einrichtung
- Bereich III - Maschinenbau und ElektrotechnikZur Einrichtung
- Bereich IV - Natürliche und gebaute UmweltZur Einrichtung
- Bereich V - Physik und MathematikZur Einrichtung
- BibliothekZur Einrichtung
- Fortbildungszentrum für Technik und Umwelt (FTU)Zur Einrichtung
- House of Young Scientists (KHYS)Zur Einrichtung
- Institute for Advanced Membrane Technology (IAMT)Zur Einrichtung
- International DepartmentZur Einrichtung
- Karlsruhe School of Optics and PhotonicsZur Einrichtung
- KASTEL - Institut für Informationssicherheit und VerlässlichkeitZur Einrichtung
- KIT-ZentrenZur Einrichtung
- Projektträger Karlsruhe (PTKA)Zur Einrichtung
- Zentrum für Angewandte Kulturwissenschaft und Studium Generale (ZAK)Zur Einrichtung
DFG Projekte
Gehören Sie dieser Forschungseinrichtung an oder vertreten Sie sie?
Wenn Sie Änderungswünsche haben, nutzen Sie unser Korrekturformular