Archives - Page 18
-
PB-173 Comparative Semantics of Programming Languages
No. 173 (1984) -
PB-172 ISAC: A Case Study of Systems Description Tools
No. 172 (1984) -
PB-167 Experiments with a fast String Searching Algorithm
No. 167 (1983) -
PB-164 On Contractive Linear Multistep and One-Leg Methods
No. 164 (1983) -
PB-165 PAL - A Language for Multiple-Precision Algorithms
No. 165 (1983) -
PB-161 HSIM - a hardware simulator
No. 161 (1983) -
PB-158 A Theory for Bipolar Synchronisation Schemes
No. 158 (1983) -
PB-157 Program Models: Meaning and Proof
No. 157 (1983) -
PB-150 EPSILON: A System Description Language
No. 150 (1982) -
PB-151 High-Level Petri Nets
No. 151 (1982) -
PB-155 Syntax Directed Program Modularization
No. 155 (1982)