Bestand
Institut für Formale Methoden in der Informatik, Abt Formale Konzepte (Bestand)
Bis 2002: Institut für Informatik, Abt. Formale Konzepte
Sammlung Prof. Knödels von Schriftstücken zur Gründung der Informatik an der Universität Stuttgart 1 (1968 - 1973)
1968 - 1973
0,10 lfd. m
ohne Verzeichnung
- Former reference number
-
1
- Reference number of holding
-
Z 476
- Context
-
Universitätsarchiv Stuttgart (Archivtektonik) >> 6. Institute >> 6.5. Institute der Fakultät 5: Informatik, Elektrotechnik und Informationstechnik
- Indexbegriff subject
-
Institut für Formale Methoden in der Informatik, Abt Formale Konzepte
- Other object pages
- Last update
-
03.04.2025, 8:35 AM CEST
Data provider
This object is provided by:
Universitätsbibliothek Stuttgart, Abteilung Universitätsarchiv. If you have any questions about the object, please contact the data provider.
Universitätsbibliothek Stuttgart, Abteilung Universitätsarchiv. If you have any questions about the object, please contact the data provider.
Object type
- Bestand
Other Objects (12)
Institut für Formale Methoden in der Informatik, Abt Betriebssysteme (Bestand)
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Theoretische Informatik, 2.. Formale Sprachen
Institut für Angewandte Informatik und Formale Beschreibungsverfahren mit dem Lehrstuhl Angewandte Informatik
Formale Methoden der Informatik : von der Automatentheorie zu Algorithmen und Datenstrukturen
Grundkurs Theoretische Informatik : Automatentheorie und Formale Sprachen
Formale Methoden und Sicherheitsanalyse
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) mit dem Lehrstuhl für Angewandte Informatik
Modellierung : Grundlagen und formale Methoden
Formale Methoden in der Linguistik
Modellierung : Grundlagen und formale Methoden
Modellierung : Grundlagen und formale Methoden
Institut für Formale Methoden in der Informatik, Abt Betriebssysteme (Bestand)
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Theoretische Informatik, 2.. Formale Sprachen
Institut für Angewandte Informatik und Formale Beschreibungsverfahren mit dem Lehrstuhl Angewandte Informatik
Formale Methoden der Informatik : von der Automatentheorie zu Algorithmen und Datenstrukturen
Grundkurs Theoretische Informatik : Automatentheorie und Formale Sprachen
Formale Methoden und Sicherheitsanalyse
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) mit dem Lehrstuhl für Angewandte Informatik
Modellierung : Grundlagen und formale Methoden
Formale Methoden in der Linguistik
Modellierung : Grundlagen und formale Methoden
Modellierung : Grundlagen und formale Methoden
Institut für Formale Methoden in der Informatik, Abt Betriebssysteme (Bestand)
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Theoretische Informatik, 2.. Formale Sprachen
Institut für Angewandte Informatik und Formale Beschreibungsverfahren mit dem Lehrstuhl Angewandte Informatik
Formale Methoden der Informatik : von der Automatentheorie zu Algorithmen und Datenstrukturen
Grundkurs Theoretische Informatik : Automatentheorie und Formale Sprachen
Formale Methoden und Sicherheitsanalyse
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) mit dem Lehrstuhl für Angewandte Informatik
Modellierung : Grundlagen und formale Methoden
Formale Methoden in der Linguistik
Modellierung : Grundlagen und formale Methoden