Department Informatik

Algebraic Specifications of the Software Controlling a Parcels Distribution Machine (1981) Schneider HJ Book chapter / Article in edited volumes Formale Spezifikation der Ebenen 2 und 3 der CCITT X.25 Recommendation sowie eine Analyse bestehender Firmenprodukte (1981) Schröder-Preikschat W Thesis Binding of the RNA polymerases from Rhizobium leguminosarum 300 and Escherichia coli to the hybrid plasmid pSA31 (1981) Wilke P, Raschke E, Lotz W, Cannon FC Conference contribution, Original article Set-Theoretic Concepts in Programming Languages and their Implementation (1981) Schneider HJ Conference contribution, Original article Comparison of interactive languages (1980) Schneider HJ Conference contribution, Original article Wie findet ein Computer Informationen? (1980) Schneider HJ Journal article, Original article Portable Software, Tagung 1/1980 des German Chapter of the ACM (1980) Schneider HJ Edited Volume Proceedings 4th Workshop on Graph-Theoretic Concepts in Computer Science (1979) Schneider HJ, Nagl M Edited Volume Workshop WG 78 on Graphtheoretic Concepts in Computer Science (1979) Nagl M, Schneider HJ Edited Volume Axiomatische Spezifikation der Software zur Steuerung einer Paketverteilungsanlage (1979) Schneider HJ Other publication type