Informatikgeschichte OCG Digitalisierung Formale Logik Kybernetik Technische Universität Wien Kalenderwissenschaft Compter Automation IBM Computerpionier Relais Österreich Wien Heinz Zemanek Informatik Mensch und Computer Impulsecodemodulation Vienna Definition Language IBM Labor Vienna Mailüfterl Al Khorezmi Abstrakte Architektur Elektrotechnik IFIP Radarforschung Nachrichtentechnik