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
- Alt-/Vorsignatur
-
1
- Bestandssignatur
-
Z 476
- Kontext
-
Universitätsarchiv Stuttgart (Archivtektonik) >> 6. Institute >> 6.5. Institute der Fakultät 5: Informatik, Elektrotechnik und Informationstechnik
- Indexbegriff Sache
-
Institut für Formale Methoden in der Informatik, Abt Formale Konzepte
- Weitere Objektseiten
- Letzte Aktualisierung
-
03.04.2025, 08:35 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Universitätsbibliothek Stuttgart, Abteilung Universitätsarchiv. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Universitätsbibliothek Stuttgart, Abteilung Universitätsarchiv. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Bestand
Ähnliche Objekte (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