Items where Division is "Faculties (pre 2018 reorg) > Faculty of Physical Sciences and Engineering (pre 2018 reorg) > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)" and Year is 1994
 | Up a level |
Number of items: 11.
Applications of Summation and Product Operators in the Refinement Calculus - M.J. Butler and R.J.R. Back
Type: Conference or Workshop Item
| 1994
| Item not available on this server.
Specification of a Program Derivation Editor - M.J. Butler, E. Hedman, P. Nilson, R. Ruksenas, M. Waldén and Y. Zhao
Type: Monograph
| 1994
Type: Other
| 1994
| Item not available on this server.
Type: Conference or Workshop Item
| 1994
| Item not available on this server.
Type: Conference or Workshop Item
| 1994
| Item not available on this server.
Type: Monograph
| 1994
| University of Southampton
| Item not available on this server.
Type: Conference or Workshop Item
| 1994
| Item not available on this server.
Type: Conference or Workshop Item
| 1994
| Item not available on this server.
Advanced Parallel Usage Analysis in the Proceedings of the First International Workshop on Parallel Processing, Bangalore - M Manjunathaiah and D A Nicole
Type: Other
| 1994
| McGraw Hill
| Item not available on this server.
Limitations of electronics - D.A. Nicole
Type: Other
| 1994
| University of Southampton
| Item not available on this server.
Type: Book
| 1994
| Vieweg
| Item not available on this server.