B. Randell

30 published titles

On the teaching of the design of large software systems : proceedings of the Joint I.B.M/University of Newcastle upon Tyne Seminar held in the University Computing Laboratory, 8th-12th September, 1969

(Contributor)

1 edition

The teaching of programming at university level : proceedings of the Joint IBM/University of Newcastle upon Tyne Seminar, held in the University Computing Laboratory, 8th-11th September 1970

(Contributor)

1 edition

The conversion of the catalogue into machine readable form

(Contributor)

1 edition

Computers and the educated individual : proceedings of the joint IBM University of Newcastle upon Tyne Seminar held in the University Computing Laboratory, 9th-12th September 1975

(Contributor)

1 edition

Computing system design : proceedings of the joint IBM University of Newcastle upon Tyne Seminar held in the University Computing Laboratory, 7th-10th September 1976

(Contributor)

1 edition

Digital systems design : proceedings of the joint IBM University of Newcastle upon Tyne Seminar held in the University Computing Laboratory, 6th-9th September 1977

(Contributor)

1 edition

Distributed computing systems : proceedings of the joint IBM/University of Newcastle upon Tyne seminar held in the University Computing Laboratory, 5th-8th September 1978

(Contributor)

1 edition

Data base systems : proceedings of the joint IBM/University of Newcastle upon Tyne seminar held in the University Computing Laboratory 4th-7th September, 1979

(Contributor)

1 edition

Very large scale integration : proceedings of the joint IBM/University of Newcastle seminar held at the University Computing Laboratory 8-11 September 1981

(Contributor)

1 edition

Formal specification : proceedings of the joint IBM/University of Newcastle upon Tyne seminar held in the University Computing Laboratory 7th-10th September 1983

(Contributor)

1 edition

Programming environments : proceedings of the Joint IBM / University of Newcastle upon Tyne Seminar held in the University Computing Laboratory, 2nd-5th September, 1986

(Contributor)

1 edition

Logic and its application to computing science : proceedings of the joint University of Newcastle upon Tyne / Amdahl (U.K.) Limited Seminar held in the University Computing Laboratory 8-11th September

(Contributor)

1 edition

Object-oriented computing systems : proceedings of the Joint Universityof Newcastle upon Tyne/International Computers Limited Seminar held in the University Computing Laboratory 6th-9th September 1988

(Contributor)

1 edition

System modelling : proceedings of the Joint University of Newcastle Upon Tyne /International Computers Limited Seminar held in the University Computing Laboratory, 4th-7th September 1990

(Contributor)

1 edition

Methods for proving completeness via logical reductions

(Contributor)

1 edition

Towards an integrated approach to fault tolerance in Delta-4

(Contributor)

1 edition

Complete problems involving Boolean labelled structures and projection translations

(Contributor)

1 edition

Refining known results on the generalized word problem for free groups

(Contributor)

1 edition

Predictably dependable computing systems : second year report

(Contributor)

1 edition

On the capture of complexity classes using logic

(Contributor)

1 edition

Modellling and verification of timing conditions with the Boyer Moore Prover

(Contributor)

1 edition

FDP techniques in object oriented systems

(Contributor)

1 edition

On the expressibility of extensions of first order logic

(Contributor)

1 edition

Distributable nets

(Contributor)

1 edition

Verification of timing conditions using a theorem prover

(Contributor)

1 edition

Requirements specification and verification for safety- critical systems : a train set example

(Contributor)

1 edition

The t/(n-1)-diagnosability and its applications to fault tolerance

(Contributor)

1 edition

Parallel computing

(Contributor)

1 edition

Modelling organisational complexity using the ORDIT framework

(Contributor)

1 edition

On the meaning of safety and security

(Contributor)

1 edition