KIT - Karlsruher Institut für Technologie
Home
Legals
Data Protection
KIT
KIT
Login
Login
DE
suchen
suchen
Start
Formulars -->
AIFB
Start
AIFB
AIFB
Research - Teaching - Innovation
News
Events
Press Releases
Contact
Research Groups
Start
Forschungsgruppen
Forschungsgruppen
Information Systems
Efficient Algorithms
Web Science
Applied Technical-Cognitive Systems
Information Service Engineering
Critical Information Infrastructures
Security • Usability • Society
Cooperative Autonomous Systems
Systems, Data, Simulation & Energy
Former Research Groups
People
Start
Personen
Personen
Professors
Emeritus-/retired Professors
Administration
Scientific Staff
Honorary Professors
External Lecturers
Guests and External Staff
Technics
Apprentices
Student Assistants
Former Members
Former Professors
Research
Start
Forschung
Forschung
Projects
Completed Projects
Publications
Annual Reports
Talks
Cooperations
Research
Industry
Studies
Start
Studium
Studium
Courses
Final Theses
Curricula
Examination Dates
Seminars/Labs
Studies Abroad
FAQ
Contact
Jobs
Homepage
Home
Legals
Data Protection
Suchen
suchen
Home
AIFB
Research Groups
People
Research
Studies
Jobs
Verifikationsnumerik/en
Aus Aifbportal
Wechseln zu:
Navigation
,
Suche
Reliable Computing
Publications Belonging to the Area of Research
