Faculty of Science - 2007
971 to 980 of 1420
1 ...
141 ...
281 ...
421 ...
561 ...
701 ...
851 ...
951
961
971
981
991 ...
1131 ...
1271 ...
1411
| 971 |
| Chapter: Predictable and Reliable Program Code: Virtual Machine-Based Projection Semantics
J.A. Bergstra, I. Bethke
in: Handbook of Network and System Administration
(2007), p. 653-658
|
| 972 |
| Book editorial: The History of Information Security: A Comprehensive Handbook
K.M.M. de Leeuw, J.A. Bergstra
(2007)
|
| 973 |
| Book editorial: Handbook of Network and System Administration
J.A. Bergstra, M. Burgess
(2007)
|
| 974 |
| Report: A Process Algebra Based Framework for Promise Theory
J.A. Bergstra, I. Bethke, M. Burgess
(2007)
|
| 975 |
| Report: Meadows
J.A. Bergstra, Y. Hirschfeld, J.V. Tucker
(2007)
|
| 976 |
| Report: Skew Meadows
J.A. Bergstra, Y. Hirschfeld, J.V. Tucker
(2007)
|
| 977 |
| Report: Distributed strategic interleaving with load balancing
J.A. Bergstra, C.A. Middelburg
(2007)
|
| 978 |
| Report: Machine structure oriented control code logic
J.A. Bergstra, C.A. Middelburg
(2007)
|
| 979 |
| Report: On the Operating Unit Size of Load/Store Architectures
J.A. Bergstra, C.A. Middelburg
(2007)
|
| 980 |
| Report: Machine Structure Oriented Control Code Logic (Extended Version)
J.A. Bergstra, C.A. Middelburg
(2007)
|